Leopold Löwenheim
Leopold Löwenheim (Krefeld, 26 giugno 1878 – Berlino, 5 maggio 1957) è stato un logico e matematico tedesco, noto per i suoi contributi nel campo della logica matematica e della teoria dei modelli.
Biografia modifica
Dopo aver studiato matematica e scienze presso la Università di Berlino tra il 1896 e il 1900. È stato insegnante a Berlino dal 1901, nel 1904 ha ricevuto la seniority presso il Jahn-Realprogymnasium di Berlino-Lichtenberg[1]. Tra agosto 1916 e dicembre 1916, ha combattuto nella prima guerra mondiale. Con l'avvento del Nazismo è stato rilasciato dal sistema scolastico nel 1933 in conformità con il Gesetz zur Wiederherstellung des Berufsbeamtentums Legge per la Restaurazione del Servizio Civile Professionale, le disposizioni per la priorità degli appartenenti alla razza ariana in campo lavorativo. Poiché uno dei nonni era ebreo è stato costretto al ritiro nel 1934. Ha poi continuato a insegnare in una scuola antroposofica di Berlino, tra le materie Euritmia. Nell'agosto del 1943 la sua casa è stata colpita da una bomba e tutti i suoi manoscritti sono stati persi. Dal 1946 al 1949 ha ripreso il lavoro di insegnante.
Attività modifica
I suoi contributi all'algebra della logica e teoria dei modelli sono stati di fondamentale importanza, così come lo sono stati i metodi sviluppati al fine di trovare soluzioni a equazioni funzionali booleane partendo da soluzioni particolari[2]. La sua vita professionale è stato spesa come professore di matematica e fisica presso varie scuole di Berlino. È riuscito a svolgere attività di ricerca nel campo dell'algebra e della logica, pubblicando i suoi più importanti contributi tra il 1908 e il 1919. È stato membro della Società Matematica di Berlino. Ha pubblicato su riviste internazionali e ha tenuto rapporti di corrispondenza con i più importanti logico-matematici del suo tempo, tra cui Alwin Korselt, David Hilbert, Gottlob Frege e Ernst Zermelo[3][4]. Löwenheim, nel 1915, ha dato la prima prova di quello che ora è noto come il teorema di Löwenheim-Skolem, spesso considerato il punto di partenza della teoria dei modelli[5].
Principali pubblicazioni modifica
- Leopold Löwenheim, Über das Auflösungsproblem im logischen Klassenkalkül, in Sitzungsberichte der Berliner mathematischen Gesellschaft, vol. 7, 1908, pp. 89-94.
- Leopold Löwenheim, Über die Auflösung von Gleichungen im logischen Gebietekalkül (PDF), in Mathematische Annalen, vol. 68, 1910, pp. 169-207.
- Leopold Löwenheim, Über Transformationen im Gebietekalkül (PDF), in Mathematische Annalen, vol. 73, 1913, pp. 245-272.
- Leopold Löwenheim, Über Möglichkeiten im Relativkalkül (PDF), in Mathematische Annalen, vol. 76, 1915, pp. 447-470. Translated as "On possibilities in the calculus of relatives" in Jean van Heijenoort, 1967. A Source Book in Mathematical Logic, 1879–1931. Harvard Univ. Press: 228–251.
- Leopold Löwenheim, Über eine Erweiterung des Gebietekalküls, welche auch die gewöhnliche Algebra umfaßt, in Archiv für systematische Philosophie, vol. 21, 1915, pp. 137-148.
- Leopold Löwenheim, Einkleidung der Mathematik in Schröderschen Relativkalkül, in Journal of Symbolic Logic, vol. 5, 1940, pp. 1-15, DOI:10.2307/2269177, JSTOR 2269177.
- Leopold Löwenheim, On Making Indirect Proofs Direct, in Scripta mathematica, vol. 12, n. 2, 1946, pp. 125-147. Translated from German and published by Willard Van Orman Quine.
Note modifica
- ^ (EN) Christian Thiel, A Short Introduction to Löwenheim's Life and Work and to a Hitherto Unknown Paper, in History and Philosophy of Logic, vol. 28, n. 4, Taylor & Francis, 1º novembre 2007, pp. 289-302, DOI:10.1080/01445340701708852. URL consultato il 30 aprile 2019.
- ^ Joan Roselló Moya: Lògica I fornaments: 1850-1920. Un estudi comparatiu de les contribucions del corrent algèbric i logicista a la lògica contemporània. Consultado: 13/06/ 2.012
- ^ Zela, Alonso: "Leopold Löwenheim (1878-1957). Edición especial de la revista History and Philosophy of Logic XXVIII/4" de Christian Thiel (ed.)Ideas y Valores. Revista Colombiana de Filosofía, vol. 59, núm. 143, agosto, 2010, pp.222-223.[collegamento interrotto] Consultado: 14/06/1.012
- ^ (ES) Christian Thiel, Reflexiones en el centenario de Leopold Löwenheim, in Teorema: Revista internacional de filosofía, vol. 8, n. 3-4, 1978, pp. 263-268, ISSN 0210-1602. URL consultato il 30 aprile 2019.
- ^ Classical Logic (Stanford Encyclopedia of Philosophy - Winter 2009 Edition, su plato.stanford.edu. URL consultato l'11 luglio 2017.
Collegamenti esterni modifica
- (EN) Leopold Löwenheim, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
- (EN) Leopold Löwenheim, su MacTutor, University of St Andrews, Scotland.
| Controllo di autorità | VIAF (EN) 49996258 · ISNI (EN) 0000 0001 2025 5025 · LCCN (EN) no2004015207 · GND (DE) 117169110 · BNF (FR) cb14577358v (data) · J9U (EN, HE) 987007368657305171 · WorldCat Identities (EN) lccn-no2004015207 |
|---|
