第二百九十二章 从逻辑学到数学（1/3）（6 / 10）
在场的人们对徐茫的回答有些迷茫，这学渣和视力还能挂钩？
在此之后，
包括徐茫在内的这群极度无聊的数学人士，就数学是否达到完美的公理推演，是否可以保证其内部不存在矛盾，这一系列问题展开了激烈的辩论。
目前数学是存在公理化的局限性，数学证明的程序有些是无法确定与形式公理的程序相符。
就以密码柜来言，
纯粹的数学是不可能得到一个完美的答案，然而依靠人的主观思维能够得到一个完美的解，这个解却无法用数学来表达。
因此，
这一群无聊的数学人士形成了两方，一方式认为数学不可能达到完美的公理推演，有些问题必然存在内部矛盾，而另一方认为未来数学一定可以达到完美的公理推演，且不存在矛盾。
双方开始相互较劲，甚至有动手的可能。
最终徐茫站了出来。
在他的理念中，人类的智慧是不可能被完全的公式所代替，比如自己用行为心理学，破解了密码柜的这个过程，是没有任何公式可以表的达。
因此，
对形式系统来言，‘可证明’是可以机械式的来实现，但‘真’则需要进一步的思想去考虑。
可证明的命题一定是真的，但真的命题不一定是可证明的。
很可惜...徐茫的这番言论，并没有起什么效果，反而让双方的矛盾更加扩散，差点没真打起来...
↑返回顶部↑
在此之后，
包括徐茫在内的这群极度无聊的数学人士，就数学是否达到完美的公理推演，是否可以保证其内部不存在矛盾，这一系列问题展开了激烈的辩论。
目前数学是存在公理化的局限性，数学证明的程序有些是无法确定与形式公理的程序相符。
就以密码柜来言，
纯粹的数学是不可能得到一个完美的答案，然而依靠人的主观思维能够得到一个完美的解，这个解却无法用数学来表达。
因此，
这一群无聊的数学人士形成了两方，一方式认为数学不可能达到完美的公理推演，有些问题必然存在内部矛盾，而另一方认为未来数学一定可以达到完美的公理推演，且不存在矛盾。
双方开始相互较劲，甚至有动手的可能。
最终徐茫站了出来。
在他的理念中，人类的智慧是不可能被完全的公式所代替，比如自己用行为心理学，破解了密码柜的这个过程，是没有任何公式可以表的达。
因此，
对形式系统来言，‘可证明’是可以机械式的来实现，但‘真’则需要进一步的思想去考虑。
可证明的命题一定是真的，但真的命题不一定是可证明的。
很可惜...徐茫的这番言论，并没有起什么效果，反而让双方的矛盾更加扩散，差点没真打起来...
↑返回顶部↑