But for sheer intellectual surprise, and alarming insight, it is hard to think of any result that would approach the famous incompleteness theorem of Kurt Gödel. In 1900, when David Hilbert ...
PAKHOMOV, FEDOR and WALSH, JAMES 2021. REFLECTION RANKS AND ORDINAL ANALYSIS. The Journal of Symbolic Logic, Vol. 86, Issue. 4, p. 1350. CHENG, YONG 2021. CURRENT ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback