Leopold Löwenheim: Diferenzas entre revisións
Creada como tradución da páxina "Leopold Löwenheim" |
(Sen diferenzas.)
|
Revisión como estaba o 3 de xullo de 2020 ás 16:08
Leopold Löwenheim (Krefeld, 26 de xuño de 1878 – Berlín, 5 de maio de 1957) foi un matemático alemán.
Biografía | |
---|---|
Nacemento | 26 de xuño de 1878 Krefeld, Alemaña |
Morte | 5 de maio de 1957 (78 anos) Berlín, Alemaña |
Datos persoais | |
País de nacionalidade | Alemaña |
Educación | Universidade de Frederico-Guilherme (pt) (1896–1901) Luisengymnasium Berlin (en) (–1896) Technische Hochschule Berlin (en) (1896–1901) |
Actividade | |
Campo de traballo | Lóxica matemática |
Ocupación | matemático , filósofo |
Lingua | Lingua alemá |
Obra | |
Obras destacables |
Vida e obra
O seu pai era un intelectual que deixara o seu posto de profesor para facer un estudo detallado da influencia de Demócrito en Galileo, polo que se trasladou a Italia coa súa familia. [1] En 1881 regresaron a Alemaña, establecéndose en Berlín, onde estudaba un novo Löwenheim. Completou a súa educación secundaria no Royal Luisengymnasium ata 1896 e os seus estudos universitarios na Universidade de Berlín e na Universidade Técnica de Berlín ata 1901, cando se formou como profesor de matemáticas e física na escola secundaria. [2]
Desde ese ano foi profesor no Jahn-Realgymnasium de Berlín, ata 1934, cando foi descualificado polo réxime nazi por ter un avó xudeu. Nos anos seguintes sobreviviu dando clases particulares e na Sociedade Antroposófica da que era membro. [3] En 1943 a súa casa foi vítima bombardeo aliado e os seus escritos perdéronse. [4] Despois da guerra, el volveu a ser profesor dun insituto en Berlín entre 1946 e 1949. [3]
Löwenheim, a pesar de non ter un posto universitario, dedicou gran parte do seu tempo a investigar no campo da lóxica matemática . [5] É recordado polo teorema que leva o seu nome: o teorema de Löwenheim-Skolem que afirma que se unha proposición de primeira orde é satisfactoria, entón ten un modelo finito ou infinito contable . [6] A demostración foi publicada en decembro de 1915 na revista Mathematische Annalen, titulada Über Möglichkeiten im Relativkalkül, e segue a tradición do cálculo de predicados establecida por Peirce e Schröder . [7] O noruegués matemático Thoralf Skol, estendeu esta proba nos seus papeis de 1920, 1923 e 1929. [8] Este teorema é de enorme importancia porque abriu un novo campo de investigación en matemáticas: a teoría de modelos .
Notas
- ↑ Thiel 2007, p. 289.
- ↑ Thiel 2007, p. 291-292.
- ↑ 3,0 3,1 Thiel 2007, p. 292.
- ↑ Thiel 2007, p. 298.
- ↑ Siegmund-Schultze 2009, p. 18.
- ↑ Brady 2000, p. 171-172.
- ↑ Brady 2000, p. 169.
- ↑ Brady 2000, p. 197.
Bibliografía
- El teorema de Löwenheim en el marco de la teoría de relativos (en castellà). Universitat de Barcelona. 1992. ISBN 84-7875-771-6.
|first1=
sen|last1=
in Authors list (Axuda) - From Peirce to Skolem (en anglès). North Holland. 2000. ISBN 0-444-50334-X.
|first1=
sen|last1=
in Authors list (Axuda) - Thiel, Christian (2007). History and Philosophy of Logic (en anglès). Vol. 28 (Num. 4): 289-302. ISSN 0144-5340. doi:10.1080/01445340701708852 https://www.tandfonline.com/doi/full/10.1080/01445340701708852. Falta o
|title=
(Axuda) - Mathematicians fleeing from Nazi Germany (en anglès). Princeton University Press. 2009. ISBN 978-0-691-14041-4.
|first1=
sen|last1=
in Authors list (Axuda)
Ligazóns externas
- O'Connor, John J.; Robertson, Edmund F. «Leopold Löwenheim» (en anglès). MacTutor History of Mathematics archive. (en inglés)
- Complete Dictionary of Scientific Biography (ed.). https://www.encyclopedia.com/science/dictionaries-thesauruses-pictures-and-press-releases/lowenheim-leopold. Falta o
|title=
(Axuda) (en inglés)