Re: Mathematical Logic, Podnieks'page ...

From: Hal Ruhl <>
Date: Tue, 29 Jun 2004 12:42:54 -0400

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.

Received on Tue Jun 29 2004 - 12:47:39 PDT

This archive was generated by hypermail 2.3.0 : Fri Feb 16 2018 - 13:20:09 PST