チューリング【Alan Mathison Turing】 （1912-1954） イギリスの数学者・論理学者。数学基礎論で懸案となっていた「計算可能性」の概念に定義を与えるために，チューリング-マシーンを提案，現代のコンピューターに数学的モデルを与えた。