Repository | Journal | Volume | Articles
(2007) Synthese 154 (3).
We discuss Kunen’s algorithmic implementation of a proof for the Paris–Harrington theorem, and the author’s and da Costa’s proposed “exotic” formulation for the P = NP hypothesis. Out of those two examples we ponder the relation between mathematics within an axiomatic framework, and intuitive or informal mathematics.
Publication details
DOI: 10.1007/s11229-006-9126-9
Full citation:
Doria, F.A. (2007). Informal versus formal mathematics. Synthese 154 (3), pp. 401-415.
This document is unfortunately not available for download at the moment.