compiseverythng ([info]compiseverythng) wrote,
@ 2005-11-24 08:51:00
Previous Entry  Add to memories!  Tell a Friend  Next Entry
An objection to the idea that everything is a computation.
Form Rudy’s book, LLS, page 401, Suppose that R is some very simple computation that is everywhere defined – to be specific, suppose that, given any input In, the computation RIn simply stays in the In state for ever. Any computation at all can emulate R, but we don’t expect that the do-nothing R can emulate all the other computations. For this reason, we say that R represents a minimal degree of unsolvability.

I want to challenge this seemingly most fundamental of notions. In particular I want to challenge the underlined statement.



The truth of the assertion I believed depends on the domain and range of the computation, and therefore can be said to depend on the nature of the multiverse. That is if In and RIn are continuous valued then all bets are off, because any computation M (we could say experiment) that tries to measure R can be fooled by some other approximate R, and in fact there an infinite number of such R. Furthermore, there is an infinite set of these R that are uncomputable! That is, even though M tells us that in our universe that R has some constant value we do not know this to be true and therefore we can only emulate R to some measure M, and R would in fact be able to emulate other computations if we know the “inner” workings of R.

This is just a way of saying that there is no computational method of determining that the universe is infinite valued. I.e. if the universe is continuous valued it can “fool” any M that tries to show that it is not, but so can a universe that is merely countably infinite. OTOH, if the universe if finite any experiment E is contained in that universe and therefore can only come up with answers contained there in. That is, for all E contained in a finite universe there is no way of arriving at a proof that the universe is not infinite because this proof would require infinite resource but E is in the universe and therefore would be a contradiction to the assertion that the universe is finite.

We are therefore left with a chicken and egg problem when we try to assert that everything is a computation. If the universe is infinite valued then computation must truly be something more subtle than a finite sequence of rules, see. And if the universe is finite we know that we can therefore never measure to what degree it is finite, that is what are its limits compared to the imagined, non-existent, continuity. So the proposition everything is a computation is inherently unverifiable, and at the same time any such universe generating computation has infinitely many emulations. We can’t have it both ways.

The deeper problem is that all attempts by awareness to ask, “What am I?,” immediately involves infinite recursion, a recursion that wants to grow into the Ubër Infinite. Yet our assertion everything is a computation rejects the infinite, so that in accepting the assertion we appear to be saying our thoughts are outside the universe, and if not then we are saying that our thoughts about infinity are false.




I suspect RR goes on to say this better than I have but I wanted to get my head around this argument before proceeding.



(12 comments) - (Post a new comment)

sure enough
[info]compiseverythng
2005-11-24 06:12 pm UTC (link)
I read some more and RR goes on to make the strong statements I was intutiting about lack of comutational equivalence.

These statements have been proved by Richard Friedberg and Albert Muchnik.


  1. There are infinitely many distinct degreess of unsolvability between the minimal and maximal degrees.

  2. The degress of unsolvability are dense in the sense that between any two degrees lies a thrid.

  3. The degress of unsolvability don't fall into a linear ordering, that is, we can find P and Q such that neither can emulate the other.



I think some of my intuition for this comes from a paper I read about 15 years ago that showed that their are "realms" of truth that are not reachable from one to the others. Each of the realms is itself infinite. And there are an infinite number of these "seperated" realms. I have always thought of this as the "there are many gods theorm."


Is it the hyper-realm search?



(Reply to this)


[info]hfx_ben
2005-11-24 06:15 pm UTC (link)
There was something about this that had my mind, well, back-step.

I just googled c2.com wiki for "uncomputable" and/or "uncomputability" ... nothing found.

hunh

(Reply to this) (Thread)

On the other hand
[info]hfx_ben
2005-11-24 06:17 pm UTC (link)
http://c2.com/cgi/wiki?EmilPost is about "unsolvability" ... I think.

(Reply to this) (Parent)(Thread)

