Biography:Heinz Bachmann
From HandWiki
Heinz Bachmann | |
|---|---|
 | |
| Born | 1924 |
| Died | 22 April 2022 |
| 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
- Bachmann, Heinz (1955), Transfinite Zahlen, Ergebnisse der Mathematik und ihrer Grenzgebiete (N.F.), Heft 1., Springer-Verlag, Berlin-Göttingen-Heidelberg, ISBN 978-3642885150
- Bachmann, Heinz (2007) (in de). Vektorgeometrie: Theorie, Aufgaben und Ergebnisse. sabe, Verlag-Inst. für Lehrmittel. ISBN 978-3-252-06041-1. https://books.google.com/books/about/Vektorgeometrie.html?id=SupsQgAACAAJ.
References
- ↑ "Zum Hinschied von Dr. Heinz Bachmann (1924 bis 2022)". https://www.datocms-assets.com/132730/1726472970-jahresbericht-2021_22.pdf.
- ↑ Rathjen, Michael; Sieg, Wilfried (2024), Zalta, Edward N.; Nodelman, Uri, eds., "Proof Theory", The Stanford Encyclopedia of Philosophy (Metaphysics Research Lab, Stanford University), https://plato.stanford.edu/archives/win2024/entries/proof-theory/, retrieved 2026-08-12
 |  |
