Timeline for An example of a proof that is explanatory but not beautiful? (or vice versa)
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 24, 2013 at 16:04 | comment | added | Ryan Reich | Not sure I agree. The former proof is mysteriously elegant and doesn't at all reveal the nature of the model of the infinitely many sentences. So it's not really explanatory at all; conversely, isn't mysteriousness beautiful? | |
| S Jul 24, 2013 at 13:31 | history | answered | Benjamin Steinberg | CC BY-SA 3.0 | |
| S Jul 24, 2013 at 13:31 | history | made wiki | Post Made Community Wiki by Benjamin Steinberg |