4 ms·
> Can there be an "infinitely large integer?" What could that even mean? Aren't integers all defined as Succ^n(x) for a finite n and a base x?
by gowld 5y ago
> Can there be an "infinitely large integer?"
What could that even mean? Aren't integers all defined as Succ^n(x) for a finite n and a base x?