Timeline for Can you prove equivalence without being able to calculate it?
Current License: CC BY-SA 2.5
4 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Sep 11, 2021 at 19:39 | history | made wiki | Post Made Community Wiki by Stefan Kohl♦ | ||
Jan 9, 2010 at 10:56 | comment | added | Matthew Daws | I like this example! Because, Pelczynski's proof is not actually non-constructive in a formal sense. It's just "morally" non-constructive, which I think is very much in the spirit of the original question. | |
Jan 9, 2010 at 10:53 | history | edited | Philip Brooker | CC BY-SA 2.5 |
Added reference to Pelczynski
|
Jan 9, 2010 at 10:45 | history | answered | Philip Brooker | CC BY-SA 2.5 |