ゲルハルト＝ゲンツェンの情報（GerhardKarlErichGentzen） 数学者 芸能人・有名人Wiki検索[誕生日、年齢、出身地、星座]
ゲルハルト＝ゲンツェンさんについて調べます
|
■名前・氏名 |
|
|
ゲルハルト＝ゲンツェンと同じ1909年生まれの有名人・芸能人 ゲルハルト＝ゲンツェンと同じ11月24日生まれの有名人・芸能人 ゲルハルト＝ゲンツェンと同じ出身地の人 |
ゲルハルト＝ゲンツェンの情報まとめ
ゲルハルト＝ゲンツェン(Gerhard Karl Erich Gentzen)さんの誕生日は1909年11月24日です。
1945年に亡くなられているようです。
ゲルハルト＝ゲンツェンのプロフィール Wikipedia（ウィキペディア）ゲルハルト・カール・エーリヒ・ゲンツェン（ドイツ語: Gerhard Karl Erich Gentzen, 1909年11月24日 - 1945年8月4日）はドイツの論理学者・数学者。 ヘルマン・ワイルとパウル・ベルナイスの弟子。ゲッティンゲン大学でワイルに学び、1934年に学位を取得。プラハ大学で講師となる。1945年、第二次世界大戦でソ連軍に捕らえられ、プラハの捕虜収容所で栄養失調のため死去した。 主要な業績は、自然数論におけるペアノ算術の無矛盾性の証明、自然演繹 NK, NJ とシークエント計算 LK, LJ と呼ばれる証明論の体系の確立である。 自然演繹の体系は、「自然」の名の通り実際の人間の推論過程に近い直観的で分かりやすい体系である。 一方、シーケント計算は、最小限の公理 A → A と、構造および論理結合子に関する推論規則からなる。 NK, LK は古典論理を扱い、NJ, LJ は直観主義論理を扱う。ゲンツェンはこの LK においてカット除去定理 （基本定理） を証明した。 この定理は、ある定理を導く論理の道筋には、その定理自身と公理より複雑なものは現れないようにできることを示し、 LK の完全性の証明に使われた。「すべての」を意味する記号∀を使い始めたのもゲンツェンである。 “Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen”. Mathematische Annalen 107 (2): pp. 329-350. (1932). http://gdz.sub.uni-goettingen.de/dms/resolveppn/?PPN=GDZPPN002275872. “Untersuchungen über das logische Schließen. I”. Mathematische Zeitschrift 39 (2): pp. 176-210. (1934). http://gdz.sub.uni-goettingen.de/dms/resolveppn/?PPN=GDZPPN002375508. “Untersuchungen über das logische Schließen. II”. Mathematische Zeitschrift 39 (3): pp. 405-431. (1935). http://gdz.sub.uni-goettingen.de/dms/resolveppn/?PPN=GDZPPN002375605. “Die Widerspruchsfreiheit der Stufenlogik”. Mathematische Zeitschrift 41: pp. 357-366. (1936). http://gdz.sub.uni-goettingen.de/dms/resolveppn/?PPN=GDZPPN002376741. “Die Widerspruchsfreiheit der reinen Zahlentheorie”. Mathematische Annalen 112: pp. 493-565. (1936). http://gdz.sub.uni-goettingen.de/dms/resolveppn/?PPN=GDZPPN002278391. “Der Unendlichkeitsbegriff in der Mathematik. Vortrag, gehalten in Münster am 27. Juni 1936 am Institut von Heinrich Scholz”. Semester-Berichte Münster: pp. 65-80. (1936-1937). “Unendlichkeitsbegriff und Widerspruchsfreiheit der Mathematik”. Actualites scientifiques et industrielles 535: pp. 201-205. (1937). “Die gegenwartige Lage in der mathematischen Grundlagenforschung”. Deutsche Mathematik 3: pp. 255-268. (1938). “Neue Fassung des Widerspruchsfreiheitsbeweises fur die reine Zahlentheorie”. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften 4: pp. 19-44. (1938). “Beweisbarkeit und Unbeweisbarkeit von Anfangsfallen der transfiniten Induktion in der reinen Zahlentheorie”. Mathematische Annalen 119: pp. 140-161. (1943). http://gdz.sub.uni-goettingen.de/dms/resolveppn/?PPN=GDZPPN002281287. “Zusammenfassung von mehreren vollständigen Induktionen zu einer einzigen”. Archiv für mathematische Logik und Grundlagenforschung 2 (1): pp. 81-93. (1954). http://gdz.sub.uni-goettingen.de/dms/resolveppn/?PPN=GDZPPN002042649. “Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie”. Archiv für mathematische Logik und Grundlagenforschung 16: pp. 97-118. (1974). http://gdz.sub.uni-goettingen.de/dms/resolveppn/?PPN=GDZPPN002044366. - パウル・ベルナイスによって出版された。 “Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik”. Archiv für mathematische Logik und Grundlagenforschung 16: pp. 119-132. (1974). http://gdz.sub.uni-goettingen.de/dms/resolveppn/?PPN=GDZPPN002044374. - パウル・ベルナイスによって出版された。 Eckart Menzler-Trott (2001). Gentzens Problem: Mathematische Logik im nationalsozialistischen Deutschland. Birkhäuser Verlag. ISBN 3-7643-6574-9
M. E. Szabo (1969). Collected Papers of Gerhard Gentzen. North-Holland. ISBN 0-7204-2254-X ゲンツェンの無矛盾性証明（英語版） 全称記号 エプシロン・ノート 論理包含 普遍例化 O'Connor, John J; Edmund F. Robertson "Gerhard Gentzen". MacTutor History of Mathematics archive.（英語） Gerhard Gentzen - Mathematics Genealogy Projectでの紹介。 表 話 編 歴 議論学 価値論 批判的思考 再帰理論 形式意味論 論理史 非形式論理学 計算機科学における論理学（英語版） 数理論理学 数学 メタ論理学 メタ数学 モデル理論 哲学的論理学 哲学 論理学の哲学 数学の哲学 証明論 集合論 論理学の歴史 アブダクション 分析的と総合的の区別（英語版） 二律背反 アプリオリ 演繹 定義(内包と外延) 記述 帰納 推論 論理的帰結 論理形式（英語版） 論理的含意（英語版） 論理的真理 名前 必要十分条件 意味 パラドックス 可能世界論 前提 確率 理性 推理 参考 意味論 命題 サブスティトゥーション（英語版） 統語論（英語版） 真理 真理値 妥当性 数学記号の表 分析 曖昧 信念 信用性（英語版） 根拠 説明 説明力（英語版） 事実 誤謬 探究 意見 節約 根拠 プロパガンダ 思慮分別（英語版） 推理 関連 修辞学 厳格 漠然（英語版） 構成主義 真矛盾主義 虚構主義（英語版） 有限主義（英語版） 形式主義 直観主義 論理的原子論（英語版） 論理主義 唯名論 プラトニック実在論（英語版） プラグマティズム 実在論 カントールの定理 決定問題 チャーチのテーゼ 無矛盾性 実効的方法（英語版） 数学基礎論 ゲーデルの完全性定理 ゲーデルの不完全性定理 健全性 完全性 決定可能性 解釈 レーヴェンハイム-スコーレムの定理 メタ定理（英語版） 充足可能性 独立性（英語版） 独立 タイプとトークンの区別 使用と言及の区別 形式言語 構成規則 形式体系 演繹システム（英語版） 形式的証明 形式意味論 論理式 集合 元 クラス 古典論理 公理 自然演繹 推論規則 有限関係（英語版） 定理 論理的帰結 公理系 型理論 記号 統語論（英語版） 理論（英語版） 命題 推論 論証 妥当性 三段論法 反対の正方形 ベン図 ブール関数 命題論理 論理演算 真理値表 原子論理式 リテラル 量化
存在記号 一階述語論理 二階述語論理 高階述語論理 単項述語計算（英語版） 連言標準形 選言標準形 否定標準形 冠頭標準形 スコーレム標準形 節標準形 集合 空集合 数え上げ 外延 有限集合 関数 部分集合 冪集合 可算集合 帰納的集合 定義域 値域 順序対 非可算集合 モデル（英語版） 解釈（英語版） 超準モデル 有限モデル理論 真理値 妥当性 形式的証明 演繹システム（英語版） 形式体系 定理 論理的帰結 推論規則 統語論（英語版） 再帰 帰納的集合 帰納的可算集合 決定問題 チャーチ＝チューリングのテーゼ 計算可能関数 原始再帰関数 真理値表 クワイン・マクラスキー法 カルノー図 存在グラフ 概念地図 オイラー図 ベン図 スパイダー図 タブローの方法 Xバー理論 構文木 構文解析 真理様相（英語版） 価値様相（英語版） 義務論理 信念様相（英語版） 認識論理 時相論理 線形時相論理 直観論理 構成的解析（英語版） ハイディング算術（英語版） 直観主義型理論 構成的集合論（英語版） 真理の程度（英語版） ファジィルール（英語版） ファジィ集合 ファジィ有限要素（英語版） ファジィ集合演算（英語版） 構造規則（英語版） 適切さの論理 線形論理 真矛盾主義 存在論 オントロジー言語（英語版） アンダーソン アリストテレス イブン・ルシュド イブン・スィーナー ベイン（英語版） バーワイズ（英語版） ベルナイス ブール ブーロス（英語版） カントール カルナップ チャーチ クリュシッポス カリー ド・モルガン フレーゲ ギーチ ゲンツェン ゲーデル ヒルベルト クリーネ クリプキ ライプニッツ レーヴェンハイム（英語版） ペアノ パース パトナム クワイン ラッセル シュレーダー（英語版） スコトゥス スコーレム スマリヤン タルスキ チューリング ホワイトヘッド オッカムのウィリアム ウィトゲンシュタイン ツェルメロ FAST ISNI VIAF WorldCat ノルウェー フランス BnF data カタルーニャ ドイツ イスラエル アメリカ チェコ オランダ ポーランド CiNii Books CiNii Research DBLP MathSciNet Mathematics Genealogy Project zbMATH ドイッチェ・ビオグラフィー IdRef 20世紀ドイツの哲学者 20世紀の数学者 20世紀の論理学者 ドイツの数学者 ドイツの論理学者 プラハ・カレル大学の教員 1909年生 1945年没 数学に関する記事 FAST識別子が指定されている記事 ISNI識別子が指定されている記事 VIAF識別子が指定されている記事 WorldCat Entities識別子が指定されている記事 BIBSYS識別子が指定されている記事 BNF識別子が指定されている記事 BNFdata識別子が指定されている記事 CANTICN識別子が指定されている記事 GND識別子が指定されている記事 J9U識別子が指定されている記事 LCCN識別子が指定されている記事 NKC識別子が指定されている記事 NTA識別子が指定されている記事 PLWABN識別子が指定されている記事 CINII識別子が指定されている記事 CRID識別子が指定されている記事 DBLP識別子が指定されている記事 MATHSN識別子が指定されている記事 MGP識別子が指定されている記事 ZBMATH識別子が指定されている記事 DTBIO識別子が指定されている記事 SUDOC識別子が指定されている記事
2024/11/21 17:50更新
|
Gerhard Karl Erich Gentzen
ゲルハルト＝ゲンツェンと同じ誕生日11月24日生まれの人
TOPニュース
ゲルハルト＝ゲンツェンと近い名前の人
話題のアホネイター
この記事は、クリエイティブ・コモンズ・表示・継承ライセンス3.0のもとで公表されたウィキペディアの項目「ゲルハルト＝ゲンツェン」を素材として二次利用しています。