Re: Godel [was Re: qmail Re: freebsd - Re: recommended Virus Scanner?]

From: Carl Fink (carl_at_fink.to)
Date: 11/30/03

  • Next message: Gregory K. Johnson: "Re: problem loading ide-scsi module" 
    Date: Sun, 30 Nov 2003 09:27:37 -0500
To: debian-user@lists.debian.org

    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 

    -- 
To UNSUBSCRIBE, email to debian-user-request@lists.debian.org 
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
  • Next message: Gregory K. Johnson: "Re: problem loading ide-scsi module"

    Relevant Pages