Timeline for What non-standard model of arithmetic does Hofstadter reference in GEB?
Current License: CC BY-SA 4.0
5 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Dec 23, 2023 at 2:54 | vote | accept | Dave Pritchard | ||
Sep 18, 2018 at 15:06 | comment | added | Timothy Chow | I would guess that Hofstadter just got the statement of Tennenbaum's theorem wrong. You could try writing to him. I have corresponded with Hofstadter a couple of times in the past, and found him to be surprisingly responsive for someone who is a minor celebrity. | |
Sep 18, 2018 at 8:00 | comment | added | Emil Jeřábek | This is totally bizarre. | |
Sep 18, 2018 at 7:33 | answer | added | Bjørn Kjos-Hanssen | timeline score: 10 | |
Sep 18, 2018 at 6:37 | history | asked | Dave Pritchard | CC BY-SA 4.0 |