Leopold Lowenheim

from Wikipedia, the free encyclopedia

Leopold Löwenheim (born June 26, 1878 in Krefeld , † May 5, 1957 in Berlin ) was a German logician and mathematician .

Life

After studying mathematics and natural sciences at the University of Berlin from 1896 to 1900, he worked as a teacher in Berlin from 1901 (from 1904 as a senior teacher at the Jahn Realprogymnasium in Berlin-Lichtenberg).

Between August 1916 and December 1916 he fought in the First World War . After the seizure of power in 1933, he was dismissed from school service under the National Socialists in accordance with the provisions of the Professional Civil Service Act (one grandfather was Jewish) and in 1934 was forced to retire. He then continued to teach in an anthroposophical school in Berlin, including eurythmy . In August 1943, his house in Berlin was hit by a bomb and all of his manuscripts were lost. From 1946 to 1949 he was again active as a teacher.

plant

His scientific work mainly relates to the representation of mathematics in Ernst Schröder's logic calculus . In one of 1915 he essentially proves the Löwenheim and Skolem theorem about the existence of countably infinite models for theories of first order predicate logic with infinite models. This says:

Every expression of the predicate calculus of the first level that can be fulfilled in an infinite domain can already be fulfilled in a countably infinite domain.

For school use he wrote a number of unpublished manuscripts on "descriptive" ( Euclidean , cf. Hilbert / Cohn-Vossen ) geometry .

literature

  • Christian Thiel: Löwenheim, Leopold . In: Frederic Lawrence Holmes (Ed.): Dictionary of Scientific Biography . tape 18 , Supplement II: Aleksander Nikolaevich Lebedev - Fritz Zwicky . Charles Scribner's Sons, New York 1981, p. 571-572 .
  • Christian Thiel: Life and Work of Leopold Löwenheim (1878–1957), Annual Report DMV, Volume 77, 1975, pp. 1–9, online
  • Calixto Badesa The birth of model theory: Löwenheim's theorem in the frame of the theory of relatives , Princeton University Press, 2004

Individual evidence

  1. ^ Thiel, Christian (2007). A Short Introduction to Löwenheim's Life and Work and to a Hitherto Unknown Paper. History and Philosophy of Logic, 28 (4), 289-302. Retrieved January 27, 2009 from http://www.informaworld.com/10.1080/01445340701708852

Web links

personal data
SURNAME Löwenheim, Leopold
BRIEF DESCRIPTION German logician and mathematician
DATE OF BIRTH June 26, 1878
PLACE OF BIRTH Krefeld
DATE OF DEATH May 5th 1957
Place of death Berlin