Re: On the other hand
[info]compiseverythng
2005-11-24 06:25 pm UTC (link)

On page 402, same page as the my list above

In 1940, the logician Emil Post posed Post's problem: Is there a computation M such that M has an unsolvable halting problem, but M is not universal?

Where a universal computation means that it can emulate all other computations.

I suspect that their are infinite families of computations that live in different truth spaces that can emulate the computations in their space but can not emulate computations in other similar spaces.

(Reply to this) (Parent)(Thread)

Re: On the other hand
[info]hfx_ben
2005-11-24 06:59 pm UTC (link)
"On page 402"
Page 402 of a book I don't have? Interesting ... but rather academic, doncha think?

"same page as the my list above"
I've followed that link twice ... I don't find any list ... and am not sure what you mean by "same page".

Do you mean to convey "Yes, thanks, I've seen that page"?

"I suspect that their are infinite families of computations that live in different truth spaces that can emulate the computations in their space but can not emulate computations in other similar spaces."
Well, hey, whatever floats yer boat!

<=== old goat wastes his time augering through "what keeps persons from communicating in their best interests? and how do we deal with those obstacles?"

(Reply to this) (Parent)(Thread)

Re: On the other hand
[info]compiseverythng
2005-11-24 07:17 pm UTC (link)

On page 402"
Page 402 of a book I don't have? Interesting ... but rather academic, doncha think?
If you are interested I believe a PDF of chapter six, and one or two others is available on Rudy's site, see link in original post of this thread. The blog is also meeting a requirement for a class I am taking with Rudy so I may be loss with references to the book since the whole purpose behind this blog is to explore this book.

(Reply to this) (Parent)(Thread)

Re: On the other hand
[info]hfx_ben
2005-11-24 07:56 pm UTC (link)
Yes, I saw the PDF on his site. (I ended up playing with fractal software for a few minutes ... a nice flashback of happier days.)

"The blog is also meeting a requirement for a class I am taking"
Ohhhh of course, how thick of me ... I knew that.

apologies as appropriate

(Reply to this) (Parent)(Thread)

Re: On the other hand
[info]compiseverythng
2005-11-24 07:58 pm UTC (link)
no apologies required or sought

(Reply to this) (Parent)(Thread)

Re: On the other hand
[info]hfx_ben
2005-11-24 08:06 pm UTC (link)
:-)

(Reply to this) (Parent)

Re: On the other hand
[info]compiseverythng
2005-11-24 07:19 pm UTC (link)
<=== old goat wastes his time augering through "what keeps persons from communicating in their best interests? and how do we deal with those obstacles?"

OK, here we go off the deepend. I think the fact that there are these computations that can be said to produce overlapping but not touching, or seldom touching realities is part of the why we have trouble communicating.

(Reply to this) (Parent)(Thread)

Re: On the other hand
[info]hfx_ben
2005-11-24 08:01 pm UTC (link)
"seldom touching realities is part of the why we have trouble communicating. "
Ok, now I have some resonances I can respond to.

I don't want to slip into semiotics here but ... well, "incommensurate" comes to mind. (And you'll forgive me if I stretch to keep at least one toe touching the domain of actual human beings in transaction") I can imagine a situation where persons (wet computers?) who've allowed themselves to become abstracted by ideology would find that their vernaculars "overlap without touching". But I cannot imagine any equivalent in phenomenal world since no entity (save the fictitiously existing persona) exists with "false consciousness" i.e. to my way of seeing things ramifications are universal, global ... so all systems "touch".

But I suspect I've left your hermetic domain, if I was ever in it.

with respect

(Reply to this) (Parent)

Re: On the other hand
[info]compiseverythng
2005-11-24 07:11 pm UTC (link)

an interesting character this Post, I had never heard of him until today.

(Reply to this) (Parent)


(12 comments) - (Post a new comment)

Create an Account
Forgot your login or password?
Login w/ OpenID
English • Español • Deutsch • Русский…