Klarinet Archive - Posting 000277.txt from 2009/02

From: "Bill Daniluk" <bdaniluk@-----.net>
Subj: RE: [kl] Fair Use
Date: Thu, 12 Feb 2009 10:20:04 -0500

Really? At Harvard, do they teach you that "adjudicate" and "legislate" are
synonymous?
BD

-----Original Message-----
From: Alexander Brash [mailto:brash@-----.edu]
Sent: Wednesday, February 11, 2009 10:03 PM
To: klarinet@-----.org
Subject: Re: [kl] Fair Use

Yikes! I'm sure I'm getting a reputation for being Jonathan's lapdog, but
seriously, the guy has a Physics degree from Harvard, trust me he doesn't
need you to derive DeMorgan's laws for him.....

On Feb 11, 2009, at 10:49 PM, Michael Nichols wrote:

> Truth and provability are not one and the same.
> Ever heard of Goedel's Incompleteness Theorem?

Which has nothing to do with the matter at hand - you're simply trying to
show off?

The incompleteness theorem simply states that any sufficiently power system
will contain true statements that cannot be axiomatically proven from that
system. The typical way to do this is to construct a "Goedelian sentence":

G = "G is not a theorem" under some system A, which is no different really
than Captain Kirk foiling the android in chief with "everything i say is a
lie....i am lying"

See, I can read the GEB too!

Which obviously has absolutely nothing to do with the discussion at
hand....why bring it up?

------------------------------------------------------------------
The 2009 Woodwind.Org Donation Drive is going on right now - see
https://secure.donax-us.com/donation/ for more information.
------------------------------------------------------------------
klarinet-owner@-----.org

------------------------------------------------------------------
The 2009 Woodwind.Org Donation Drive is going on right now - see
https://secure.donax-us.com/donation/ for more information.
------------------------------------------------------------------

   
     Copyright © Woodwind.Org, Inc. All Rights Reserved    Privacy Policy    Contact charette@woodwind.org