3 ms·
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-contradic
by DeusExMachina 6y ago
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.
- phizy 6y agoIt 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.