Computing with mathematical arguments

Jesse Alama, Reinhard Kahle

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review


Thanks to developments in the last few decades in mathematical logic and computer science, it has now become possible to formalize non-trivial mathematical proofs in essentially complete detail. we discuss the philosophical problems and prospects for such formalization enterprises. We show how some perennial philosophical topics and problems in epistemology, philosophy of science, and philosophy of mathematics can be seen in the practice of formalizing mathematical proofs.

Original languageEnglish
Title of host publicationNew Challenges to Philosophy of Science
EditorsH. Andersen, D. Dieks, W. Gonzalez, T. Uebel, G. Wheeler
Place of PublicationDordrecht
PublisherSpringer Netherlands
Number of pages14
ISBN (Electronic)978-94-007-5845-2
ISBN (Print)978-94-007-5844-5
Publication statusPublished - 1 Jan 2013


  • Epistemic justification
  • Formal proof
  • Inferentialism
  • Mathematics
  • Philosophy of mathematics

Fingerprint Dive into the research topics of 'Computing with mathematical arguments'. Together they form a unique fingerprint.

Cite this