For that purpose a better example is a computationally difficult statement, like “There are at least X twin primes below Y”. We could place bets, and then acquire more computing power, and then resolve bets.
The mathematical theory of statements like the twin primes conjecture should be essentially the same, but simpler.
For that purpose a better example is a computationally difficult statement, like “There are at least X twin primes below Y”. We could place bets, and then acquire more computing power, and then resolve bets.
The mathematical theory of statements like the twin primes conjecture should be essentially the same, but simpler.