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

From: Tom (tb.31123.nospam_at_comcast.net)
Date: 11/30/03

  • Next message: Ross Boylan: "APT::Default-Release doesn't seem to affect upgrades" 
    Date: Sun, 30 Nov 2003 00:00:05 -0800
To: debian-user@lists.debian.org

    On Sat, Nov 29, 2003 at 11:19:37PM -0800, Alvin Oga wrote:
    > and you weren't in it for the $$$ ??
    > (just that bugs and exploits exists? )

    When I learned about Godel's work I really freaked out.

    When I learned there are certain true statements which are not
    expressible by manipulation of symbols, and that in any sufficiently
    complex formal system there are no guarantees it won't grind out
    falsehoods, I started to see it's applicabiity everywhere around me.

    (It doesn't say there are no true statements.)

    Everything that happens in all aspects of life makes so much more sense
    to me once you start from that point. Lots of unexpected events to me
    are truths that weren't expressible in somebody's system of belief.

    (Again, it doesn't say that there are no true statements.)

    I've been waiting for somebody to get rid of the Axiom of Choice. A
    math prof at Stanford told me they came very close with the Lambda
    calculus and Lisp to getting past the issues I'm worried about, but I
    don't think they've nailed it yet.

    Once somebody disproves Godel I will rest easy... 

    -- 
To UNSUBSCRIBE, email to debian-user-request@lists.debian.org 
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
  • Next message: Ross Boylan: "APT::Default-Release doesn't seem to affect upgrades"