Talk:Buchholz psi functions

The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

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. — Preceding unsigned comment added by 2604:2000:F187:6000:68DB:4FFD:DEBA:8ECD (talk) 16:34, 4 May 2020 (UTC)[reply]