ブラウザよりも高速アクセス！
23 関係: 古典論理、ヘルマン・ワイル、プラハ・カレル大学、パウル・ベルナイス、ドイツ、エプシロン・ノート、カット除去定理、クルト・ゲーデル、ゲオルク・アウグスト大学ゲッティンゲン、シークエント計算、全称記号、第二次世界大戦、直観論理、証明論、論理学者、論理包含、自然演繹、数学者、普遍例化、11月24日、1909年、1945年、8月4日。
古典論理
古典論理（こてんろんり, classical logic）は形式論理の部類で、最も研究され最も広く使われている論理である。標準論理（standard logic）とも呼ばれる。.
新しい！!: ゲルハルト・ゲンツェンと古典論理 · 続きを見る »
ヘルマン・ワイル
ヘルマン・クラウス・フーゴー・ワイル（, 1885年11月9日 - 1955年12月8日）は、ドイツの数学者。ドイツ語の発音に従ってヴァイルとも表記される。 数論を含む純粋数学と理論物理学の双方の分野で顕著な業績を残した。20世紀において最も影響力のある数学者であるとともに、初期のプリンストン高等研究所の重要なメンバーであった。研究の大半はプリンストンとスイス連邦工科大学で行われたものであったが、ダフィット・ヒルベルトとヘルマン・ミンコフスキーによって確立されたゲッティンゲン大学の数学の伝統の継承者でもあった。 ワイルは空間、時間、物質、哲学、論理、対称性、数学史など、多岐に渡る分野について多くの論文と著書を残した。彼は一般相対性理論と電磁気学を結び付けようとした最初の人物の一人であり、アンリ・ポアンカレやヒルベルトの唱えた'普遍主義'について、同時代の誰よりも深く理解していた。特にマイケル・アティヤは、数学上の問題に取り組む際、常にワイルが先行する研究を行っていたと述懐している。 アンドレ・ヴェイユ と名前がよく似ているため、.
新しい！!: ゲルハルト・ゲンツェンとヘルマン・ワイル · 続きを見る »
プラハ・カレル大学
レル大学（プラハ大学）（Univerzita Karlova v Praze、Charles University）は、1348年に神聖ローマ皇帝カール4世によって創立されたチェコのプラハに所在する同国屈指の最高学府であり、中欧において最も歴史を有する大学である。 チェコ語の正書法を確立したヤン・フスが活躍したが、設立者が神聖ローマ皇帝であるため「ドイツ語圏最古の大学」である。またライン川以東の神聖ローマ帝国の領域においてももっとも古い大学の一つである。その後フス戦争を挟んでの混乱期を経て再開されたものの、第一次世界大戦、第二次世界大戦期にたびたび分裂と閉鎖を繰り返し、現在は名称をカレル大学という。ヨーロッパにおいて長い歴史と権威を有する大学で構成されるコインブラ・グループに属する。 大学の校舎は、たとえば本部と哲学部は旧市街、医学部はフラチャヌィの丘といった具合に街のあちらこちらに散在している。.
新しい！!: ゲルハルト・ゲンツェンとプラハ・カレル大学 · 続きを見る »
パウル・ベルナイス
パウル・ベルナイス（Paul Bernays, 1888年10月17日 - 1977年9月18日）はスイスの数学者・論理学者。 ロンドンに生まれ、ベルリン大学およびゲッティンゲン大学で学ぶ。1912年にベルリン大学で数学の学位を得たのち、チューリッヒ大学の講師を経て1917年よりダフィット・ヒルベルトの助手を務めた。その後1922年よりゲッティンゲン大学で教鞭をとるが、ユダヤ系の出自のため1933年にその職を解かれ、国籍を持つスイスに移ってチューリッヒ工科大学の教授となった。またアメリカのプリンストン高等研究所やペンシルベニア大学でも教えた。チューリッヒにて没。.
新しい！!: ゲルハルト・ゲンツェンとパウル・ベルナイス · 続きを見る »
ドイツ
ドイツ連邦共和国（ドイツれんぽうきょうわこく、Bundesrepublik Deutschland）、通称ドイツ（Deutschland）は、ヨーロッパ中西部に位置する連邦制共和国である。もともと「ドイツ連邦共和国」という国は西欧に分類されているが、東ドイツ（ドイツ民主共和国）の民主化と東西ドイツの統一により、「中欧」または「中西欧」として再び分類されるようになっている。.
新しい！!: ゲルハルト・ゲンツェンとドイツ · 続きを見る »
エプシロン・ノート
ε0（えぷしろん・のーと (Epsilon nought)、または、えぷしろん・ぜろ (Epsilon zero)）は、数学における超限順序数の一つ。ω（最小の超限順序数）から有限回の加算・乗算・冪乗では到達できない最小の超限順序数として定義される。従って極限順序数でもある。 カントールの標準形で表すと次の通り。 ただしこれは十分な定義ではない。α.
新しい！!: ゲルハルト・ゲンツェンとエプシロン・ノート · 続きを見る »
カット除去定理
ット除去定理（カットじょきょていり、Cut-elimination theorem）は、シークエント計算の手法の重要性を示す、数理論理学の主要な結果のひとつである。（数理論理学の）基本定理と呼ぶこともある。ゲルハルト・ゲンツェンが1934年に書いた記念碑的論文 "Investigations into Logical Deduction" で、古典論理と直観論理の体系をそれぞれ形式化したシークエント計算の形式的体系 LK 及び LJ において、最初に証明が与えられた。カット除去定理は、シークエント計算の推論規則であるカット規則を用いて証明可能な式には、カット規則を用いない証明図もまた必ず存在することを示したものである。.
新しい！!: ゲルハルト・ゲンツェンとカット除去定理 · 続きを見る »
クルト・ゲーデル
ルト・ゲーデル（Kurt Gödel, 1906年4月28日 - 1978年1月14日）は、オーストリア・ハンガリー二重帝国（現チェコ）のブルノ生まれの数学者・論理学者である。業績には、完全性定理及び不完全性定理、連続体仮説に関する研究が知られる。.
新しい！!: ゲルハルト・ゲンツェンとクルト・ゲーデル · 続きを見る »
ゲオルク・アウグスト大学ゲッティンゲン
旧大講堂 大学内の風景 ゲオルク・アウグスト大学ゲッティンゲン（Georg-August-Universität Göttingen, 略称：GAU）は、ドイツのニーダーザクセン州ゲッティンゲンに位置する大学。ドイツに9つあるエクセレントセンターの一つ。ハノーファー選帝侯ゲオルク・アウグスト（英国王としてはジョージ2世）によって1737年に設立された。大学名はこの創設者にちなむものである。ゲッティンゲン大学とも通称する。.
新しい！!: ゲルハルト・ゲンツェンとゲオルク・アウグスト大学ゲッティンゲン · 続きを見る »
シークエント計算
ークエント計算（シークエントけいさん、Sequent calculus）は、一階述語論理や特殊な命題論理で広く用いられる演繹手法である。類似の手法もシークエント計算と呼ぶことがあるので、LK と呼んで区別することがある。また類似の手法も含め、総称してゲンツェン・システムとも呼ばれる。 シークエント計算とその概念全般は証明論や数理論理学において重要な意味を持つ。以下では LK について解説する。.
新しい！!: ゲルハルト・ゲンツェンとシークエント計算 · 続きを見る »
全称記号
全称記号（ぜんしょうきごう、universal quantifier）とは、数理論理学において「全ての」（全称量化）を表す記号である。通常「∀」と表記され、全称量化子（ぜんしょうりょうかし）、全称限量子（ぜんしょうげんりょうし）、全称限定子（ぜんしょうげんていし）、普遍量化子（ふへんりょうかし）、普通限定子（ふつうげんていし）などとも呼ばれる。.
新しい！!: ゲルハルト・ゲンツェンと全称記号 · 続きを見る »
第二次世界大戦
二次世界大戦（だいにじせかいたいせん、Zweiter Weltkrieg、World War II）は、1939年から1945年までの6年間、ドイツ、日本、イタリアの日独伊三国同盟を中心とする枢軸国陣営と、イギリス、ソビエト連邦、アメリカ 、などの連合国陣営との間で戦われた全世界的規模の巨大戦争。1939年9月のドイツ軍によるポーランド侵攻と続くソ連軍による侵攻、そして英仏からドイツへの宣戦布告はいずれもヨーロッパを戦場とした。その後1941年12月の日本とイギリス、アメリカ、オランダとの開戦によって、戦火は文字通り全世界に拡大し、人類史上最大の大戦争となった。.
新しい！!: ゲルハルト・ゲンツェンと第二次世界大戦 · 続きを見る »
直観論理
観主義論理（intuitionistic logic）、直観論理あるいは構成的論理（constructive logic）とは、ある種の論理体系であり、伝統的な真理値の概念が構成的証明の概念に置き換わっている点で古典論理とは異なる。例えば古典論理では、全ての論理式に真か偽の真理値 (\) が割り当てられる。このときその真理値に対する直接的なエビデンスを持つか否かは問題にしない。これはどのような曖昧な命題においても「真か偽かが決定可能である」ということを意味する。対照的に直観主義論理では確定的に論理式に真理値を割り当てるのではなく、それが真であるとは「直接的なエビデンス」つまり「証明」があることと見做す。 Instead they remain of unknown truth value, until they are either proved or disproved.
新しい！!: ゲルハルト・ゲンツェンと直観論理 · 続きを見る »
証明論
証明論（proof theory）は、数理論理学の一分野であり、証明を数学的対象として形式的に表し、それに数学的解析を施す。.
新しい！!: ゲルハルト・ゲンツェンと証明論 · 続きを見る »
論理学者
論理学者（ろんりがくしゃ）とは、論理学を専門に研究する人のことである。.
新しい！!: ゲルハルト・ゲンツェンと論理学者 · 続きを見る »
論理包含
P \rightarrow Q のベン図による表現 論理包含（ろんりほうがん、含意（がんい）、内含、implication、IMP）は、第1命題が偽または第2命題が真のときに真となる論理演算である。条件文（じょうけんぶん、conditional）とほぼ同じものである。論理的帰結（logical consequence）や伴意（entailment）とは異なる物であり、論理的帰結の項目を参照。 2つの命題 P と Q に対する論理包含を P → Q などと書き、「P ならば Q」と読む。命題 P → Q に対し、P をその前件、Q をその後件などと呼ぶ。.
新しい！!: ゲルハルト・ゲンツェンと論理包含 · 続きを見る »
自然演繹
自然演繹（しぜんえんえき、Natural deduction）は、「自然な」ものとしての論理的推論の形式的モデルを提供する証明理論の手法であり、哲学的論理学の用語である。.
新しい！!: ゲルハルト・ゲンツェンと自然演繹 · 続きを見る »
数学者
数学者（すうがくしゃ、mathematician）とは、数学に属する分野の事柄を第一に、調査および研究する者を指していう呼称である。.
新しい！!: ゲルハルト・ゲンツェンと数学者 · 続きを見る »
普遍例化
普遍例化（ふへんれいか、Universal instantiation）は、論理学において、あるクラスの全ての個体について真であることからそのクラスの特定の個体について真であると推論すること。全称量化子による量化規則で一般に表されるが、公理としても記述できる。これは、一階述語論理で使われる基本原則の1つである。 例:「全ての犬は動物である。ポチは犬である。従って、ポチは動物である」 ある項 a について公理スキーマとして記号的に表すと以下のようになる。 ここで A(a/x) は A における x の自由な出現を a で置換した結果を表す。 推論規則としては次のように記述される。 from ⊢ ∀x A infer ⊢ A(a/x) ここでの A(a/x) も上と同じ意味である。 Irving Copi は普遍例化について「… ゲルハルト・ゲンツェンと Stanislaw Jaskowski が1934年にそれぞれ独自に生み出した自然演繹の規則のバリエーションに従う」と記している。（-pg.
新しい！!: ゲルハルト・ゲンツェンと普遍例化 · 続きを見る »
11月24日
11月24日（じゅういちがつにじゅうよっか、じゅういちがつにじゅうよんにち）はグレゴリオ暦で年始から328日目（閏年では329日目）にあたり年末まであと37日ある。.
新しい！!: ゲルハルト・ゲンツェンと11月24日 · 続きを見る »
1909年
記載なし。
新しい！!: ゲルハルト・ゲンツェンと1909年 · 続きを見る »
1945年
この年に第二次世界大戦が終結したため、世界史の大きな転換点となった年である。.
新しい！!: ゲルハルト・ゲンツェンと1945年 · 続きを見る »
8月4日
8月4日（はちがつよっか）はグレゴリオ暦で年始から216日目（閏年では217日目）にあたり、年末まであと149日ある。.
新しい！!: ゲルハルト・ゲンツェンと8月4日 · 続きを見る »
