There is not a biggest natural number that you can actually write down in thirty seconds—that’s equivalent to Berry’s paradox.
Huh? Just start writing. The rule wasn’t “the number you can define in 30 seconds”, but simply “the number you can write down in 30 seconds”. Like the number of strawberries you can eat in 30 seconds, no paradox there!
I was reading “write down” more generally than “write down each digit of in base ten,” but I guess that’s not how you meant it.
There is not a biggest natural number that you can actually write down in thirty seconds—that’s equivalent to Berry’s paradox.
Huh? Just start writing. The rule wasn’t “the number you can define in 30 seconds”, but simply “the number you can write down in 30 seconds”. Like the number of strawberries you can eat in 30 seconds, no paradox there!
I was reading “write down” more generally than “write down each digit of in base ten,” but I guess that’s not how you meant it.