牛顿/瓦特/焦耳/马修.博尔顿
用一套办法解决所有问题，
改良万用蒸汽机
TU 灵
1.数学问题是否都有明确的答案。
2.如果有明确的答案,
是否可以通过有限的计算
得到答案。
3.对于那些有可能在有限步
计算出来的数学问题，
能否有一种假想的机器，
它不断运动最后当它
停下来的时候
那个数学问题就解决了。
X 尔伯特
划定数学边界
1.数学是完备的吗？
对于任意一个命题
要么可以证明他是对的
要么可以证明他是错的。
2.数学是一致的吗？
一个命题不能既是真的
又是假的。
3.数学是可判定的吗？
一个具体的问题，
你能否判断它是否有答案。
冯.N依曼
《量子力学的数学基础》
人的意识基于不确定性原理
计算则是基于机械的运动
(电子的运动可以被认为是
等价于机械运动)