Talk:Buchholz psi functions
Appearance
![]() | This page was proposed for deletion by an editor in the past. |
![]() | This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
|
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)
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)