Gert Heinz Müller

from Wikipedia, the free encyclopedia

Gert Heinz Müller (born May 29, 1923 in Opava , Czechoslovakia ; † September 3, 2006 in Heidelberg ) was a German mathematician who dealt with mathematical logic and the philosophy of mathematics .

Professional activities

Müller received his doctorate in 1947 from the University of Graz under Konstantin Radaković (On the point of view of our statements). He then worked as an assistant at the Graz observatory and from 1949 to 1960 as an assistant at the ETH Zurich . In 1951/52 he was a fellow of the CNRS in Paris. From 1960 he was a DFG scholarship holder at the University of Heidelberg . In 1962 he completed his habilitation in Heidelberg for pure mathematics and mathematical logic and was then a university lecturer in Heidelberg. 1964/65 he was a deputy professor at the University of Bonn. In 1965 he became an adjunct professor at the University of Heidelberg and in 1966 scientific councilor. 1966/67 he was visiting professor at the University of Leeds. He was a full professor in Heidelberg from 1973 and retired in 1990.

From 1969 to 1989 he was head of the Mathematical Logic Research Center at the Heidelberg Academy of Sciences , which existed until 2004. In this context he was editor of the Omega bibliography of mathematical logic . From 1976 to 1980 he was President of the German Society for Logic and Fundamentals of Mathematics and from 1979 to 1983 he was Vice President of the Division of Logic, Philosophy and Methology of Science of the International Union of the History and Philosophy of Science. From 1981 he was a corresponding and from 1986 a full member of the Académie International des Philosophie de Sciences in Brussels, of which he was vice-president from 1996 to 1998. In 1973 he received the bronze medal of the Collège de France . From 1976 to 1979 he was President of the International Society for the Study of Time.

He was co-editor of the results of mathematics and their border areas and the journal for mathematical logic and foundations of mathematics and consulting editor of the Journal of Symbolic Logic .

literature

  • Dagmar Drüll: Heidelberg scholars lexicon . Volume 2, Springer, Heidelberg 2009, pp. 432-433

Web links

Individual evidence

  1. ↑ Gert Heinz Müller in the Mathematics Genealogy Project (English)Template: MathGenealogyProject / Maintenance / id used
personal data
SURNAME Müller, Gert Heinz
BRIEF DESCRIPTION German mathematician
DATE OF BIRTH May 29, 1923
PLACE OF BIRTH Troppau
DATE OF DEATH September 3, 2006
Place of death Heidelberg