Timeline for The connections between Kolmogorov complexity and mathematical logic
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 28, 2020 at 15:11 | comment | added | Jori | Thank-you for your answer. So before Chaitin's work in '71, were there any significant applications of KC to mathematical logic that you are aware of? | |
| Aug 18, 2020 at 4:03 | history | bounty ended | CommunityBot | ||
| Aug 10, 2020 at 10:01 | history | edited | Carlo Beenakker | CC BY-SA 4.0 |
added 515 characters in body
|
| Aug 10, 2020 at 9:54 | history | edited | Carlo Beenakker | CC BY-SA 4.0 |
added 515 characters in body
|
| Aug 10, 2020 at 9:41 | history | edited | Carlo Beenakker | CC BY-SA 4.0 |
added 490 characters in body
|
| Aug 10, 2020 at 9:30 | history | answered | Carlo Beenakker | CC BY-SA 4.0 |