Google Groups Home
Help | Sign in
Naturalizing Godel's incompleteness theorems
There are currently too many topics in this group that display first. To make this topic appear first, remove this option from another topic.
There was an error processing your request. Please try again.
flag
  5 messages - Collapse all
The group you are posting to is a Usenet group. Messages posted to this group will make your email address visible to anyone on the Internet.
Your reply message has not been sent.
Your post was successful
John Jones  
View profile
 More options Jul 3, 6:01 pm
Newsgroups: sci.logic
From: John Jones <jonescard...@aol.com>
Date: Thu, 03 Jul 2008 23:01:32 +0100
Local: Thurs, Jul 3 2008 6:01 pm
Subject: Naturalizing Godel's incompleteness theorems
Tired of waiting for a real-world description of Godel's ideas? If
you're like me, you will be getting more than a little peeved by
tripping the other-worldly round of concept-empty technicalese,,
theories, consistencies and the like.

So here's the first of what I hope will be, or should be, a range of
naturalized expositions of the essential Godellian Incompleteness Project:

1) Godel tells us that:
"A bucket of water can hold ten pints, but it can't hold the waters of
Niagra Falls."


    Reply    Reply to author    Forward  
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Peter_Smith  
View profile
 More options Jul 3, 7:03 pm
Newsgroups: sci.logic
From: Peter_Smith <ps...@cam.ac.uk>
Date: Thu, 3 Jul 2008 16:03:36 -0700 (PDT)
Local: Thurs, Jul 3 2008 7:03 pm
Subject: Re: Naturalizing Godel's incompleteness theorems
On Jul 3, 11:01 pm, John Jones <jonescard...@aol.com> wrote:

> Tired of waiting for a real-world description of Godel's ideas?

Nope, because there are plenty of "real-world descriptions", in some
excellent books at various level of difficulty.

We are perhaps getting a bit tired, though, of waiting for you grow up
and stop your tedious trolling.


    Reply    Reply to author    Forward  
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
John Jones  
View profile
 More options Jul 4, 5:33 am
Newsgroups: sci.logic
From: John Jones <jonescard...@aol.com>
Date: Fri, 04 Jul 2008 10:33:00 +0100
Subject: Re: Naturalizing Godel's incompleteness theorems

Peter_Smith wrote:
> On Jul 3, 11:01 pm, John Jones <jonescard...@aol.com> wrote:
>> Tired of waiting for a real-world description of Godel's ideas?

> Nope, because there are plenty of "real-world descriptions", in some
> excellent books at various level of difficulty.

> We are perhaps getting a bit tired, though, of waiting for you grow up
> and stop your tedious trolling.

The example I gave was a good one, and inspired. Perhaps you could use
it as a demonstration to others:

A bucket system is able to hold all waters (ten pints) defined by the
bucket system. All waters are the same; however, there are some waters
(Niagra Falls) that cannot be held by the bucket system.

Well? It's good isn't it. Perhaps a few tweaks here and there, but well
worth looking at.


    Reply    Reply to author    Forward  
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
ju...@diegidio.name  
View profile
 More options Jul 4, 4:37 pm
Newsgroups: sci.logic
From: ju...@diegidio.name
Date: Fri, 4 Jul 2008 13:37:13 -0700 (PDT)
Local: Fri, Jul 4 2008 4:37 pm
Subject: Re: Naturalizing Godel's incompleteness theorems
On 4 Jul, 10:33, John Jones <jonescard...@aol.com> wrote:

Let's give it a try: You are a Viagra Fall of stinky truisms and
trivial nonsense. Worth the trash bin.

-LV


    Reply    Reply to author    Forward  
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
ju...@diegidio.name  
View profile
 More options Jul 4, 5:00 pm
Newsgroups: sci.logic
From: ju...@diegidio.name
Date: Fri, 4 Jul 2008 14:00:12 -0700 (PDT)
Local: Fri, Jul 4 2008 5:00 pm
Subject: Re: Naturalizing Godel's incompleteness theorems
On 4 Jul, 21:37, ju...@diegidio.name wrote:

Now, let's look at this peculiar bucket, the trash bin: it grows and
grows and nobody can tell if ever will it stop growing. A bucket
system big enough to even hold all the Viagra Falls ever. A bucket
system so big that even a leaf would fit in it, and even a thousend
trees. The bucket system bigger than any bucket system one can even
think out. The bucket system of all bucket systems ever, no compromise
included and/or excluded inside within and outside. The trash bin: a
wanderful example of the Goedel argument.

> MARK JJ FOR COLLECTION

JJ marked for collection.

> START GARBAGE COLLECTOR

Goedel at work... %

-LV


    Reply    Reply to author    Forward  
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
End of messages
« Back to Discussions « Newer topic     Older topic »

Create a group - Google Groups - Google Home - Terms of Service - Privacy Policy
©2008 Google