Logic List Mailing Archive

Horst Luckhardt (21.3.1938-11.02.2025)

Dear Members,

yesterday I received the sad news that my teacher and PhD supervisor Prof.Dr. Horst Luckhardt passed away on February 11. Luckhardt received his PhD in 1966 from the University of Marburg under the supervision of Arnold Schnmidt. His Habilitation took place in 1970 in Marburg. From 1972 on he was a professor of mathematics at the J.W. Goethe Universitaet Frankfurt where he retired in 2003.
Horst Luckhardt is particularly known for his monograph on Goedel's functional interpretation (H. Luckhardt: Extensional Goedel Functional
Interpretation: A Consistensy Proof of Classical Analysis. Springer LNM 306, 1973) and his 1985 Herbrand analysis of proofs of Roth's theorem which resulted in the first polynomial bound on the number of solutions (independently also obtained by E. Bombieri and A.J. van der Poorten).

I will remember him with deep gratitude.

Ulrich Kohlenbach
TU Darmstadt
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php