Timeline for Instances where an existence result precedes the constructive version
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 26, 2016 at 16:21 | history | edited | Alexandre Eremenko | CC BY-SA 3.0 |
edited body
|
| Aug 17, 2012 at 17:09 | comment | added | Vidit Nanda | You're quite right, I had mis-read. Apologies! | |
| Aug 15, 2012 at 21:46 | comment | added | Alexandre Eremenko | Is these a misprint in your message: did you mean to write "from a) to b)" in the first line? This is how I understood the original question: from a) to b) from non-constructive to constructive. Yes, I widened the scope:-) But the two examples I gave from my work are indeed related to a) and b). | |
| Aug 15, 2012 at 17:20 | comment | added | Vidit Nanda | Alexandre, this question is only about getting from a) to d). There are "literally hundreds of examples" because you have over-estimated the scope of the question. In particular, getting to stage c) is no guarantee whatsoever that stage d) will actually be reached and without that you are including all possible existence results for which no constructive version is known, rather than examples where the constructive version is known and came after many years. That being said, the K\'obe constant example sounds interesting and relevant. | |
| Aug 15, 2012 at 7:43 | history | edited | Alexandre Eremenko | CC BY-SA 3.0 |
added references
|
| Aug 15, 2012 at 7:08 | history | answered | Alexandre Eremenko | CC BY-SA 3.0 |