Re: Godel [was Re: qmail Re: freebsd - Re: recommended Virus Scanner?]
On Sun, Nov 30, 2003 at 12:00:05AM -0800, Tom wrote:
> ... that in any sufficiently complex formal system there are no guarantees
> it won't grind out falsehoods ...
But Goedel's Theorem actually says that in any formal system, there will be
true propositions that cannot be proved (without going outside the system).
Nothing I've seen about grinding out falsehoods.
--
Carl Fink carl@fink.to
Jabootu's Minister of Proofreading
http://www.jabootu.com
Reply to: