tag:blogger.com,1999:blog-5880610.post8384689533989040112..comments2016-12-05T22:39:48.358-05:00Comments on Information Processing: Godel's proof, compressedSteve Hsuhttp://www.blogger.com/profile/02428333897272913660noreply@blogger.comBlogger7125tag:blogger.com,1999:blog-5880610.post-20400652097025034322011-12-01T12:48:15.060-05:002011-12-01T12:48:15.060-05:00Brings to mind George Boolos's "Gödel'...Brings to mind George Boolos's "Gödel's second incompleteness theorem explained in words of one syllable," Mind 103: 1-3 (1994).<br /><br />www2.kenyon.edu/Depts/Math/Milnikel/boolos-godel.pdfGraeme Woodnoreply@blogger.comtag:blogger.com,1999:blog-5880610.post-42532332933634061102011-11-25T10:16:17.951-05:002011-11-25T10:16:17.951-05:00Are you saying that Gödel's proof is more than...Are you saying that Gödel's proof is more than observing that if you try to pull out the rug on which you are standing you will fall flat on your nose? Is his proof more significant than or equivalent to the halting problem in CS?silkophttp://cleeray.myopenid.com/noreply@blogger.comtag:blogger.com,1999:blog-5880610.post-22071384332483864632011-11-24T02:11:12.875-05:002011-11-24T02:11:12.875-05:00That sentence is not in the language: it isn't...That sentence is not in the language: it isn't <a href="http://en.wikipedia.org/wiki/Well-formed_formula" rel="nofollow">well-formed</a>.<br /><br />It's worth explicitly pointing out that the proof requires that a "NPR*x" construction exists in the language. Much of Godel's proof involves the technical details of this construction (in languages powerful enough to express Christopher Changhttp://www.facebook.com/profile.php?id=723726480noreply@blogger.comtag:blogger.com,1999:blog-5880610.post-69791683219787347512011-11-23T22:11:36.596-05:002011-11-23T22:11:36.596-05:00This is Godel's theorem in the language of the...This is Godel's theorem in the language of the theory of computation. In the language of mathematical logic the theorem holds only for first order quantification. If quantification over sets is permitted elementary number theory is complete.MtMorunoreply@blogger.comtag:blogger.com,1999:blog-5880610.post-22732567679653186472011-11-23T20:51:00.281-05:002011-11-23T20:51:00.281-05:00Well, I'm no logician, but is it necessarily t...Well, I'm no logician, but is it necessarily the case that a given sentence need be true or false? Consider the sentence "Purple dinner vertical bloog-bloog"---is it true or false? And if we accept the existence of meaningless or indeterminant sentences, does that not eliminate the paradox?RKU1noreply@blogger.comtag:blogger.com,1999:blog-5880610.post-26760022932917739552011-11-23T20:37:01.694-05:002011-11-23T20:37:01.694-05:00Hawking made an interesting comment in a speech I ...Hawking made an interesting comment in a speech I found on the internet. Since this is not my field, I'm not weighing in with an opinion on its merits: " Instead, we and our models, are both part of the universe we are describing. Thus a physical theory, is self referencing, like in Gödel’s theorem. One might therefore expect it to be either inconsistent, or incomplete. The theories we Justin Loehttp://profiles.google.com/justinloenoreply@blogger.comtag:blogger.com,1999:blog-5880610.post-40583222495431618242011-11-23T19:53:28.264-05:002011-11-23T19:53:28.264-05:00In other news, the sentence "this is not a tr...In other news, the sentence "this is not a true sentence" seems neither true nor false, but it has to be. A mathematician's mind boggles and experiences some sort of awe and revelation while everyone else shrugs off the self-referential silliness and goes on about their business.silkophttp://cleeray.myopenid.com/noreply@blogger.com