Karl Schröter

Karl Walter Schröter (7 September 1905 in Biebrich near Wiesbaden – 22 August 1977 in Berlin) was a German mathematician and logician. Later on, after the war, he made important contributions concerning semantic consequences (German: semantische Folgerungsrelationen) and provability logic (German: syntaktische Ableitbarkeitsrelationen). He worked as a mathematical theoretician and cryptanalyst for the civilian Pers Z S, the cipher bureau of the Foreign Office (German: Auswärtiges Amt), from Spring 1941 to the end of World War II.

Karl Schröter
Picture of Karl Schröter studying.
Born7 September 1905 (1905-09-07)
Biebrich near Wiesbaden, Hesse-Darmstadt, Germany
Died22 August 1977(1977-08-22) (aged 71)
Berlin, East Berlin, East Germany
CitizenshipGerman
Alma materGöttingen
Heidelberg
Frankfurt am Main
University of Münster
Known forsemantic consequences
provability logic
Scientific career
FieldsMathematics
Logic
InstitutionsUniversity of Münster
Doctoral advisorHeinrich Scholz
Doctoral studentsDieter Klaua
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.