Jump to content

Talk:Buchholz psi functions

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

Non-unique normal form

[edit]

According to the definition in the article, both and are in normal form, while they both are equal to . This is obviously wrong, the normal form should be unique. Janek37 (talk) 20:22, 12 May 2019 (UTC)[reply]

Fixed Schütte's name

[edit]

"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]