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 | |
|---|---|---|---|---|---|
| Aug 7 at 22:02 | comment | added | Joel David Hamkins | @Weier The keyword is "computable analysis" and you will find good stuff. | |
| Aug 7 at 22:01 | comment | added | Weier | What reference would you recommend regarding your last paragraph and how computable real numbers and operations on them are defined and used? | |
| Jan 6, 2023 at 3:37 | comment | added | Robert Furber | @SamSanders In Turing's correction (starting on the middle of the second page) he does not attribute the pointing out of the error to Brouwer, although he mentions the law of the excluded middle, and, in a footnote, Brouwer's work on the reals. The only person to whom he gives credit for pointing out errors is Paul Bernays. | |
| Jan 5, 2023 at 17:52 | comment | added | Sam Sanders | It should be noted that it was LEJ Brouwer who pointed out the error (and correction?). | |
| Jan 5, 2023 at 16:02 | comment | added | Joel David Hamkins | He had some errors in the details of his definition of the universal machine. Perhaps it amounts to some bugs in the first theoretical account of programming! He published corrections in 1937. See doi.org/10.1093/oso/9780198250791.003.0006 | |
| Jan 5, 2023 at 15:50 | comment | added | H.C Manu | Speaking of which, were there other interesting errors like this one in the original paper? | |
| Jan 5, 2023 at 15:37 | comment | added | Joel David Hamkins | He published a correction to this and several other issues in his paper, when the issues were brought to light. | |
| Jan 5, 2023 at 15:35 | comment | added | H.C Manu | I had no idea that Turing had a wrong conception of computable number until now, very interesting stuff. | |
| Jan 5, 2023 at 14:30 | history | edited | Joel David Hamkins | CC BY-SA 4.0 |
deleted 1 character in body
|
| Jan 5, 2023 at 14:25 | history | edited | Joel David Hamkins | CC BY-SA 4.0 |
added 596 characters in body
|
| Jan 5, 2023 at 14:11 | history | answered | Joel David Hamkins | CC BY-SA 4.0 |