Paul Lorenzen

German mathematician and philosopher (1915–1994) Paul LorenzenBornMarch 24, 1915Kiel, German EmpireDiedOctober 1, 1994(1994-10-01) (aged 79)Göttingen, GermanyScientific careerFieldsPhilosophy, mathematicsDoctoral advisorHelmut Hasse Paul Lorenzen (March 24, 1915 – October 1, 1994) was a German philosopher and mathematician, founder of the Erlangen School (with Wilhelm Kamlah) and inventor of game semantics (with Kuno Lorenz). Biography Lorenzen studied at the University of Göttingen until he earned his PhD there in 1938 under Helmut Hasse with a thesis titled Zur Abstrakten Begründung der multiplikativen Idealtheorie. In 1933, he joined the SA and the German Nazionalist Studenti Union (NSDStB), while, four years later, he became a member of the Nazi Party. In early 1940 he was drafted into the Army. Through Hasse's mediation, Lorenzen worked with Wilhelm Tranow from July 1940 to April 1941 on the Bavy's decoding project. In 1939, he became an assistant to Wolfgang Krull at the University of Bonn, where he officially remained until 1949. His main work was on the foundations of mathematics—proof theory. He created and modified constructive mathematics. Lorenzen taught at Sta