计算和推理论 - 数学建模社区-数学中国

没有人研究过逻辑学中的推理和数学中的计算这二种思维的共性本质。本文就是试图填补这一空白的探索。

例一、一道数学题：已知三角形两内角之和（因）＝130°（果），问另一内角之度数？

该题目中，已知的因果事物是：两内角之和（因）＝130°（果）；未知的因果事物是：另一内角之度数？

例二、前几年开钢绳起重经营部，常有客人来反映：电动葫芦把重物吊到一定高度，关掉开关后，重物在空中停不住，慢慢向下滑坠。叫我们去修理一下。

该故障中，已知的因果事物是：吊物向下滑坠（果）。未知的因果事物是：电动葫芦的刹车片情况（因），我根据“吊物向下滑坠（果）＝刹车不灵（因）”的规律公式，推理出“磨擦片磨损变薄” （因）的判断结果。

上面第一例是数学问题，第二例是机械故障问题。二例问题的解答过程，都是根据“已知的因果事物”计算推理出“未知的因果事物”——这就是计算和推理的共同本质。并且，计算和推理的依据原理也是共同的：“困＝果”的规律公式。

计算是对数字因果演化的推理，推理是对万物因果演化的计算。

推理包含了计算，计算是推理的个例。就象论证、推导、证明等等是推理的说法之一。

计算机能计算数字的因果演化，也就能推理万物的因果演化——正因为如此，计算机才能从七十年前对纯数字进行计算，发展到现今的对国际象棋、兵棋系统……进行计算推演。

现在的问题是：当我们把数学中的等式公式统一在万物演化中的“困＝果”的规律公式中，把数学中的计算理解为逻辑学中的推理时，这是否为计算机计算数字建立了一个简单的统一模型？这是否为计算机推理万物建立了一个创新的统一模型？这是否为计算机进化成超越人脑的超级电脑建立了一个理论基础？

用推理（计算）论去推理（计算）这一问题，答案是肯定的。

当我把计算和推理的理论放在学术论坛上，我想起了动物世界：乌鸦把石头扔进半瓶子水里；黑猩猩把树枝伸进蚁窝里；渔鸟把面包放在浅水区……是的，我们都是动物，我们都明白主宰万物演化的天条惯律：什么样的元素事物，进行什么样的排列与组合，会演化出什么样的结果。