(urth) 5HC : Utopias and tests

[Maru Dubshinki]

You ever look at the encoded integers involved in the proofs of the
various Godel proofs?  Those are are propositions (If I am
understanding 'propisition' as equivalent to theorems; if they are
axioms, well it is still true, just in a different way), way bigger in
information and bulk than 'Cerberus'

~Maru
Microsoft delenda est.
Remember what the dormouse said! Feed your head! Feed your head!

On Fri, 04 Feb 2005 14:10:29 +0000, Iorwerth Thomas
<iorweththomas at hotmail.com> wrote:
> I'm not convinced that 5HoC is anything at all like a proposition.  It's a
> little... big.
> 
> Iorwerth
> 
> 
> _______________________________________________
> Urth Mailing List
> To post, write urth at urth.net
> Subscription/information: http://www.urth.net
>