Timeline for What are some interesting applications/corollaries of Kleene's Recursion theorem?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 7, 2023 at 23:24 | comment | added | Joel David Hamkins | That is exactly right. | |
| Jan 6, 2023 at 16:20 | comment | added | H.C Manu | I was familiar with Rice's theorem but I like the comment you made at the end about an interpretation of it. It's a kind of "no free lunch theorem" for programs/computable functions in that there is no way to extract relevant infromation about them in a computable way by using some meta-program looking at the said programs/functions. | |
| Jan 6, 2023 at 11:57 | history | answered | Joel David Hamkins | CC BY-SA 4.0 |