5HC : Utopias and tests

Chris · 04 Feb 2005, 15:41 · 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: rasputin_ at hotmail.com (Chris)
Date: Fri Feb  4 15:41:04 2005
Subject: (urth) 5HC : Utopias and tests
In-Reply-To: <f5238c30502041524432e1320 at mail.gmail.com>
Message-ID: <BAY102-F62D2384D8310FBF14329986700 at phx.gbl>

The information "in" 5HoC is not at all limited to the explicit data (the 
words written on the page); the vast majority is implicated by the text. 
Which is not to say that Godel's work is entirely explicit. But we are 
talking about two very different ways of writing or using language - one is 
tailored to try and be as explicit and rigorous as possible, the other not 
so much.

I suspect there is also an inherent problem with calling a work of fiction a 
'proposition'; I have some doubts that something can be both at the same 
time, because even a false proposition is not exactly fictional.

Also, if 5HoC were intended as a proposition, it would be difficult to 
explain why the relations between its elements are so hard to define. Unless 
one means to suggest that it's just a really, really lousy proposition.

>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
> >
>_______________________________________________
>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