哪位大学听说过数学机械化

wf2725864

我了解是吴文俊院士研究的课题，不知道数学和机械化之间有什么联系，@2266998大侠怎么看

crazypeanut

1900年8月，希尔伯特提出了希尔伯特第二问题，希望能提出一组基础的公理，然后任何一个命题均可由这组公理通过有限步运算来判定真假，即数学公理化方法。看看，是不是和这个“数学机械化”很像？

然而，1931年，哥德尔提出了哥德尔不完备定理，即，任何一个形式系统，只要包括了简单的初等数论描述（就是包含自然数），而且是自洽的（即自身没有矛盾），它必定包含系统内所允许的方法既不能证明真也不能证明伪的命题。这个定理将希尔伯特的公理化想法无情的击碎。最典型的不能判定真伪的命题，图灵停机问题。

真要搞数学，不要看这种乱七八糟的东西，先摸到现代数学的门槛再说吧，否则很容易成为民科。

2266998

哈哈，有些东西可以学，我的观点是先学进去，发现不对再出来，

还有就是实用性，工程计算，有其自有规律，比如精度问题，运算周期问题，未必一定必须是某个什么，没有这个必然规律

学习，尤其学数学，肯定没错，我学过不少，还解算过陀螺系统，但对我日常工作没有什么关系，但学习对思路有好处，

wf2725864

希望大侠们讨论讨论

wf2725864

@crazypeanut 希望面包大侠来讨论讨论

wf2725864

听说学好了可以手算非线性方程组，并不是偏门

crazypeanut

wf2725864 发表于 2018-5-22 21:00
听说学好了可以手算非线性方程组，并不是偏门

龙格 - 库塔公式，你现在就能手算