3 ms·
I'll wager $200, but first I need to know the odds offered. Also, I will want my payment even if you can prove that $5 == $200 (1 to 1 odds assumed) if Peano ar
by 3pt14159 15y ago
I'll wager $200, but first I need to know the odds offered. Also, I will want my payment even if you can prove that $5 == $200 (1 to 1 odds assumed) if Peano arithmetic is inconsistent.
- VladRussian 15y agobasically you want consistent system embedding formal proof of Peano arithmetic inconsistency.