Timeline for What is the relationship between Turing Machines and Gödel's Incompleteness Theorem?
Current License: CC BY-SA 3.0
6 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Jan 6, 2016 at 7:22 | vote | accept | Symeof | ||
Dec 30, 2015 at 21:33 | comment | added | Thorbjørn Ravn Andersen | Turing machines can be numbered according to their representation for a Universal Turing Machine. | |
Dec 30, 2015 at 13:45 | answer | added | Joel David Hamkins | timeline score: 24 | |
Dec 30, 2015 at 13:39 | comment | added | Burak | You might want to read this MO post. | |
Dec 30, 2015 at 13:31 | review | First posts | |||
Dec 30, 2015 at 14:06 | |||||
Dec 30, 2015 at 13:27 | history | asked | Symeof | CC BY-SA 3.0 |