What is a Proof?
| LEADER | caa a22 4500 | ||
|---|---|---|---|
| 001 | 605475148 | ||
| 003 | CHVBK | ||
| 005 | 20210128100350.0 | ||
| 007 | cr unu---uuuuu | ||
| 008 | 210128e20150301xx s 000 0 eng | ||
| 024 | 7 | 0 | |a 10.1007/s10516-014-9252-9 |2 doi |
| 035 | |a (NATIONALLICENCE)springer-10.1007/s10516-014-9252-9 | ||
| 100 | 1 | |a Kahle |D Reinhard |u CENTRIA, CMA, and DM, FCT, Universidade Nova de Lisboa, 2829-516, Caparica, Portugal |4 aut | |
| 245 | 1 | 0 | |a What is a Proof? |h [Elektronische Daten] |c [Reinhard Kahle] |
| 520 | 3 | |a 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”. | |
| 540 | |a Springer Science+Business Media Dordrecht, 2014 | ||
| 690 | 7 | |a Proof |2 nationallicence | |
| 690 | 7 | |a Mathematical proof |2 nationallicence | |
| 690 | 7 | |a Computer-assisted proof |2 nationallicence | |
| 690 | 7 | |a Big proofs |2 nationallicence | |
| 773 | 0 | |t Axiomathes |d Springer Netherlands |g 25/1(2015-03-01), 79-91 |x 1122-1151 |q 25:1<79 |1 2015 |2 25 |o 10516 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/s10516-014-9252-9 |q text/html |z Onlinezugriff via DOI |
| 898 | |a BK010053 |b XK010053 |c XK010000 | ||
| 900 | 7 | |a Metadata rights reserved |b Springer special CC-BY-NC licence |2 nationallicence | |
| 908 | |D 1 |a research-article |2 jats | ||
| 949 | |B NATIONALLICENCE |F NATIONALLICENCE |b NL-springer | ||
| 950 | |B NATIONALLICENCE |P 856 |E 40 |u https://doi.org/10.1007/s10516-014-9252-9 |q text/html |z Onlinezugriff via DOI | ||
| 950 | |B NATIONALLICENCE |P 100 |E 1- |a Kahle |D Reinhard |u CENTRIA, CMA, and DM, FCT, Universidade Nova de Lisboa, 2829-516, Caparica, Portugal |4 aut | ||
| 950 | |B NATIONALLICENCE |P 773 |E 0- |t Axiomathes |d Springer Netherlands |g 25/1(2015-03-01), 79-91 |x 1122-1151 |q 25:1<79 |1 2015 |2 25 |o 10516 | ||