Hacker News new | past | comments | ask | show | jobs | submit login

Graham's number comes from such an extension, and is about 64 such operations deeper. It's useful in the sense that it provides an upper bound for some proof that hasn't yet been proven for ALL numbers.

http://waitbutwhy.com/2014/11/1000000-grahams-number.html




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: