bn:03542966n
Noun Concept
Categories: 計算理論, アラン・チューリング, 再帰理論, 計算機科学哲学, 数学のエポニム
JA
チャーチ=チューリングのテーゼ  チャーチ-チューリングの提唱  チャーチのテーゼ  チャーチの提唱  チャーチ・チューリングのテーゼ
JA
チャーチ=チューリングのテーゼ もしくはチャーチのテーゼ とは、「計算できる関数」という直観的な概念を、帰納的関数と呼ばれる数論的関数のクラスと同一視しようという主張である。 Wikipedia
English:
complexity theory
Definitions
Relations
Sources