← Back to context

Comment by thaumasiotes

3 days ago

The hierarchy doesn't seem to work. The extremely weak conjecture is the Archimedean property, but I don't see how you prove it from "every number above 7 is the sum of two other numbers". That can be true even if there are only five numbers above 7.

Or in the other direction, if numbers stop at 3, that certainly won't falsify "every number above 7 is the sum of two other numbers". It will prove that it's true. And the extremely strong conjecture immediately proves that the extremely weak one is false.

The extremes are probably chosen only for their humor value, not for mathematical rigor.