Timeline for What are the most attractive Turing undecidable problems in mathematics?
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| Sep 12, 2016 at 13:07 | comment | added | HJRW | In that case, how about "Given a 5-manifold (as a simplicial complex, say), is it the 5-sphere?"? | |
| Mar 28, 2012 at 8:40 | history | answered | Will Sawin | CC BY-SA 3.0 |