If I recall, the point is that if you have a record player that can play _every ... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

gota on July 5, 2018 | parent | context | favorite | on: Why I Don't Love Gödel, Escher, Bach

If I recall, the point is that if you have a record player that can play _every record_, then it can play _a record that breaks it_.

I think the piece's statement is supposed to relate to the "enumerating all deductions" bit of the Godel-numbering

cowpig on July 5, 2018 [–]

The author also wrongly asserts that this metaphor is supposed to illuminate the incompleteness theorem when really it's just teasing some ideas that he explains in more detail later in the book.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact