Leopold Löwenheim

Leopold Löwenheim Biografie

Naștere	26 iunie 1878 Krefeld
Moarte	5 mai 1957 Berlin
Naţionalitate	Germania
Instruire	Universitatea Frédéric-Guillaume (1896-1901) Luisengymnasium Berlin ( d ) (până la1896) Technische Hochschule Berlin ( d ) (1896-1901)
Activități	Matematician , filosof

Alte informații

Camp	Logica matematică

Lucrări primare

Teorema Löwenheim-Skolem , numărul Löwenheim ( d )

Leopold Löwenheim , născut pe26 iunie 1878în Krefeld , în provincia Renania și a murit la5 mai 1957la Berlin , este un matematician german , cunoscut pentru munca sa în logica matematică .

Biografie

Regimul nazist l-a obligat să demisioneze pentru că era „doar trei sferturi de ari ”. În 1943, majoritatea lucrărilor sale au fost distruse în urma unui bombardament asupra Berlinului. Cu toate acestea, a supraviețuit celui de-al doilea război mondial , după care a reluat predarea matematicii .

Löwenheim a dat în 1915 prima dovadă a ceea ce va fi stabilit ca teorema Löwenheim-Skolem , de obicei considerată a fi primul pas în teoria modelelor .

Publicații majore

1915, „Über Möglichkeiten im Relativkalkül”, Mathematische Annalen 76 : 447-470. Titlu în limba engleză „Despre posibilități în calculul rudelor” de Jean van Heijenoort , 1967. O carte sursă în logică matematică, 1879-1931 . Universitatea Harvard. Presă : 228-51.
Geraldine Brady, De la Peirce la Skolem: un capitol neglijat în istoria logicii , Olanda de Nord, col. Studii de istorie și filozofie a matematicii, volumul 4, 468 de pagini, 2000, ( ISBN 978-0-444-50334-3 ) .
- Conține o exegeză detaliată a dovezii lui Löwenheim (1915) și arată cum Thoralf Skolem a simplificat această dovadă, a extins sfera acestei teoreme și a generalizat-o.

linkuri externe

Înregistrări de autoritate :
(ro) John J. O'Connor și Edmund F. Robertson , „Leopold Löwenheim” , în arhiva MacTutor History of Mathematics , Universitatea din St Andrews ( citește online ).