第29章 彼岸新星(6)
- 艾伦·图灵传:如谜的解谜者
- (英)霍奇斯
- 4783字
- 2015-07-23 17:52:28
艾伦还说,序数逻辑就是对这种组合的形式化。但是,即使引入了直觉,这仍然对有限定义的形式系统的不完备性起不到什么作用。人们在1931年才知道不完备性,但直觉却早就已经有了。在《可计算数》中也有类似的模糊,即在机械的过程中,做了一些并不机械的事情。这对探索人类的思维是否有意义?在这个时期,艾伦自己也搞不清楚。
关于未来,他的打算是回到国王学院,希望能在1938年3月,三年的研究员职位到期时延...
上QQ阅读APP看后续精彩内容
登录订阅本章 >