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 [EMAIL PROTECTED] Jabootu's Minister of Proofreading http://www.jabootu.com -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
