最近看了个马丁福乐讲DSL的视频，里面提到了个程序语言特性，叫图灵完备，于是找了些图灵完备的解释。顺便跟闫婆讨论了人工智能，结论相当沮丧啊。。。
目前来讲，人工智能主要是基于图灵机理论和图灵的早期研究。
先说说数学上有个可数与不可数的理论。
关于整数和偶数谁个数比较多的问题：
先有个逻辑上的认识。如果两个集合里面，一个集合与另一个集合里面的元素个数能通过一种规则一一对应起来的话，就说这两个集合元素个数相等。对每个偶数，它同时也是个整数。因此，可以说，对每个偶数，都有一个整数可以和它对应。反过来，对每个整数，整数×2能够得到一个的偶数跟它对应起来，通过这种方式能建立整数和偶数的一一对应关系，这样说来，整数的个数和偶数个数是相等的。数学上面把这种集合特性称为可数的，也就是说，跟整数能够一一对应起来的集合，是个可列的集合。
同样，有理数和整数个数是相等的，证明过程在：
http://blog.csdn.net/matrix67/archive/2008/01/13/4780128.aspx。
图灵以其飘逸的思想，证明图灵机能解决的问题智能在可数问题域里，至于不可数问题域，图灵机就无能为力了。
有个停机问题，故事写的很形象，举个例子，有台内存永远不可能用完的机器，给它个求平方根的算法，让它算2的平方根，最终不可能列出来这个完整的平方根，也就是说，机器将会无休止的运行下去，直到地老天荒也不会停。。。
说了半天，图灵机能解决的问题是有局限性的。现在的计算机都是以图灵机为模型的，有个伟人说，计算机只能做些按部就班的事情（Computers only do what they are told）。翻译的不准。。。
于是，就出现了个问题，图灵机解决问题的范围在可数问题域里，而人的思维能解决的问题，还没证明是在可数域的（这个问题有点脑残），如果能证明，人脑思考问题都是从一个可数集合里面的因素通过可数次衍生而产生结论的话，那么人工智能就能够在图灵机范围实现，也就是说如果上述问题得到论证后，如果工业技术够强大的话能够造出来一台机器，它的思维能够完完全全的跟人一样。但是直观上讲，人的思维似乎是个不可数的问题域。
于是得到了个很浅薄也很邪恶的结论，不能用造电脑的方式造出来个人来。。。
最后膜拜下计算机界的两位开山鼻祖，图灵和冯·诺依曼，两位传奇式的人物。
