5HC : Utopias and tests

Maru Dubshinki · 04 Feb 2005, 15:24 · from 2005-February.txt.gz

This is the message as the crawl holds it, before anything here touched it. What the conversation shows has been through ingest: transfer encodings decoded, attachments dropped, quote markers repaired, and the archiver’s ? resolved into quotation marks and dashes. Those repairs are judgements and some of them are wrong, which is what this page is for. Email addresses are obscured here as they are everywhere else on the site, so it is before our repairs rather than byte for byte.

From: marudubshinki at gmail.com (Maru Dubshinki)
Date: Fri Feb  4 15:24:06 2005
Subject: (urth) 5HC : Utopias and tests
In-Reply-To: <BAY102-F25A3C8657287B8997CDA47B9700 at phx.gbl>
References: <20050203191448.37372.qmail at web25702.mail.ukl.yahoo.com>
	<BAY102-F25A3C8657287B8997CDA47B9700 at phx.gbl>
Message-ID: <f5238c30502041524432e1320 at mail.gmail.com>

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
>

An unofficial mirror of a public mailing list · about & removal requests · download the archive · before the list · original archive at urth.net