ロゴ
ユニオンペディア
コミュニケーション
Google Play で手に入れよう
新しい! あなたのAndroid™デバイスでユニオンペディアをダウンロードしてください!
無料
ブラウザよりも高速アクセス!
 

数理論理学と論理学者

ショートカット: 違い類似点ジャカード類似性係数参考文献

数理論理学と論理学者の違い

数理論理学 vs. 論理学者

数理論理学(mathematische Logik、mathematical logic)は、論理学(形式論理学)の数学への応用の探求ないしは論理学の数学的な解析を主たる目的とする、数学の関連分野である。局所的には数理論理学は超数学、数学基礎論、理論計算機科学などと密接に関係している。数理論理学の共通な課題としては形式体系の表現力や形式証明系の演繹の能力の研究が含まれる。 数理論理学はしばしば集合論、モデル理論、再帰理論、証明論の4つの領域に分類される。これらの領域はロジックのとくに一階述語論理や定義可能性に関する結果を共有している。計算機科学(とくに)における数理論理学の役割の詳細はこの記事には含まれていない。詳細はを参照。 この分野が始まって以来、数理論理学は数学基礎論の研究に貢献し、また逆に動機付けられてきた。数学基礎論は幾何学、算術、解析学に対する公理的な枠組みの開発とともに19世紀末に始まった。20世紀初頭、数学基礎論は、ヒルベルトのプログラムによって、数学の基礎理論の無矛盾性を証明するものとして形成された。クルト・ゲーデルとゲルハルト・ゲンツェンによる結果やその他は、プログラムの部分的な解決を提供しつつ、無矛盾性の証明に伴う問題点を明らかにした。集合論における仕事は殆ど全ての通常の数学を集合の言葉で形式化できることを示した。しかしながら、集合論に共通の公理からは証明することができない幾つかの命題が存在することも知られた。むしろ現代の数学基礎論では、全ての数学を展開できる公理系を見つけるよりも、数学の一部がどのような特定の形式的体系で形式化することが可能であるか(逆数学のように)ということに焦点を当てている。. 論理学者(ろんりがくしゃ)とは、論理学を専門に研究する人のことである。.

数理論理学と論理学者間の類似点

数理論理学と論理学者は(ユニオンペディアに)共通で8ものを持っています: クルト・ゲーデルゲルハルト・ゲンツェンゴットロープ・フレーゲジョージ・ブール論理学数学数学基礎論数学者

クルト・ゲーデル

ルト・ゲーデル(Kurt Gödel, 1906年4月28日 - 1978年1月14日)は、オーストリア・ハンガリー二重帝国(現チェコ)のブルノ生まれの数学者・論理学者である。業績には、完全性定理及び不完全性定理、連続体仮説に関する研究が知られる。.

クルト・ゲーデルと数理論理学 · クルト・ゲーデルと論理学者 · 続きを見る »

ゲルハルト・ゲンツェン

ルハルト・ゲンツェン ゲルハルト・カール・エーリヒ・ゲンツェン(Gerhard Karl Erich Gentzen、1909年11月24日 - 1945年8月4日)はドイツの論理学者・数学者。 ヘルマン・ワイルとパウル・ベルナイスの弟子。ゲッティンゲン大学でワイルに学び、1934年に学位を取得。プラハ大学で講師となる。1945年、第二次世界大戦でソ連軍に捕らえられ、プラハの捕虜収容所で栄養失調のため死去した。 主要な業績は、自然演繹 NK, NJ とシークエント計算 LK, LJ と呼ばれる証明論の体系の確立である。 自然演繹の体系は、「自然」の名の通り実際の人間の推論過程に近い直観的で分かりやすい体系である。 一方、シーケント計算は、最小限の公理 A → A と、構造および論理結合子に関する推論規則からなる。 NK, LK は古典論理を扱い、NJ, LJ は直観主義論理を扱う。ゲンツェンはこの LK においてカット除去定理 (基本定理) を証明した。 この定理は、ある定理を導く論理の道筋には、その定理自身と公理より複雑なものは現れないようにできることを示し、 LK の完全性の証明に使われた。 他に純粋算術の無矛盾性証明などの業績がある。 「すべての」を意味する記号∀を使い始めたのもゲンツェンである。.

ゲルハルト・ゲンツェンと数理論理学 · ゲルハルト・ゲンツェンと論理学者 · 続きを見る »

ゴットロープ・フレーゲ

フリードリヒ・ルートヴィヒ・ゴットロープ・フレーゲ(Friedrich Ludwig Gottlob Frege, 1848年11月8日 - 1925年7月26日)は、ドイツの哲学者、論理学者、数学者であり、現代の数理論理学、分析哲学の祖にあたる。 フレーゲはバルト海に面したドイツの港町ヴィスマールの生まれである。母のアウグステ・ビアロブロツキーはポーランド系である。彼ははじめイェーナ大学で学び、その後ゲッティンゲン大学に移り1873年に博士号を取得した。その後イェーナに戻り、1896年から数学教授。1925年に死去した。.

ゴットロープ・フレーゲと数理論理学 · ゴットロープ・フレーゲと論理学者 · 続きを見る »

ジョージ・ブール

ョージ・ブール(George Boole, 1815年11月2日 - 1864年12月8日)は、イギリスの数学者・哲学者。多くの仕事があるが、こんにちのコンピュータ科学の分野の基礎的な理論のひとつであるブール代数(ブール論理)が現代では広く知られている。.

ジョージ・ブールと数理論理学 · ジョージ・ブールと論理学者 · 続きを見る »

論理学

論理学(ろんりがく、)とは、「論理」を成り立たせる論証の構成やその体系を研究する学問である。.

数理論理学と論理学 · 論理学と論理学者 · 続きを見る »

数学

数学(すうがく、μαθηματικά, mathematica, math)は、量(数)、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.

数学と数理論理学 · 数学と論理学者 · 続きを見る »

数学基礎論

数学基礎論(すうがくきそろん、英語:)は、数学の一分野。他の分野が整数・実数・図形・関数などを取り扱うのに対し、数学自体を対象とする。.

数学基礎論と数理論理学 · 数学基礎論と論理学者 · 続きを見る »

数学者

数学者(すうがくしゃ、mathematician)とは、数学に属する分野の事柄を第一に、調査および研究する者を指していう呼称である。.

数学者と数理論理学 · 数学者と論理学者 · 続きを見る »

上記のリストは以下の質問に答えます

数理論理学と論理学者の間の比較

論理学者が41を有している数理論理学は、54の関係を有しています。 彼らは一般的な8で持っているように、ジャカード指数は8.42%です = 8 / (54 + 41)。

参考文献

この記事では、数理論理学と論理学者との関係を示しています。情報が抽出された各記事にアクセスするには、次のURLをご覧ください:

ヘイ!私たちは今、Facebook上です! »