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
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
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
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
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
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
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
7 matches
Mail list logo