Hi Hal,
>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.
I don't have a theory. Just an argument showing that if we are machine then
eventually physics is derivable from machine psychology/computer science.
>Your responses made my point I think. It is this issue I struggle
>with. I seek a TOE that has no net information. Though its components
>individually may have any amount of information the sum of all the
>information in all the components is no information.
>>
>>>Why the down select re descriptions vs the All.
>>
>>I don't understand.
>
>My "theory" almost [However see below] includes yours as a sub
>component. My only spin is that my theory necessarily has all dynamics in
>it subject to external random input. Why down select to just your theory
>and as a result add all that extra required info?
>
>>>How is the set of such sentences known to be consistent?
>>
>>It is never known to be consistent. We can just hope it is.
>
>That is what I thought.
>
>>(Smullyan makes a different case for arithmetical truth, but this would
>>be in contradiction
>>with the comp hyp).
>
>Please give me a URL or reference for his work.
I deduce this from many readings of Smullyan. But I think Smullyan is just
afraid that people takes Godel's second incompleteness theorem as an
argument showing that Peano Arithmetic cannot been known to be consistent.
And I agree with Smullyan on that point. But with comp I cannot know my own
consistency and I can only show (to myself) that IF I am consistent then
Peano Arithmetic is consistent. Look at the "Forever Undecided" book (on
the net or in the list archive).
>>>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 external input.
Not the theory, but the possible observers described by theory. This is
just a consequence of comp: we "belongs' to an uncountable infinity of
(infinite) computations. Cf our talk on the white rabbits. We don't need to
inject randomness: a priori we have too much (first person) randomness.
With comp it is the *lack* of randomness which is in need to be explained.
>"Random" because we do not know if the set of sentences is consistent in
>its current state and if incomplete it can be added to. How can it be
>added to in a manner that is consistent with the existing state?
This is not relevant. See Jesse's post.
>So it would seem that your theory is indeed a sub component of my theory
>so as I said why down select and be burdened with all that net info?
But which theory? COMP ? COMP is mainly the hope that it is possible to
survive some treatment in a hospital.
>>>...and where did all that info come from and why allow any in a base
>>>level system for worlds?
>>
>>
>>Concerning just natural numbers this is a mystery. With comp it is
>>necessarily mysterious.
>
>Perhaps it is mysterious because it is unnecessary.
But then you should explain why we believe in natural numbers. (You did
give plenty evidence that you believe in natural numbers).
Bruno
http://iridia.ulb.ac.be/~marchal/
Received on Tue Dec 07 2004 - 06:40:01 PST