Naturalizing Godel's incompleteness theorems
John Jones
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."
Peter_Smith
> 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.
John Jones
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.
ju...@diegidio.name
Let's give it a try: You are a Viagra Fall of stinky truisms and
trivial nonsense. Worth the trash bin.
-LV
ju...@diegidio.name
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
>
> -LV