理论计算机的一些有启发的想法

1 门电路，自动机和图灵机。
  门电路只能处理固定数目的输入。
  自动机更近一步，可以处理变长输入，但是不能存储值。
  图灵机出场，可以存储值，我们可以写软件了。
  我们还能不能发明更复杂，更强有力的模型？

2 可计算性
  可计算，停机问题，超级停机。
  有没有一种可计算性是不依赖于计算模型的？

3 智能到底是什么？
  物质，意识。物质和意识的关系。唯物论，唯心论，二元论。当我们还不明白智能是什么的时候，怎么实现人工智能。

4 P=NP?这个问题影响的东西越来越多了。若有一天P=NP了（虽然机会很小，但是在高斯没有用尺规画正17边形以前，估计也没有人觉得这个是可能的），那么人的很多工作就解放了。人们会不会再发明一些计算理论超越现有的？

5 基于概率的交互式证明。
  举个例子，怎么证明一个人下棋比所有的人好，好办，让他和每个地球人下一下，然后赢了所有人就好了。
  怎么证明一个人下棋比所有的生命好（包括外星人），好办，让他不停的下，然后找个计算机每次都是随机的走一步棋，在他都赢的情况下，下的盘数越多，我们越有信心他下的比所有的生命好。

6 机器学习的问题。
  按照机器学习的理论，婴儿从大人的话中学到该语言的语法只有以下可能性，1 婴儿出生时的计算力就可以解掉RSA加密了（没见过这么厉害的），2 婴儿出生时就会该语言的语法（问题是一个婴儿放到任何语言环境中都可以学会该语言的语法，放到都说java的地方，估计以后都说java语句了），3 该理论是错的。