4 ms·
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 th
by drjesusphd 10y ago
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 http://waitbutwhy.com/2014/11/1000000-grahams-number.html