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)