数学中的任意符号(数学就是符号加逻辑)(1)

数学源于古希腊早期的学问,数学、哲学、物理分不开.其思维方式就是概念、判断、推理的形式逻辑.哲学,就是概念 逻辑.那么数学就是符号 逻辑了.

现代数学与古代数学区别在于 现代数学有统一符号 同时逻辑严格。

定理 公理证明极其严格,没有定理定义的支撑绝对不能算对,尽管有时他确实是对的,但是没有严格的推理演绎都不能算正确,所以现在有很多命题猜想用各种高科技计算器计算都能感觉是对的。但是没有科学严格的证明我们仍旧不能承认。

所以数学的逻辑要求很严格苛刻。符号的引入,使得数学推理运算写法变得更加简介明了。

,