Logic List Mailing Archive

Doubts about the Okamoto-Kashima claim of the unprovability of P neq NP in PA