摘要： 最近看了个马丁福乐讲DSL的视频，里面提到了个程序语言特性，叫图灵完备，于是找了些图灵完备的解释。顺便跟闫婆讨论了人工智能，结论相当沮丧啊。。。 目前来讲，人工智能主要是基于图灵机理论和图灵的早期研究。 先说说数学上有个可数与不可数的理论。 关于整数和偶数谁个数比较多的问题： 先有个逻辑上的认识。如果两个集合里面，一个集合与另一个集合里面的元素个数能通过一种规则一一对应起来的话，就说这两个集合元素... 阅读全文