巨大数探索スレッド15

[0504 １３２人目の素数さん 2020/02/13(木) 22:04:37.76 ID:UgFgHRwl]

ZFから停止性を証明できないアルゴリズムA,B
ZF＋ACからAの停止性、Bの非停止性を証明可能
ZF＋¬ACからAの非停止性、Bの停止性を証明可能
ZFは無矛盾としておく