Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Informal versus formal mathematics

Informal versus formal mathematics 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. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Synthese Springer Journals

Informal versus formal mathematics

Synthese , Volume 154 (3) – Jan 25, 2007

Loading next page...
 
/lp/springer-journals/informal-versus-formal-mathematics-Lt0iy0O003

References (58)

Publisher
Springer Journals
Copyright
Copyright © 2007 by Springer Science+Business Media, Inc.
Subject
Philosophy; Philosophy of Science; Epistemology; Logic; Philosophy of Language; Metaphysics
ISSN
0039-7857
eISSN
1573-0964
DOI
10.1007/s11229-006-9126-9
Publisher site
See Article on Publisher Site

Abstract

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.

Journal

SyntheseSpringer Journals

Published: Jan 25, 2007

There are no references for this article.