1001コメント525KB

数学基礎論・数理論理学　その13

■ このスレッドは過去ログ倉庫に格納されています

0341１３２人目の素数さん

2012/08/11(土) 21:36:23.19

算術からP≠NPが証明されるならば、ZFCからP≠NPが証明される。
これの対偶をとる

■ このスレッドは過去ログ倉庫に格納されています