ゲーデル数という扱いにくい形式抜きに「ゲーデルの不完全性定理」と同格の定理を証明した
チューリングマシン:状態遷移の組み合わせで書かれているので機械に扱いやすい
けどぶっちゃけゲーデルの不完全性定理自体は形式論理学の必然だった部分があるので停止性問題もそう画期的とは言えない(チューリングマシンの方がすごい)