Proof and Knowledge in Mathematics

Distinguished contributors tackle the main problem that arizes when considering an epistemology for mathematics, the nature and sources of mathematical justification.

---

These questions arise from any attempt to discover an epistemology for mathematics. This collection of essays considers various questions concerning the nature of justification in mathematics and possible sources of that justification. Among these are the question of whether mathematical justification is a priori or a posteriori in character, whether logical and mathematical differ, and if formalization plays a significant role in mathematical justification,