Timeline for Is formal proof (formalized mathematics) interesting to practicing mathematicians? To educators?
Current License: CC BY-SA 2.5
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 27, 2021 at 21:05 | history | made wiki | Post Made Community Wiki by Stefan Kohl♦ | ||
| Mar 27, 2015 at 13:35 | comment | added | cody | I did look at the date! I believe that anything I'm saying was already true in 2010. See e.g. all this nice work. | |
| Mar 27, 2015 at 10:26 | comment | added | David Lehavi | @cody - next time look at the date of what you are responding to (or down-voting) | |
| Mar 24, 2015 at 16:24 | comment | added | cody | These points are all patently false: Mizar is by all standards an archaic language that has been vastly improved upon, there are quite nice formalized theorem databases in most mature interactive theorem provers and proof automation is already quite sophisticated (but not as much as mathematicians would like, of course). | |
| Nov 9, 2009 at 19:28 | history | answered | David Lehavi | CC BY-SA 2.5 |