Heinz Bachmann (1924 – 22 April 2022) was a mathematician who worked at the Eidgenössische Sternwarte (federal observatory) in Zürich. He introduced the Bachmann–Howard ordinal and ordinal collapsing functions, which are essential tools in studying proof-theoretic ordinals. He also published mathematics textbooks and worked in astronomy and meteorology. Works
References