2 Citations (Scopus)


In this programmatic paper we renew the well-known question “What is a proof?”. Starting from the challenge of the mathematical community by computer assisted theorem provers we discuss in the first part how the experiences from examinations of proofs can help to sharpen the question. In the second part we have a look to the new challenge given by “big proofs”.

Original languageEnglish
Pages (from-to)79-91
Number of pages13
Issue number1(SI)
Publication statusPublished - Mar 2015


  • Big proofs
  • Computer-assisted proof
  • Mathematical proof
  • Proof

Fingerprint Dive into the research topics of 'What is a Proof?'. Together they form a unique fingerprint.

Cite this