主题：【音为有你】错位时空（数学特别版）

如果是按照设定好的程式进行符号运算，那么调用九九乘法表与高斯函数的区别在哪里？

我希望发明的是一台可以根据已有算式去预测未知公式的机器，而非根据事先调配好的符号逻辑进行机械运算的程式。

这台机器必须自己去生成和判断新定理公式。Will this machine work?

IX号工程师放下手中转动的铅笔，如果我们不带入人类或者计算机的实体，幻想有这样一个智慧体，它是怎么一步步从无知开始了解世界，然后对世界的规律提出自己的猜想并逐步验证他的呢。

如果我们把认知的过程一路抽象，滤掉干扰因素，剩下来被否定到不能再否定的，就是一切推理的源头。

在几何里，它是欧几里得基本公理。在代数上是数和它上面的运算，在集合论中……

我们所能观察到的现象是个Q1，Q2，Q3……

构成这些现象的原理是P1，P2，P3……

如果某个Qi不能由现有的原理集推导而出，那么就会存在一个构成Q的引理P

反之，如果某个Pj预测了不存在的现象Q，我们应当可以设计实验让Q发生。

假设我们生活的这个世界（或者想象中的符号世界）所有现象由Q张成，我们需要从Q中提取至多几个互补相关的Q，使得其刚好可推导出所有原理P？