| Physics, Quantum, Tech, Sophy, Math, Computer, EM, Maxwell, 古典物理学, 現代物理学

◀︎ http://pocket.ebo-shi.com/physics/history/
文明誕生の歩みと哲学から天文、古典的科学と現代物理への進展史

1936年

計算可能な数について、決定問題への応用にて
“チューリングマシン”提唱

アランチューリング
エミールレオンポスト

軸が無限に長いテープ上を移動し、情報を読み込み、メモリに記憶、書き込むモデル。計算機の原理構造を数学的に定義した計算模型。

ある論理式が回答可能かを事前判別する方法は‘原理的に無い’と提示。
アロンゾチャーチが、アルゴリズムを定義。