Wilfried Buchholz during his 60th birthday celemony, 2008[1]
Wilfried Buchholz is a German mathematician.[2] He was born in Berlin on 1 April 1948, received his Ph.D. in 1974, and became a Professor at the Mathematical Institute of Ludwig Maximilian University of Munich in 1980.[3]
The Buchholz's function[4], the Buchholz hydra and the Takeuti-Feferman-Buchholz ordinal are named after him.
Sources[]
- ↑ Honorary Colloquium on Occasion of Wilfried Buchholz' 60th Birthday, Retrieved December 5, 2024
- ↑ Prof. Dr. Wilfried Buchholz
- ↑ Prof. Dr. Wilfried Buchholz (archive version at 1997-05-02)
- ↑ W. Buchholz, A New System of Proof-Theoretic Ordinal Functions, Annals of Pure and Applied Logic, vol. 32 (1986), pp. 195--207.