Timeline for Are there non-constructive algorithm existence proofs?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:48 | history | edited | CommunityBot |
replaced http://cs.stackexchange.com/ with https://cs.stackexchange.com/
|
|
| Aug 11, 2012 at 22:45 | comment | added | Kaveh | I think the example is similar to the one I gave. Note that when we are saying it is not-constructive we are interpreting the word constructive as recursive/computable which is one of the schools in constructivism. | |
| Aug 11, 2012 at 20:05 | comment | added | David Eppstein | Cute. But the practical value of this may be less questionable than you think: this is a decision version of the problem of finding the shortest program with a given output, i.e. optimal data compression. | |
| Aug 11, 2012 at 20:01 | history | answered | Artem Kaznatcheev♦ | CC BY-SA 3.0 |