また巨大数の話
- 36. 𝐵 1,1 = 𝐵 0, 𝐵 1,0
= 𝐵 0, 𝐵 0,1
= 𝐵 0,2
= 3
前の数 後ろの数
- 37. 𝐵 1,1 = 𝐵 0, 𝐵 1,0
= 𝐵 0, 𝐵 0,1
= 𝐵 0,2
= 3
【ルール①】
もし前の数が0なら、後ろの数を強化前の機械A
に入れて計算する
(ここでは𝑥 + 1)
- 38. 𝐵 1,1 = 𝐵 0, 𝐵 1,0
= 𝐵 0, 𝐵 0,1
= 𝐵 0,2
= 3
【ルール②】
もし後ろの数が0なら、前の数を1減らして
後ろの数を1にする
- 39. 𝐵 1,1 = 𝐵 0, 𝐵 1,0
= 𝐵 0, 𝐵 0,1
= 𝐵 0,2
= 3
【ルール③】
もし前の数も後ろの数も0でないなら、前の数を
1減らし、後ろの数を「元のやつの後ろの数を
1減らしたもの」にする
- 42. 𝑔 𝑥 = 𝐵(𝑥, 𝑥) の意味
「ルール①~③を踏まえて
強化後の機械Aの中身を
𝐵 𝑥, 𝑥 とする
- 62. 𝐶 1,1 = 𝐶 0, 𝐶 1,0
= 𝐶 0, 𝐶 0,1
= 𝐶 0, 𝐵(1,1)
= 𝐵(3,3)
𝐶 𝑥, 𝑥 は何をするのか
1+1ではない!
- 63. 𝐶 1,1 = 𝐶 0, 𝐶 1,0
= 𝐶 0, 𝐶 0,1
= 𝐶 0, 𝐵(1,1)
= 𝐵(3,3)
𝐶 𝑥, 𝑥 は何をするのか
1+1ではない!
【ルール①】
もし前の数が0なら、後ろの数を強化前の機械A
に入れて計算する
𝐵(𝑥, 𝑥)
- 64. 𝐵 𝑥, 𝑥 と 𝐶 𝑥, 𝑥 との比較
𝐶 1,1
= 𝐶 0, 𝐶 1,0
= 𝐶 0, 𝐶 0,1
= 𝐶 0, 𝐵(1,1)
𝐵 1,1
= 𝐵 0, 𝐵 1,0
= 𝐵 0, 𝐵 0,1
= 𝐵 0, (1 + 1)
- 65. 𝐵 𝑥, 𝑥 と 𝐶 𝑥, 𝑥 との比較
𝐶 1,1
= 𝐶 0, 𝐶 1,0
= 𝐶 0, 𝐶 0,1
= 𝐶 0, 𝐵(1,1)
= 𝐵 3,3
= 61
𝐵 1,1
= 𝐵 0, 𝐵 1,0
= 𝐵 0, 𝐵 0,1
= 𝐵 0, (1 + 1)
= 2 + 1
= 3
- 69. この後こんな感じ
機械B
𝐶(61,61)
𝐶(𝑥, 𝑥)
𝐷(𝐶(61,61), 𝐶(61,61))
𝐷(𝑥, 𝑥)
𝐸(𝑥, 𝑥)
𝐸(𝐷(𝐶(61,61), 𝐶(61,61)), 𝐷(𝐶(61,61), 𝐶(61,61)))
機械B
よかったですね
- 70. 𝐶 𝑥, 𝑥 と 𝐷 𝑥, 𝑥 との比較
𝐷 1,1
= 𝐷 0, 𝐷 1,0
= 𝐷 0, 𝐷 0,1
= 𝐷 0, 𝐶(1,1)
= 𝐶 61,61
= 表記不能
𝐶 1,1
= 𝐶 0, 𝐶 1,0
= 𝐶 0, 𝐶 0,1
= 𝐶 0, 𝐵(1,1)
= 𝐵 3,3
= 61
- 71. 𝐷 𝑥, 𝑥 と 𝐸 𝑥, 𝑥 との比較
𝐸 1,1
= 𝐸 0, 𝐸 1,0
= 𝐸 0, 𝐸 0,1
= 𝐸 0, 𝐷(1,1)
= 𝐷 ,
= 表記不能
𝐷 1,1
= 𝐷 0, 𝐷 1,0
= 𝐷 0, 𝐷 0,1
= 𝐷 0, 𝐶(1,1)
= 𝐶 61,61
= 表記不能
𝐷(1,1) 𝐷(1,1)