レオポルド・レーヴェンハイム

レオポルド・レーヴェンハイム（ Leopold Löwenheim [ˈle:o:pɔl̩d ˈlø:vɛnhaɪm]、1878年6月26日クレーフェルト生まれ- 1957年5月5日ベルリン没）は、数理論理学の研究を行ったドイツの数学者。ニュルンベルク法の下ではアーリア人種が4分の3とみなされたため、ナチス政権によって引退を強いられた。1943年、ベルリン空襲で彼の研究成果の多くが破壊された。しかし、彼は第二次世界大戦を生き延び、その後数学の教職に復帰した。^{[ 1 ]}

レーヴェンハイム（1915）は、現在レーヴェンハイム＝スコレムの定理として知られているものの最初の証明を与え、これはしばしばモデル理論の出発点と考えられている。

レオポルドは、クレーフェルトの工科大学で数学教師をしていたルートヴィヒ・レーヴェンハイムと、作家のエリザベス・レーンの息子だった。1881年、一家3人はクレーフェルトを離れ、まずナポリ、次にベルリンへと移った。ベルリンでは、ルートヴィヒは私的な研究者として、デモクリトスが近代科学に与えた影響についての包括的な研究に取り組んでいた。彼はこの研究によってフンボルト大学で教職を得られることを期待していたが、ルートヴィヒは1894年に亡くなった。^{[ 2 ]}

• レーヴェンハイム、レオポルド（1908年）。「私が考える問題は、Klassenkalkül です。 」 Sitzungsberichte der Berliner Mathematischen Gesellschaft (ドイツ語)。7：89～ 94。
• レーヴェンハイム、レオポルド（1910年）。「Über die Auflösung von Gleichungen im logischen Gebietekalkül」(PDF)。Mathematische Annalen (ドイツ語)。68 (2): 169–207。土井: 10.1007/bf01474159。S2CID 122434845。 
• レーヴェンハイム、レオポルド（1913年）。「Uber Transformationen im Gebietekalkül」(PDF)。Mathematische Annalen (ドイツ語)。73 (2): 245–272 .土井: 10.1007/bf01456715。S2CID 120979593。 
• レーヴェンハイム、レオポルト（1915年）。「Über Möglichkeiten im Relativkalkül」(PDF)。Mathematische Annalen (ドイツ語)。76 (4): 447–470 .土井: 10.1007/bf01458217。S2CID 116581304。 「関係の計算における可能性について」として、Jean van Heijenoort著、1967 年『数理論理学資料集、1879-1931』、ハーバード大学出版局、228-251 ページに翻訳掲載。
• レーヴェンハイム、レオポルト（1915年）。「ゲビエテカルキュルスを理解するための、代数を理解するための知識」。Archiv für Systematische Philosophie (ドイツ語)。21 : 137–148 .
• レーヴェンハイム、レオポルド（1940年）。 「Schröderschen Relativkalkül における Einkleidung der Mathematik」。Journal of Symbolic Logic (ドイツ語)。5 (1): 1–15 .土井: 10.2307/2269177。JSTOR 2269177。S2CID 250344187。  
• レーヴェンハイム、レオポルド（1946）。「間接証明を直接証明することについて」。Scripta Mathematica。12 （ 2 ）。ウィラード・ヴァン・オーマン・クワイン訳：125–147。

• ブレイディ、ジェラルディン、2000年。 『パースからスコレムへ』。ノースホラント。レーヴェンハイム（1915年）の証明の詳細な解説を収録し、トーラルフ・スコレムがどのようにその証明を簡略化し、定理の適用範囲と一般性を拡張したかを論じている。

• レーヴェンハイム、レオポルド（encyclopedia.com）
• Thiel, Christian (2007年11月) 「レーヴェンハイムの生涯と業績、そしてこれまで知られていなかった論文への短い紹介」『論理の歴史と哲学』28 (4): 289–302 . doi : 10.1080 / 01445340701708852.S2CID 170174740 .