西二旗大爷(415) 逻辑还是逻辑
逻辑这东西，包括一阶逻辑和二阶逻辑，以及其他的各种逻辑，我怀疑完全是为了构造一种世界语；
没有数学人能完全想象出一种扭曲的空间吗？应该是可以的，梵高的星空那不就是吗？所以为啥要把数学捧得那么高？
最终让数学走得那么远，是因为在所有的工具中，最容器形成广泛的共识，无他；
所以，逻辑和数学，应该是走下神坛，爱因斯坦或许和梵高应该在某种程度上应该是同一个维度的。
现在没有任何一门学科研出意识是什么，智慧是什么，其实连智慧自己都难以定义自己是什么东西。
舒服！
最后：哥德尔不完备定理
任何一个包含一阶谓词逻辑和初等数论的形式系统，都存一个命题，它在这个系统中既不能被证明为真，也不能被证明为假
