逻辑压缩与坍塌

逻辑的线性可以叠加处理，但逻辑的非线性却变化多端，具体可表现为：发散收敛（弥聚）、跳跃协同（跳协）、显性隐性（显隐）。

公理不是真理，而是某种协议，是一种非存在的有，如东方的孙悟空和西方的圣诞老人一般：虽不存在，但人们心中都“有”其形象。

数学是由多个公理（非存在的有）建筑起来的逻辑体系，如点、线、面的概念、无穷等。

智能中的逻辑压缩也许是多种事实性逻辑被压缩成价值性逻辑的过程。这在一定程度上也超越了当前数学计算验证体系的边界，而这恰恰也是人类算计的特长：能够自主调和融洽各种事实性逻辑矛盾于某种价值性逻辑之中。

哲学上讲，客观世界完全独立于主观世界的存在，但是这是个伪命题，并不是真正存在的。真正能观察到的，是客观和主观之间的结合，由于观察者和被观察的世界相互作用，我们不可能无穷精准地把客观世界了解清楚。或许当硬件能力到达一定程度，大家就会关注软件能力的提高，当软件能力到达一定程度，人们就会关注人件能力的提高。

衡量一个人的智能水平可以尝试从他“跨”、“协”不同领域能力的速度和准确性来初步判断，同理可得，衡量一台机的智能水平也可以尝试从它“跨”、“协”不同领域能力的速度和准确性来初步判断，衡量一群人机的混合智能水平也可以尝试从ta们“跨”、“协”不同领域能力的速度和准确性来初步判断。

简单地说，计算机处理问题的方式是产生式的（if-then），计算计则是启发式的（不求最优但求满意），而启发式往往可以处理非线性问题。种种迹象表明，启发式的计算计恰恰就是逻辑压缩成功与否的关键之所在吧！

当人机在异常复杂的环境里无能为力之时，也许就是逻辑坍塌之际……