Talk:Buchholz psi functions

Mathematics Start‑class Low‑priority

	Mathematics portal This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics
Start	This article has been rated as Start-class on Wikipedia's content assessment scale.
Low	This article has been rated as Low-priority on the project's priority scale.

This page was proposed for deletion by an editor in the past.

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)[reply]

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.