ポール・ロレンゼン

ポール・ロレンゼン
生まれる	1915年3月24日 キール、ドイツ帝国
死亡	1994年10月1日（享年79歳） ( 1994-11 ) ゲッティンゲン、ドイツ
科学者としてのキャリア
フィールド	哲学、数学
博士課程の指導教員	ヘルムート・ハッセ

パウル・ロレンツェン（1915年3月24日 - 1994年10月1日）は、ドイツの哲学者、数学者であり、ヴィルヘルム・カムラとともにエアランゲン学派を創始し、クノ・ロレンツとともにゲーム意味論を発明した。

ロレンツェンはゲッティンゲン大学で学び、1938年にヘルムート・ハッセの指導の下、 「多重理想理論の基礎について」と題する論文で博士号を取得した。1933年に突撃隊とドイツ民族主義学生同盟（NSDStB）に入隊し、4年後にはナチ党員となった。^[1] 1940年初頭に陸軍に徴兵された。^{[2]ハッセの仲介により、ロレンツェンは1940年7月から1941年4月まで}ヴィルヘルム・トラノウと共にバヴィの解読プロジェクトに取り組んだ。 ^[3]

1939年、彼はボン大学のヴォルフガング・クルルの助手となり、正式には1949年までそこに留まった。^[4]彼の主な仕事は数学の基礎、つまり証明論であった。彼は構成的数学を創始し、修正した。ロレンゼンは米国のスタンフォード大学、テキサス大学、ボストン大学で教鞭をとった。彼は1967年から1968年にかけてジョン・ロック講師 を務めた。

ロレンゼンは1962年にエアランゲン大学（南ドイツ）に赴任し、そこで認識論的構成主義のエアランゲン学派を設立した。

彼はヴィルヘルム・カムラーとともに有名な著書『論理的前提論』（「Logische Propädeutik」）を執筆し、クノ・ローレンツとともにゲーム意味論（Dialogische Logik）の研究を行った。ピーター・ヤニッチとともに時間と空間の原物理学を発明した。彼は構成的論理、構成的型理論、構成的分析を開発した。

ローレンツェンの微分積分学の研究はヘルマン・ワイルに捧げられた。ローレンツェンはワイルの手法を用いて、排中原理や選択公理に頼らずに古典解析を再構築できる述語解析を開発した。また、ゲーデルの結果を受けてヒルベルトの計画を継続する方法を見つけるため、ゲルハルト・ゲンツェンのカット消去法にも取り組んだ。

幾何学と物理学の理論において、ローレンゼンはヒューゴ・ディングラーの影響を受け、ディングラーに倣って幾何学と物理学を原始的な操作から構築した。ローレンゼンは、一般相対性理論の幾何学的要素に関するスティーブン・ワインバーグの初期の解釈（『重力と宇宙論』1972年）を採用し、マクスウェル方程式は一般相対性理論によって修正されるはずだ と信じた。

ローレンツェンはヴィルヘルム・ディルタイの解釈学にも影響を受けており、知識は人生の背後には潜められないというディルタイの言葉を好んで引用していた。ディルタイの『生命哲学』は、私たちが数学や物理学の抽象概念を構築する日常経験の環境を説明したものだった。

ジョン・ロック講師として、彼は倫理と政治的議論 の基礎として規範論理を発明しました。

• Paul Lorenzen、Frederick J. Crosson（翻訳）、Formal Logic、Springer、ニューヨーク、1964年7月。
• パウル・ロレンツェン『規範論理と倫理学』マンハイム/チューリッヒ、1969年。
• ポール・ロレンゼン、ジョン・ベーコン（訳）、『微分と積分：古典解析への建設的入門』、テキサス大学出版局、オースティン、1971年。
• Paul Lorenzen、Lehrbuch der konstruktiven Wissenschaftstheorie、マンハイム/チューリッヒ、1984 年。
• ポール・ロレンゼン、カール・リチャード・パブロヴィッチ（翻訳）、『構成的哲学』マサチューセッツ大学出版局、アマースト、1987年。

• ヴィルヘルム・カムラー、ポール・ロレンゼン、『論理的準備学：合理的談話の予備学校』ワシントン D.C.：アメリカ大学出版局、1984年。
• ダイアン・ローリング・スーヴェイン、ポール・ローレンゼンと構成的数学、1980年。

ウィキメディア・コモンズには、ポール・ロレンゼンに関連するメディアがあります。

• 数学系譜プロジェクトのポール・ロレンゼン
• ローレンツェンとそのローレンツェンについての書籍（ドイツ国立図書館）（ドイツ語）