The Art of Proof
| Autor: | Regula Krapf, Lorenz Halbeisen |
|---|---|
| Rok vydání: | 2020 |
| Předmět: | |
| Zdroj: | Gödel's Theorems and Zermelo's Axioms ISBN: 9783030522780 |
| DOI: | 10.1007/978-3-030-52279-7_2 |
| Popis: | In Example 1.2 we gave a proof of 1 + 1 = 2 in 17 (!) proof steps. At that point you may have asked yourself: If it takes that much effort to prove such a simple statement, how can one ever prove any non-trivial mathematical result using formal proofs? This objection is of course justified; however, we will show in this chapter how one can simplify formal proofs using some methods of proof such as proofs by cases or by contradiction. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|