5HC : Utopias and tests

Iorwerth Thomas · 04 Feb 2005, 06:11 · 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: iorweththomas at hotmail.com (Iorwerth Thomas)
Date: Fri Feb  4 06:11:17 2005
Subject: (urth) 5HC : Utopias and tests
In-Reply-To: <20050203191448.37372.qmail at web25702.mail.ukl.yahoo.com>
Message-ID: <BAY102-F25A3C8657287B8997CDA47B9700 at phx.gbl>



>From: Jim Raylor <rjraylor at yahoo.co.uk>

>Turing abstracted by considering simple devices with a
>finite number of states, from this he came upon the
>basis of universal computing devices and an
>operational definition of mathematical undecidability.
>
>I maintain 5HC is a logically and operationally
>decidable proposition within the axiomatic structure
>of literature and art.

Ok, I'll bite.  What's the axiomatic structure, and does it support:

a) Self-reference
b) classical or non-classical logic ?

(You might find that the system is Godel incomplete...)

I'm not convinced that 5HoC is anything at all like a proposition.  It's a 
little... big.

Iorwerth

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