不同就是这样的。”
辰风也凑过来,好奇的问道:“怎么回事?算君推翻了你的上一篇论文?”
“不,没有,那个证明过程我觉得还是很完美很缜密的,算君不可能从鸡蛋里挑出骨头。”
陈由嘉嘴角微微上扬:“可是南方那边还有‘毛蛋’一物,里面个个有骨头。”
辰风这次没有理会陈由嘉的调侃。他已经看进去了。
算君没有否定王崎的“完备律”。一是因为王崎的证明过程尽善尽美,其二,更重要的是他觉得自己的宝贵才智不应该浪费在思考集合论及其相关问题上。
对于这些暴君来说,有些东西显然是不需要思考的。
算学是成立的,自洽的,完备的,这是真理,而不是逻辑推理。
“我就知道嘛,‘充满的天才创意的逻辑戏法’……这比直接否定还要还要狠啊。”
是的,在算君眼中,王崎所做的一切都只是没什么用的戏法。
真正的算学不应该包含这样的“戏法”。
算学不应该是基于逻辑的。如果算学仅仅唤起的是逻辑法则,那么正常的思维应该都能接受它;如果它基于所有人都了解的通常法则,除非神经错乱否则不能否认