From: Robert Dober <robert.dober@...>
Date: 2008-04-18T16:16:37+09:00
Subject: Re: Ada vs Ruby

On Fri, Apr 18, 2008 at 7:36 AM, Phillip Gawlowski
<cmdjackryan@googlemail.com> wrote:
> -----BEGIN PGP SIGNED MESSAGE-----
<sniop>
>
>  This quote encompasses it, methinks:
>  "I want them [teachers of computer science] to have heard me affirm that
>  the computer is a powerful new metaphor for helping us understand many
>  aspects of the world, but that it enslaves the mind that has no other
>  metaphors and few other resources to call on. The world is many things,
>  and no single framework is large enough to contain them all, neither
>  that of man's science nor of his poetry, neither that of calculating
>  reason nor that of pure intuition."[1]
That pretty much is why I find Gödel's theorem all save paradoxical.
It showed me, fortunately I was young enough to fully except it as a
truth, that formalism cannot do anything (as does the halting
problem). Without these knowings I might as well still think the
contrary, which would indeed reduce my own awareness of the greater
picture.

Now not to become too serious, I deduce from Gödel's theorem that if a
human being would fully understand the nature of the human brain at
least one of the following things would happen
(1) 42 becomes nil
(2) Life, the universe and evertyhing would vanish immediately.
(42) All of Doug Adam's works will be put on the index.
(SSSSSSSSSS0) I will try to find the error in Gödel's proof.

Cheers
Robert
<snip>

-- 
http://ruby-smalltalk.blogspot.com/

---
Whereof one cannot speak, thereof one must be silent.
Ludwig Wittgenstein