Timeline for Instances where an existence result precedes the constructive version
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 4, 2012 at 5:39 | comment | added | Gerry Myerson | Indeed, we now have a construction for the regular $n$-gon for any Fermat prime $n$ - all we're lacking is the existence proof for Fermat primes exceeding 65537. | |
| Aug 20, 2012 at 7:29 | comment | added | Harry Altman | Hm, I was under the impression a construction was extractable from the original proof, even if it wasn't actually extracted (making this not really an answer to the original question). Is that mistaken? | |
| Aug 20, 2012 at 6:49 | history | answered | none | CC BY-SA 3.0 |