Wenn die Vermutung oder P ≠ N P gesetzt ist (z. B. vom Clay Mathematical Institute von S. Cook, siehe hier ), welches mathematische axiomatische System wird angenommen?
Um solche Aussagen zu beweisen oder zu widerlegen, müssen Sie einige Axiome annehmen. Welche? Nur die Peano-Arithmetik (2. Sprache)? Die Zermelo-Fraenkel-Mengenlehre mit dem Axiom der Wahl? Kleinere axiomatische Mengen-Theorien (zB Gödels konstruierbare Mengen, wo auch die Kontinuumshypothese gilt, siehe hier )?
Offensichtlich sollte es eine axiomatische Theorie sein, die das zählbare Unendliche akzeptiert. Aber welche im Besonderen? Gibt es ein veröffentlichtes Ergebnis, das sie in einer bestimmten axiomatischen Mengenlehre als konsistent erweisen würde? (Mit anderen Worten, Definieren eines Modells, in dem es wahr ist, aber nicht behauptet, in allen Modellen wahr zu sein).
quelle
Antworten:
Es ist nicht angegeben. Wenn es genügend Kandidatenpapiere gibt, die vorgeben, P ≟ NP zu lösen, wird ein Sonderbeirat gebildet, der entscheidet, ob (und an wen) der Preis vergeben wird. Ich gehe davon aus, dass der Sonderbeirat entscheiden wird, ob Ihr Axiomensystem akzeptabel ist. Wenn Sie ZF mit Wahl annehmen, garantiere ich Ihnen, dass sie es nehmen werden. Wenn Sie P ≠ NP als Axiom annehmen, garantiere ich Ihnen, dass dies nicht der Fall ist.
quelle