Re: Mathematical Logic, Podnieks'page ...

From: Bruno Marchal <marchal.domain.name.hidden>
Date: Wed, 30 Jun 2004 15:34:08 +0200

At 12:42 29/06/04 -0400, Hal Ruhl wrote:


>I have enjoyed my first looks at Podnieks' page. Bruno thanks for the URL .
>
>My issue is that my model while it has changed many times seems to
>persistently return me to the idea that while some metaverses may be
>otherwise Turing computable all metaverses are subject to input from what
>might be considered an external - to them - random oracle.
>
>The system that embeds these metaverses - a dual simultaneous existence of
>a Nothing and an Everything seems inconsistent and incomplete so its not
>Turing computable as I understand the term.
>
>This seems to put my view in conflict with Comp.


If your system is inconsistent then it is obviously Turing computable (just
write a generator
of ALL arithmetical formula).
But I am not sure your system is inconsistent. Well, I am not sure it is a
"system", or
perhaps you just fail to present it as such, probably.


Bruno
Received on Wed Jun 30 2004 - 09:31:15 PDT