ポール・ロレンゼン

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

バイオグラフィー

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

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

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

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

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

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

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

^ Stefan Neuwirth: Lorenzen の Hasse、Krull、Aubert との通信、およびいくつかの関連文書。出典: ゲルハルト・ハインツマン、ゲレオン・ウォルターズ (編): Paul Lorenzen – 数学者および論理学者、Springer 2021、p. 244.
^ Stefan Neuwirth: Lorenzen's Correspondence、2021、p. 245
^ Stefan Neuwirth: Lorenzen's Correspondence、2021、p. 245.
^「Paul Lorenzen」の記録: Renate Tobies、Biographisches Lexikon in Mathematik promovierter personen、Rauner Verlag 2006