Re: [Slate] American Religious fervor, by the numbers

Koen Holtman (Koen.Holtman@cern.ch)
Fri, 2 Jul 1999 17:01:35 +0200 (MET DST)


On Fri, 2 Jul 1999, Gregory Alan Bolcer wrote:

> Godel's theorem. Any system (or universe) can be proven either
> consistent or complete, but not both.

Ack! That is not Godel's theorem. Plus it is false.

> Once you can formalize a universe,
> then you can prove that there's always something outside of it.

Not even false.

>
> Greg

Koen.