caa a22 4500 605475148 CHVBK 20210128100350.0 cr unu---uuuuu 210128e20150301xx s 000 0 eng 10.1007/s10516-014-9252-9 doi (NATIONALLICENCE)springer-10.1007/s10516-014-9252-9 Kahle Reinhard CENTRIA, CMA, and DM, FCT, Universidade Nova de Lisboa, 2829-516, Caparica, Portugal aut What is a Proof? [Elektronische Daten] [Reinhard Kahle] 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”. Springer Science+Business Media Dordrecht, 2014 Proof nationallicence Mathematical proof nationallicence Computer-assisted proof nationallicence Big proofs nationallicence Axiomathes Springer Netherlands 25/1(2015-03-01), 79-91 1122-1151 25:1<79 2015 25 10516 https://doi.org/10.1007/s10516-014-9252-9 text/html Onlinezugriff via DOI BK010053 XK010053 XK010000 Metadata rights reserved Springer special CC-BY-NC licence nationallicence 1 research-article jats NATIONALLICENCE NATIONALLICENCE NL-springer NATIONALLICENCE 856 40 https://doi.org/10.1007/s10516-014-9252-9 text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Kahle Reinhard CENTRIA, CMA, and DM, FCT, Universidade Nova de Lisboa, 2829-516, Caparica, Portugal aut NATIONALLICENCE 773 0- Axiomathes Springer Netherlands 25/1(2015-03-01), 79-91 1122-1151 25:1<79 2015 25 10516