Timeline for Instances where an existence result precedes the constructive version
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 20, 2012 at 17:24 | comment | added | user642796 | Didn't Hilbert himself produce a constructive proof a few years after his non-constructive one? | |
| Aug 19, 2012 at 20:30 | history | answered | Ken W. Smith | CC BY-SA 3.0 |