Timeline for Is Turing degree actually useful in real life?
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 16, 2014 at 1:23 | vote | accept | CommunityBot | ||
| Feb 16, 2014 at 1:23 | |||||
| Feb 15, 2014 at 15:00 | comment | added | Noah Schweber | HJRW: I didn't mention that because I didn't know about it - that's fascinating! Can you point me to a good source on it? | |
| Feb 15, 2014 at 2:33 | history | made wiki | Post Made Community Wiki by Todd Trimble | ||
| Feb 14, 2014 at 23:26 | comment | added | François G. Dorais | @HJRW: After I saw it, I was actually expecting you to give a (group theory focused) answer to this question! | |
| Feb 14, 2014 at 22:08 | comment | added | HJRW | It seems a shame not to mention the ur-Nabutovsky--Weinberger theorem, I think actually due to Gromov, which uses the existence of groups with undecidable word problem to prove the existence of manifolds with infinitely many null-homotopic geodesics. Could there be a more surprising application of computability theory? | |
| Feb 14, 2014 at 21:42 | history | answered | Noah Schweber | CC BY-SA 3.0 |