Klarinet Archive - Posting 000258.txt from 2009/02

From: Alexander Brash <brash@-----.edu>
Subj: Re: [kl] Fair Use
Date: Wed, 11 Feb 2009 23:03:04 -0500

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.
------------------------------------------------------------------