(urth) 5HC : Utopias and tests

Maru Dubshinki marudubshinki at gmail.com
Fri Feb 4 15:24:01 PST 2005

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'

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

More information about the Urth mailing list