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.