J ul 2 00 0 A note on an alleged proof of the relative consistency of P = NP with PA

@inproceedings{Schindler2000JU2,
  title={J ul 2 00 0 A note on an alleged proof of the relative consistency of P = NP with PA},
  author={R Schindler},
  year={2000}
}
N.C.A. da Costa and F.A. Doria claim to have shown in [1] that P = NP is relatively consistent with PA. The purpose of the present note is to argue that there is a mistake in that paper. Specifically, we want to point out that Corollary 5.14 of [1] – which is used in the proof of their main result – is probably false. We are first going to reconstruct their argument. According to that reconstruction, the argument of [1] would in fact show that PA proves P = NP . We’ll then discuss Cor. 5.14 of… CONTINUE READING