页面历史
跳到导航
跳到搜索
2016年9月17日 (星期六)
→图灵停机问题与哥德尔定理之间的比较
+171
→图灵停机问题与哥德尔定理之间的比较
+610
无编辑摘要
+75
→哥德尔定理2
+13
→哥德尔定理
+12
→图灵停机问题
+2
→未开采的金矿
-4
→未开采的金矿
+4
→未开采的金矿
+2
→递归定理
→递归定理
→递归定理
+20
无编辑摘要
+1,131
→建构性的自指
+46
→递归定理
+12
→递归定理
+1
→递归定理
-1
→递归定理
→递归定理
+7
→递归定理
+6
→递归定理
+18
→递归定理
+12
→建构性的自指
-32
无编辑摘要
+23
→递归定理
-6
→递归定理
-161
→递归定理
+161
2016年9月15日 (星期四)
2016年9月7日 (星期三)
2016年9月4日 (星期日)
2016年8月27日 (星期六)
→建构性的自指
-4
→建构性的自指
-11
→建构性的自指
+13
→建构性的自指
+169
→建构性的自指
-21
→建构性的自指
+31
→建构性的自指
+1
→建构性的自指
+1
→建构性的自指
→建构性的自指
-3
→建构性的自指
+5
→建构性的自指
+27