ブラウザよりも高速アクセス！アラン・チューリングとアロンゾ・チャーチ間の類似点
アラン・チューリングとアロンゾ・チャーチは（ユニオンペディアに）共通で8ものを持っています: チャーチ＝チューリングのテーゼ、プリンストン大学、論理学、数学、数学者、数理論理学、1927年、1947年。
チャーチ＝チューリングのテーゼ
チャーチ＝チューリングのテーゼ (Church-Turing thesis) もしくはチャーチのテーゼ (Church's thesis) とは、「計算できる関数」という直観的な概念を、帰納的関数と呼ばれる数論的関数のクラスと同一視しようという主張である。テーゼの代わりに提唱（ていしょう）あるいは定立（ていりつ）の語が用いられることもある。このクラスはチューリング・マシンで実行できるプログラムのクラス、ラムダ記法で定義できる関数のクラスとも一致する。よって簡単にはテーゼは、計算が可能な関数とは、その計算を実行できるような有限のアルゴリズムが存在するような関数、よっておおよそコンピュータで実行できる関数と同じだと主張する。.
アラン・チューリングとチャーチ＝チューリングのテーゼ · アロンゾ・チャーチとチャーチ＝チューリングのテーゼ ·
プリンストン大学
プリンストン大学（英語: Princeton University）は、アメリカ合衆国ニュージャージー州プリンストンに本部を置くアメリカ合衆国の私立大学である。1746年に設置された。 学生数は学部生約4800名、大学院生約2000名である。アイビー・リーグ（Ivy League）の大学8校のうちの1校であることや、2名の大統領を輩出していること、アメリカ全土で8番目に古いことなどで有名な大学である。41人のノーベル賞受賞者、14人のフィールズ賞受賞者、5人のアーベル賞受賞者、10人のチューリング賞受賞者、209人のローズ奨学生、126人のを輩出している。2016年度の受験サイクルでは全受験者の6.5%が入学を許可された。.
アラン・チューリングとプリンストン大学 · アロンゾ・チャーチとプリンストン大学 ·
論理学
論理学（ろんりがく、）とは、「論理」を成り立たせる論証の構成やその体系を研究する学問である。.
アラン・チューリングと論理学 · アロンゾ・チャーチと論理学 ·
数学
数学（すうがく、μαθηματικά, mathematica, math）は、量（数）、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.
アラン・チューリングと数学 · アロンゾ・チャーチと数学 ·
数学者
数学者（すうがくしゃ、mathematician）とは、数学に属する分野の事柄を第一に、調査および研究する者を指していう呼称である。.
アラン・チューリングと数学者 · アロンゾ・チャーチと数学者 ·
数理論理学
数理論理学（mathematische Logik、mathematical logic）は、論理学（形式論理学）の数学への応用の探求ないしは論理学の数学的な解析を主たる目的とする、数学の関連分野である。局所的には数理論理学は超数学、数学基礎論、理論計算機科学などと密接に関係している。数理論理学の共通な課題としては形式体系の表現力や形式証明系の演繹の能力の研究が含まれる。 数理論理学はしばしば集合論、モデル理論、再帰理論、証明論の4つの領域に分類される。これらの領域はロジックのとくに一階述語論理や定義可能性に関する結果を共有している。計算機科学（とくに）における数理論理学の役割の詳細はこの記事には含まれていない。詳細はを参照。 この分野が始まって以来、数理論理学は数学基礎論の研究に貢献し、また逆に動機付けられてきた。数学基礎論は幾何学、算術、解析学に対する公理的な枠組みの開発とともに19世紀末に始まった。20世紀初頭、数学基礎論は、ヒルベルトのプログラムによって、数学の基礎理論の無矛盾性を証明するものとして形成された。クルト・ゲーデルとゲルハルト・ゲンツェンによる結果やその他は、プログラムの部分的な解決を提供しつつ、無矛盾性の証明に伴う問題点を明らかにした。集合論における仕事は殆ど全ての通常の数学を集合の言葉で形式化できることを示した。しかしながら、集合論に共通の公理からは証明することができない幾つかの命題が存在することも知られた。むしろ現代の数学基礎論では、全ての数学を展開できる公理系を見つけるよりも、数学の一部がどのような特定の形式的体系で形式化することが可能であるか（逆数学のように）ということに焦点を当てている。.
アラン・チューリングと数理論理学 · アロンゾ・チャーチと数理論理学 ·
1927年
記載なし。
1927年とアラン・チューリング · 1927年とアロンゾ・チャーチ ·
1947年
記載なし。
上記のリストは以下の質問に答えます
- 何アラン・チューリングとアロンゾ・チャーチことは共通しています
- 何がアラン・チューリングとアロンゾ・チャーチ間の類似点があります
アラン・チューリングとアロンゾ・チャーチの間の比較
アロンゾ・チャーチが43を有しているアラン・チューリングは、190の関係を有しています。 彼らは一般的な8で持っているように、ジャカード指数は3.43%です = 8 / (190 + 43)。
参考文献
この記事では、アラン・チューリングとアロンゾ・チャーチとの関係を示しています。情報が抽出された各記事にアクセスするには、次のURLをご覧ください:
