Edited by Jordan Bohall (University of Illinois, Urbana-Champaign)
|Summary||Mathematical proof concerns itself with a demonstration that some theorem, lemma, corollary or claim is true. Proofs rely upon previously proven statements, logical inferences, and a specified syntax, which can usually trace back to underlying axioms and definitions. Many of the issues in this area concern the use of purely formal proof, informal proof, language, empirical methodologies, and everyday practice.|
Godel's Theorem (29)
Computer Proof (27)
Material to categorize
Using PhilPapers from home?
Click here to configure this browser for off-campus access.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers