Re: mathematicians utter contempt for common sense

zzbunker_at_netscape.net
Date: 12/20/04


Date: 20 Dec 2004 08:53:02 -0800


poopdeville@gmail.com wrote:
> |-|erc wrote:
> > I'll show this sig to a few hundred newsgroups, see if the laughter
> wakes any of you from decades of dreaming.
> >
> >
> > Herc
> > --
> > "YOU CANT PROVE ME"..............T |- G <=> ~\phi("G")
> > If you prove its true then it has a proof, which makes it false.
> > If you don't prove it, then its true.
> > 10,000 people in sci.math ALL believe that it means mathematics
will
> always be incomplete.
>
> Mathematics is an activity. It can't be incomplete in any
*pejorative*
> sense. Some fields, however, are incomplete in a technical sense --
> for example, there are sentences true in the standard model of the
> naturals that can't be proven in PA. In particular, this is because
> there exist *other* models of the naturals where the sentence is
false.
> This is a *good* thing. It means that the field of number theory is
> much *righer* than Hilbert imagined.

Unfortunately Hilbert didn't imagine that
Number Theory was right. Since he on
many occasions called mathematics nothing
but the Den of Thieves of physicicts, and
number theory in particular, nonsense
on a *** of paper.

The only thing that appartently suprised him about
model theory, was that Goedel was righter
than Cantor. Since Goedel's Theorems
aren't models, whereas Cantor's are.

>
> 'cid 'ooh


Loading