Timeline for Is formal proof (formalized mathematics) interesting to practicing mathematicians? To educators? [closed]
Current License: CC BY-SA 2.5
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 27, 2021 at 21:05 | history | made wiki | Post Made Community Wiki by Stefan Kohl♦ | ||
| Nov 10, 2009 at 15:02 | comment | added | Anton Geraschenko | I agree with Scott closing this question. It's a very interesting question, but it's a discussion question, not a question that has a definite answer. As an artifact of being really good for very focused to-the-point questions, MO is really bad for discussions. Discussions should really happen on a blog or a threaded discussion forum, not MO, where the answers get rearranged and the comments are limited to 600 characters. See tea.mathoverflow.net/discussion/21#Item_3 for more of my thoughts. If you have some thoughts on this, please post on that meta.MO thread. | |
| Nov 10, 2009 at 12:19 | comment | added | Gil Kalai | This is a fairly interesting question. There are many questions with no definite answers (like what is the most harmful heuristic) and I do not see the reason to close it. | |
| Nov 10, 2009 at 7:59 | comment | added | Kim Morrison | This seems to be a question without a definitive answer, and in particular requires discussion. As such, it's not appropriate at MO, per the FAQ. I'm actually not certain I'm following consensus to close here, so I've also flagged for other moderators to consider. | |
| Nov 10, 2009 at 7:58 | history | closed | Kim Morrison | not a real question | |
| Nov 10, 2009 at 0:00 | answer | added | Peter Arndt | timeline score: 12 | |
| Nov 9, 2009 at 19:40 | answer | added | Kristal Cantwell | timeline score: 1 | |
| Nov 9, 2009 at 19:28 | answer | added | David Lehavi | timeline score: 1 | |
| Nov 9, 2009 at 18:57 | history | asked | compguy | CC BY-SA 2.5 |