>>826
数学的には「計算出来ない領域」がある事が証明済みだった。
↓
じゃあ、計算出来る領域を定義してみよう
↓
「計算可能な関数」、「チャーチ数」、「ラムダ計算」など
↓
チューリング機械
↓
”ヘッドが移動しないステップ”をシフトゼロと定義