Timeline for Why are mathematical proofs so hard?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 7, 2020 at 14:32 | comment | added | J.G. | @Yakk Then I'll respond to the non-joke part: you can't prove theorems just through satisficing. | |
| Aug 7, 2020 at 13:31 | comment | added | Yakk | I don't see why it would be harder than Go. ;) (that is a bit of a joke, but only a bit of one) | |
| Aug 7, 2020 at 13:27 | comment | added | J.G. | @Yakk Laudable efforts I hope continue to yield fruit. They work well for proving certain kinds of theorem, as dictated by the "book" you give them. But new results, even if they have reasonably short proofs (as they sometimes do), are beyond such software for now. That's why mathematicians still have to think so much. Unfortunately, making the book big enough to prove every known result is a double-edged sword, as it forces the computer to consider far more options. | |
| Aug 7, 2020 at 13:18 | comment | added | Yakk | Automated proof writers do exist, and proof writing aids as well. Tools that let you write out an informal "human" proof and help fill in gaps between your statements with fully formal provable steps. If I remember right, much of it involves pattern matching (basically, "books" of techniques). | |
| Aug 6, 2020 at 16:10 | review | First posts | |||
| Aug 7, 2020 at 4:46 | |||||
| Aug 6, 2020 at 16:05 | history | answered | J.G. | CC BY-SA 4.0 |