Re:The Remarkable Number 1/89 (2004)
by DeusExMachina on Thursday October 29, 2020 @10:33AM
(#24930844)
This is not a paradox though, as your copy and paste states. It's just a theorem (as you stated) with a proof by contradiction. A paradox must be self-contradictory under all circumstances.
[ Parent
| on HN ]
It is a paradox. It assumes you have a definition of uninteresting number such that you can select the least uninteresting number, and then retroactively defines that number to be interesting by brand new criteria, which contradicts that you would have ever selected it in the first place. Thus the axioms invoked are mutually contradictory: the axioms that allow you to identify the least uninteresting number, and the axioms you invoke to declare it interesting are in conflict.