Lojban
The Logical Language
Log in
Username:
Password:
I forgot my password |
CapsLock is on.
Log in
History: Goedel's Record Player
View page
Source of version: 1
(current)
Here is an analogy to Goedel's Theorem (any sufficiently strong arithmetical theory contains true theorems which have no proofs in the theory). It is due to [http://www.psych.indiana.edu/people/homepages/hofstadter.html|Douglas Hofstadter]. The better a ((record player)) is, the higher the fidelity with which it can reproduce recorded sound. It is known that for any mechanical apparatus, there is a particular pitch which will vibrate the apparatus destructively, so that (if the sound is loud enough) it will fall apart. It is therefore possible to create a record which will destroy the record player on which it is being played. As a result, there is no such thing as a record player which can play every record whatsoever. There are only two escapes from this paradox. One is to have a poor record player which cannot play some records. The other is to try to change the record player so that it will not fall apart, or if it does fall apart, will reassemble itself. Nevertheless, there is always some part which is critical to it, and which the creator of the malicious record will target with his noises. The analogy: * record -> true theorem * record player -> theory of arithmetic * playing of a record by a player -> proof of a theorem under a theory * poor record player -> weak theory of arithmetic * malicious record -> Goedel sentence
About
Introduction
What Others Say
FAQ
Learning
Books
Vocabulary
Lojbanic Software
Community
Web/Email Forums
IRC Chat
Links
News
Dictionary
Swag
Multimedia
Lojbanic Texts
Audio
Wiki
Recent Changes
Popular Pages
How To Edit
The LLG
Official Projects
Publications
Donate!
Contact Us
Search Lojban Resources