Re: An All/Nothing multiverse model

2004-12-06 Thread Bruno Marchal
At 17:15 03/12/04 -0500, Hal Ruhl wrote: Hi Bruno: I assume your theory is intended to give the range of descriptions of worlds. The All in my model contains - well - ALL so it includes systems to which Godel's theorem applies. Your theory has problems for me. What is truth? Truth is a queen who

Re: An All/Nothing multiverse model

2004-12-06 Thread Hal Ruhl
Hi Bruno: In my questions about truth etc I was not really looking for a response but was rather trying to demonstrate the need for additional information in your theory. Your responses made my point I think. It is this issue I struggle with. I seek a TOE that has no net information. Though

Re: An All/Nothing multiverse model

2004-12-06 Thread Jesse Mazer
Hal Ruhl wrote: To answer these questions it seems necessary to inject information into your theory beyond what may already be there - the sentences - ... Right. This indeed follows from Goedel's incompleteness. Here you appear to me to be saying that your theory is indeed subject to random

Re: An All/Nothing multiverse model

2004-12-06 Thread Hal Ruhl
Hi Jesse: My originating post appeals only to the result of Turing to the effect that there is in general no decision procedure. As a result FAS in general can not be both complete and consistent. Since my All contains all FAS including the complete ones then the All is inconsistent. That is

Re: An All/Nothing multiverse model

2004-12-06 Thread Jesse Mazer
Hal Ruhl wrote: Hi Jesse: My originating post appeals only to the result of Turing to the effect that there is in general no decision procedure. There's no single decision procedure for a Turing machine, but if you consider more general kinds of machines, like a hypercomputer that can check an

Re: An All/Nothing multiverse model

2004-12-06 Thread Hal Ruhl
Hi Jesse: I think you miss my point. The All contains ALL including Turing machines that model complete FAS and other inconsistent systems. The All is inconsistent - that is all that is required. Godel's theorem is a corollary of Turing's. As you say a key element of Godel's approach to

Re: An All/Nothing multiverse model

2004-12-06 Thread Jesse Mazer
Hal Ruhl wrote: Hi Jesse: I think you miss my point. The All contains ALL including Turing machines that model complete FAS and other inconsistent systems. The All is inconsistent - that is all that is required. You mean because the All contains Turing machines which model axiomatic systems