Timeline for What are some interesting applications/corollaries of Kleene's Recursion theorem?
Current License: CC BY-SA 4.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 6, 2023 at 11:57 | answer | added | Joel David Hamkins | timeline score: 7 | |
| Jan 6, 2023 at 11:39 | comment | added | Joel David Hamkins | Yes, I think that is a succint summary, with shades of Rice's theorem. | |
| Jan 6, 2023 at 8:39 | comment | added | H.C Manu | Oh nice, again and again the theorem comes out and shows that no program will ever know what all the other programs do just from reading some of it's tape. | |
| Jan 5, 2023 at 21:53 | comment | added | Joel David Hamkins | Here is a use of Kleene recursion on MO: mathoverflow.net/a/402641/1946 | |
| Jan 5, 2023 at 20:08 | history | became hot network question | |||
| Jan 5, 2023 at 18:16 | answer | added | Dan Turetsky | timeline score: 8 | |
| Jan 5, 2023 at 14:11 | answer | added | Joel David Hamkins | timeline score: 12 | |
| Jan 5, 2023 at 13:54 | answer | added | Joel David Hamkins | timeline score: 20 | |
| Jan 5, 2023 at 13:35 | answer | added | Carlo Beenakker | timeline score: 9 | |
| Jan 5, 2023 at 12:18 | history | edited | H.C Manu | CC BY-SA 4.0 |
added 1 character in body
|
| Jan 5, 2023 at 12:07 | history | asked | H.C Manu | CC BY-SA 4.0 |