## e-mail message to the author

- M Stanley
- e-mail message to the author
- 2000

@inproceedings{Schindler2000ANO, title={A note on an alleged proof of the relative consistency of P = NP with PA}, author={R Schindler}, year={2000} }

- Published 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

0 Citations

2 References

Similar Papers

Showing 1-2 of 2 references