チャーチ＝チューリングのテーゼ
時代：初期理論 · 1930年代～1950年代
アロンゾ・チャーチとアラン・チューリングがそれぞれ独立に有名なチャーチ＝チューリングのテーゼを提唱した。このテーゼは、効果的に計算可能な関数はすべてチューリング計算可能であると主張するものである。これにより「計算可能性」という直感的な概念が形式化され、計算機科学の基礎となった。
アロンゾ・チャーチとアラン・チューリング
出典と根拠
The Church-Turing Thesis
Stanford Encyclopedia of Philosophy · 出典種別：二次的な概説
1936年に独立になされた二つの定式化と、後に「チャーチ＝チューリングのテーゼ」と呼ばれるようになった経緯を説明しています。
確認日：