Timeline for Is Kolmogorov complexity (KC) relevant for proof theory?
Current License: CC BY-SA 3.0
4 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/
|
|
| Jan 25, 2014 at 9:07 | history | edited | Sam Nead | CC BY-SA 3.0 |
added link to Cohn's answer where he previously made this observation.
|
| Jan 24, 2014 at 19:59 | history | edited | Sam Nead | CC BY-SA 3.0 |
added 3 characters in body
|
| Jan 24, 2014 at 19:50 | history | answered | Sam Nead | CC BY-SA 3.0 |