Wolfram Schwabhäuser

Wolfram Schwabhäuser (born May 20, 1931 in Riesa ; † December 27, 1985 ) was a German mathematical logician who dealt with model theory.

Life

Schwabhäuser studied mathematics and physics at the Humboldt University of Berlin (diploma in 1956, on the completeness of elementary Euclidean geometry ) and received his doctorate there in 1960 under Karl Schröter ( decidability and completeness of elementary hyperbolic geometry , journal for mathematical logic and foundations of mathematics, vol . 2, 1956, p. 137). In 1964 he did not return to the GDR after a congress in Jerusalem and went to West Germany. In 1965 he received his habilitation at the University of Münster and after a guest stay at the University of California, Berkeley (with Alfred Tarski 1965/66), he became a lecturer at the 1966University of Bonn . In 1969 he became an adjunct professor there and in 1970 scientific advisor and professor (for logic and basic research). Since 1973 he has been a full professor for theoretical computer science at the University of Stuttgart .

Schwabhäuser dealt with model theory in geometry, where he worked closely with Alfred Tarski. In 1983 he completed a project by Alfred Tarski with Wanda Szmielew (who had previously died in 1976) on a book on the metamathematic foundation of Euclidean geometry based on the Tarski axioms.

From 1977 until his death he was the managing editor of the Archives for Mathematical Logic and Basic Research.

Fonts

• Model theory 1,2, Bibliographisches Institut, Mannheim 1971, 1972
• with Wanda Szmielew, Alfred Tarski: Metamathematic Methods in Geometry. Springer-Verlag 1983.

Web links

• obituary