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 日因食用浸过氰化物溶液的苹果而去世。