书海居 m.shuhaiju.net

    第一百二十章 宣战榜文？已阅，狗屁不通(第 2/2 页)

    “我就知道嘛，‘充满的天才创意的逻辑戏法’……这比直接否定还要还要狠啊。”

    是的，在算君眼中，王崎所做的一切都只是没什么用的戏法。

    真正的算学不应该包含这样的“戏法”。

    算学不应该是基于逻辑的。如果算学仅仅唤起的是逻辑法则，那么正常的思维应该都能接受它；如果它基于所有人都了解的通常法则，除非神经错乱否则不能否认。可实际上呢？每一个人都能够掌握算学吗？

    显然不是。不是每个人都能创造数学；不是每个人学习了某个定理证明以后都能灵活运用它；不是每个人都能够领会数学分析思维，即使反复解释也不能。而且能跟上分析思维的人，大多数也感到困难。

    一个真正的数学家未必能够在棋盘上胜过一个国手，但是能够让这个国手一夜白头的算题，对于高明算家来说却算不上什么。

    由此可见，算学并不是简单的计算力堆叠或者将概念按照演绎法简单排列形成的。它是由演绎法按特定顺序排列而成，而且排列顺序比元素本身更为重要。如果有人对这个顺序产生某种感觉，或称直觉，只需要一眼就能感知到推理的整体，那么这个人不会担心自己忘记其中的一个元素，因为每个元素都是特定方式放置在这个阵列中的，而不需要人们用记忆去牢记。

    这就是算学的直觉，飘逸如仙的直觉。

    运用逻辑，只能证明，运用直觉，可以创造。

    对于算君来说，这种直觉甚至能够统括物理问题。我们已知的、已掌握的物理规律，并不是经验的直接归纳，它只能以经验事实为指导，通过直觉来创造。

    而在这片论文当中，算君再次重申了自己的观点。

    这位长者首先很是恶意的点出了逻辑领域最大的问题——炼丹师悖论的无解。他很高兴的嘲讽道：“这东西不仅仅是空洞无物，还自相矛盾了。”

    紧接着，他又指出王崎的完备律最大的问题——一阶谓词逻辑无法准确定义任何算学上的概念，它太弱了。它的出现，反而是对离宗的抨击——他们的证明还无法证明自己弄出来的怪物，那名为“无量”是集合论的支持者罗素搞出来的，而不是亨利·庞加莱。后者数学上的水平远远胜过罗素，可他根本不屑于思考这类问题。

    关于“猴子”的梗——根据亨利·庞加莱死后发现的日记、手稿，他确实是将不懂数学的人当猴子看的。我想，罗素在他眼里大概就是一直掌握了石器的高级猴子吧？

    最后“已阅，狗屁不通”，三体梗，咳咳。

    最后的最后……求个推荐票……真不好意思说出来呀！