Heinz Bachmann
Heinz Bachmann | |
|---|---|
 | |
| Born | 1924 |
| Died | 22 April 2022 (aged 97–98) |
| Occupation | Mathematician |
Heinz Bachmann (1924 – 22 April 2022)[1] 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.[2]
Works
- Bachmann, Heinz (1950), "Die Normalfunktionen und das Problem der ausgezeichneten Folgen von Ordnungszahlen", Vierteljschr. Naturforsch. Ges. Zürich, 95: 115–147, MR 0036806
- Bachmann, Heinz (1955), Transfinite Zahlen, Ergebnisse der Mathematik und ihrer Grenzgebiete (N.F.), Heft 1., Springer-Verlag, Berlin-Göttingen-Heidelberg, ISBN 978-3642885150, MR 0071481
{{citation}}: ISBN / Date incompatibility (help) - Bachmann, Heinz (2007). Vektorgeometrie: Theorie, Aufgaben und Ergebnisse (in German). sabe, Verlag-Inst. für Lehrmittel. ISBN 978-3-252-06041-1.
References
- ↑ "Zum Hinschied von Dr. Heinz Bachmann (1924 bis 2022)" (PDF). Freies Gymnasium Zürich. Archived (PDF) from the original on 5 August 2025. Retrieved 29 December 2023.
- ↑ Rathjen, Michael; Sieg, Wilfried (2024), Zalta, Edward N.; Nodelman, Uri (eds.), "Proof Theory", The Stanford Encyclopedia of Philosophy (Winter 2024 ed.), Metaphysics Research Lab, Stanford University, retrieved 2026-08-12