(urth) 5HC : Utopias and tests
Iorwerth Thomas
iorweththomas at hotmail.com
Fri Feb 4 06:10:29 PST 2005
>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
More information about the Urth
mailing list