From ... From: Erik Naggum Subject: Re: returning from a function (Ex: Re: some small proposed changes to standard) Date: 1999/07/27 Message-ID: <3142057178277430@naggum.no>#1/1 X-Deja-AN: 505718677 References: <199907210420.VAA04718@pacific> <7njrck$60a4d@fido.engr.sgi.com> mail-copies-to: never Organization: Naggum Software; +47 8800 8879; http://www.naggum.no Newsgroups: comp.lang.lisp * rpw3@rigden.engr.sgi.com (Rob Warnock) | While it is certainly possible to create an editor that guarantees | that an initially valid SGML document remains valid after every | subsequent allowed editing step, Godel's Proof suggests that there | will always be some valid SGML documents which it is impossible | to create using such an editor. in what way is a mathematical proof a _process_ that resembles editing? Gödel's Incompleteness Theorem isn't a trivial statement of a problem with all sorts of complex systems. is very carefully constrained to say something about proofs _inside_ a complex system. it is possible to prove any mathematical theorem, but you might have to add something from outside the system to accomplish it. the incompleteness theorem states, as far as I have understood it, that no system is able to prove all its true statements within itself. I find that intuitively evident, because "truth" is already a concept that is not contained fully by the system. of course, I live in a post-Gödel time and lots of stuff that was very far from intuitively evident at the time is intuitively evident today, thanks in to the trailblazing efforts of geniuses past. however, Gödel's Incompleteness theorem is perhaps the single most mis-popularized theorem from mathematics there is, probably because people still believe in the pre-Gödel idea that truth is contained by a system, such as and especially religions. the above statement from Rob Warnock sounds like New Age flirting with quantum physics to me. it sounds profound because what it flirts with is profound, while it's really just unfounded and confused opinion. in other words: I'd really like to see some evidence that there exists a valid string in a regular syntax that cannot be produced by the grammar. #:Erik -- suppose we blasted all politicians into space. would the SETI project find even one of them?