Gödel, Escher, Bach: An Eternal Golden Braid
A book about self-referentiality and the hidden abstract structures underlying the word ‘I’.
Gödel showed that provability is a weaker notion than truth.
I don’t see why you call them “defective”. It is simply an inherent fact about record players that they can’t do all that you might wish them to be able to do. But if there is a defect anywhere, is not in THEM, but in your expectations of what they should be able to do!
See also:
Gödel's Proof · 2001
· Ernest Nagel
When Einstein Walked with Gödel · 2018
· Jim Holt
Gödel's incompleteness theorems