Talk:Buchholz psi functions

Non-unique normal form
According to the definition in the article, both $$\psi_0(\psi_1(0))$$ and $$\psi_0(\psi_0(\psi_1(0)))$$ are in normal form, while they both are equal to $$\varepsilon_0$$. This is obviously wrong, the normal form should be unique. Janek37 (talk) 20:22, 12 May 2019 (UTC)

Fixed Schütte's name
"Schiitte" and "Schtitte" are OCR errors for "Schütte". For evidence, search for "Ein Ordinalzahlensystem" in http://www.personal.psu.edu/t20/papers/nichtbeweisbarkeit-aml-1985.pdf and compare to the same reference on this page. — Preceding unsigned comment added by 2604:2000:F187:6000:68DB:4FFD:DEBA:8ECD (talk) 16:34, 4 May 2020 (UTC)