Timeline for Why can't proofs have infinitely many steps?
Current License: CC BY-SA 2.5
17 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 24 at 16:16 | vote | accept | David Corwin | ||
| Nov 30, 2012 at 5:03 | comment | added | David Corwin | @Pietro: No wonder there wasn't enough room to fit it in the margin... | |
| Jun 23, 2012 at 21:05 | answer | added | Andrej Bauer | timeline score: 6 | |
| Jun 23, 2012 at 12:15 | comment | added | Zsbán Ambrus | @Pietro: another variation is when instead of publishing the proof, you present it on a lecture. You keep telling the cases until everyone present is either sleeping or gone, when you conclude the proof. | |
| Jun 23, 2012 at 11:40 | comment | added | Angelo | To Pietro: no problem, you split the proof in infinitely many papers. | |
| Aug 29, 2010 at 23:04 | comment | added | Mike Hall | Another thing that would be "fixed" by proofs with infinitely many steps: The existence of polynomials in several variables such that it is undecidable whether they have an integer root (cf mathoverflow.net/questions/32892/…), which seems absurd. It "should" be possible to just check all points in $\mathbf{Z}^n$, and either find a root or don't, but logic says no. | |
| Aug 29, 2010 at 22:43 | answer | added | Christoph-Simon Senjak | timeline score: 5 | |
| Aug 29, 2010 at 20:26 | comment | added | Pietro Majer | In principle why not; but the problems will start when you try to submit it. I tell you, nobody will publish infinitely many pages. | |
| Aug 29, 2010 at 20:15 | comment | added | Theo Johnson-Freyd | I object to your "proof" of FLT: you have not convinced me that every step in your proof is valid (or rather, I know it to be valid because I trust the peer-review system enough to believe that FLT is true, but if this is what your proof rests on, then it does not illustrate your discussion). | |
| Aug 29, 2010 at 19:52 | answer | added | John Stillwell | timeline score: 15 | |
| Aug 29, 2010 at 18:54 | answer | added | Andreas Blass | timeline score: 47 | |
| Aug 29, 2010 at 18:19 | answer | added | Stefan Geschke | timeline score: 7 | |
| Aug 29, 2010 at 18:02 | comment | added | David Corwin | @Eric: You were right. | |
| Aug 29, 2010 at 18:01 | history | edited | David Corwin | CC BY-SA 2.5 |
deleted 1933 characters in body
|
| Aug 29, 2010 at 18:00 | answer | added | Richard Borcherds | timeline score: 35 | |
| Aug 29, 2010 at 17:56 | comment | added | Eric Tressler | I think something has gone wrong with copy/paste here. | |
| Aug 29, 2010 at 17:42 | history | asked | David Corwin | CC BY-SA 2.5 |