チャーチ＝チューリング論文
時代：初期理論 · 1930年代～1950年代
アロンゾ・チャーチとアラン・チューリングがそれぞれ独立に有名なチャーチ＝チューリング論文を提唱した。この論文は、効果的に計算可能な関数はすべてチューリング計算可能であると主張するものである。これにより「計算可能性」という直感的な概念が形式化され、計算機科学の基礎となった。
アロンゾ・チャーチ & アラン・チューリング
出典と根拠
The Church-Turing Thesis
Stanford Encyclopedia of Philosophy · 出典種別：secondary-summary
Explains the independent 1936 formulations and the later name "Church-Turing thesis".
確認日：