Wolfgang Rautenberg

Wolfgang Rautenberg (27 February 1936 − 4 September 2011) was a German mathematician and logician whose areas of research were model theory, non-classical logic, modal logic, temporal logic and self reference.

He studied mathematics and physics at the Humboldt University in East Berlin (GDR), and there in 1963 Rautenberg received a doctorate and worked as a logician.

[1][2] In 1968 Rautenberg graduated from the Humboldt University as an academic lecturer.

[2] In 1976 he accepted a call to chair the academic department[2] for mathematical logic and foundations of mathematics at Freie Universität Berlin.

Wolfgang Rautenberg was also a very active contributor in the HP48 and HP49G / HP49G+ calculator community,[4][5][6] with many important contributions.