Leopold Löwenheim - Leopold Löwenheim

Leopold Löwenheim
narozený(1878-06-26)26. června 1878
Krefeld, Německo
Zemřel5. května 1957(1957-05-05) (ve věku 78)
Berlín, Německo
Alma materUniverzita v Berlíně, Technická univerzita v Berlíně
Známý jakoLöwenheim – Skolemova věta
Manžel (y)Johanna Rassmussen
Vědecká kariéra
PoleMatematická logika

Leopold Löwenheim (26 června 1878 v Krefeld - 5. května 1957 v Berlín ) byl Němec matematik dělá práci v matematická logika. The nacistický režim ho přinutil odejít do důchodu, protože za Norimberské zákony byl považován za pouhé tři čtvrtiny Árijci. V roce 1943 byla velká část jeho práce zničena během bombardování nájezd na Berlín. Přesto přežil Druhá světová válka, po kterém pokračoval v učení matematika.[1]

Löwenheim (1915) poskytl první důkaz toho, co je nyní známé jako Löwenheim – Skolemova věta, často považován za výchozí bod pro teorie modelů.

Leopold byl synem Ludwiga Löwenheima, učitele matematiky na polytechnický v Krefeld a Elizabeth Röhn, spisovatelka. V roce 1881 tři opustili Krefeld jako první Neapol a pak Berlín kde Ludwig byl soukromý vědec, který pracoval na komplexním popisu vlivu Democritus o moderní vědě. I když doufal, že mu to získá učitelskou práci Humboldtova univerzita Ludwig zemřel v roce 1894.[2]

Publikace

  • Löwenheim, Leopold (1908). „Über das Auflösungsproblem im logischen Klassenkalkül“. Sitzungsberichte der Berliner Mathematischen Gesellschaft (v němčině). 7: 89–94.
  • Löwenheim, Leopold (1910). „Über die Auflösung von Gleichungen im logischen Gebietekalkül“ (PDF). Mathematische Annalen (v němčině). 68 (2): 169–207. doi:10.1007 / bf01474159. S2CID  122434845.
  • Löwenheim, Leopold (1913). „Über Transformationen im Gebietekalkül“ (PDF). Mathematische Annalen (v němčině). 73 (2): 245–272. doi:10.1007 / bf01456715.
  • Löwenheim, Leopold (1915). „Über Möglichkeiten im Relativkalkül“ (PDF). Mathematische Annalen (v němčině). 76 (4): 447–470. doi:10.1007 / bf01458217. S2CID  116581304. Přeloženo jako „O možnostech v počtu příbuzných“ v angličtině Jean van Heijenoort, 1967. Kniha pramenů v matematické logice, 1879–1931. Harvard Univ. Tisk: 228–251.
  • Löwenheim, Leopold (1915). „Über eine Erweiterung des Gebietekalküls, welche auch die gewöhnliche Algebra umfaßt“. Archiv für Systematische Philosophie (v němčině). 21: 137–148.
  • Löwenheim, Leopold (1940). „Einkleidung der Mathematik in Schröderschen Relativkalkül“. Journal of Symbolic Logic (v němčině). 5 (1): 1–15. doi:10.2307/2269177. JSTOR  2269177.
  • Löwenheim, Leopold (1946). Přeloženo Willard Van Orman Quine. "On Making Nepřímé důkazy Direct". Scripta Mathematica. 12 (2): 125–147.

Reference

  1. ^ O'Connor, John J.; Robertson, Edmund F., „Leopold Löwenheim“, MacTutor Historie archivu matematiky, University of St Andrews.
  2. ^ Thiel, Christopher (2009). Beklemishev, Lev D. (ed.). „Leopold löwenheim, život, práce a rané vlivy“. Prokazatelnost, vypočítatelnost a reflexe. Elsevier. ISBN  9780080954967.

Další čtení

  • Brady, Geraldine, 2000. Od Peirce po Skolem. Severní Holandsko. Obsahuje podrobnou výklad důkazu v Löwenheimu (1915) a pojednává o tom, jak Thoralf Skolem zjednodušil tento důkaz a rozšířil rozsah a obecnost věty.

externí odkazy