摘要：
TT and FF are ... friends. Uh... very very good friends -________-b FF is a bad boy, he is always wooing TT to play the following game with him. This 阅读全文
摘要：
百度百科 罗素悖论的表达形式为S={x|x∉S} 那么问题来了，x到底是否∈S？ 这玩意还引发了第三次数学危机，解决方案是著名的“图灵停机问题” 百度百科：停机问题是目前逻辑学的焦点，和第三次数学危机的解决方案。其本质问题是: 给定一个图灵机 T，和一个任意语言集合 S, 是否 T 会最终停机于每一 阅读全文