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 (32)
Computer Proof (27)
Material to categorize
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
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