1 Davis， M. and Weyuker， E.: Computability， Complexity， and Languages---Fundamentals of Theoretical Computer Science. Academic Press， New York， 1983.
我不知道艾伦·图灵是不是懂中国的阴阳学说，如果懂，那么他发明图灵机，就不是偶然。数字字母有很多，为什么偏要用0-1来标记呢，其实我们自习分析一下，根本不是数字的事，只是一个代称，其实他表示的是写下-擦除。
世界上存在不可解问题，存在数学和程序都不能抵达的边界。昨天小编一如既往地在刷知乎，忽然刷到一个问题：有哪些悖论一下子就吸引了你？悖论嘛，大家都知道的，就是无解的问题嘛，于是小编作为“好奇心少年”果断点开了那个问题。果然不出所料，第一个悖论就深深地吸引了我——色盲悖论。
哥德尔证明了逻辑学家的一切努力都是徒劳无功的:数学的任何基础都必定只是一座纸牌屋。柯尔莫哥洛夫依靠哥德尔、丘奇和图灵关于计算的概念，定义了一种方法，用于衡量类似 1， 2， 4， 8， 16， 32 和 1， 2， 4， 8， 16， 31 这种数列的复杂度。
艾伦·图灵，英国计算机科学家、数学家、逻辑学家、密码分析学家和理论生物学家，被誉为计算机科学与人工智能之父。1912 年 6 月 23 日出生于英国伦敦，1954 年 6 月 7 日因食用浸过氰化物溶液的苹果而去世。
