Similar to 停止性問題
アッカーマン関数
Ackermann function
0
0
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
計算可能数
Computable number
チャーチ＝チューリングのテーゼ
Church–Turing thesis
ビジービーバー
Busy beaver
Μ再帰関数
General recursive function
Smn定理
Smn theorem
NP完全問題
NP-completeness
Axiom (数式処理システム)
Axiom (computer algebra system)
CR多様体
CR manifold
ACE (コンピュータ)
Automatic Computing Engine
13
13 (number)
19
19 (number)
40
40 (number)
50
50 (number)70
70 (number)
12345679
計算理論
Theory of computation
EDVACに関する報告書の第一草稿
First Draft of a Report on the EDVAC
