Hacker News new | ask | show | jobs
by xyzzyz 2176 days ago
How did you get to the conclusion that all physical world is computable?

That’s not the conclusion, that’s the whole thesis. The whole point of it is that yes, it’s not provable, but so far we haven’t seen anything to suggest the contrary. All of our current physical theories are very much computable, for example.

3 comments

Church-Turing thesis is that for every algorithm you can compute you can define a turing machine that can compute it too. You still have show that you can compute answers to your questions about physical world or human cognition.

And we know that we can define an infinite amount of problems that can not ever be computed (or else you can for example solve the halting problem). So there would be infinite amount of questions about the world that we can not ever answer.

And there would be more questions that we can not answer (they are uncountable) than we can answer (they are countable). So if you have a question - chances are such that it can never be answered.

edit: more likely never can be answered.

My point is not whether all physical laws are computable, I have no doubt they are insofar as these laws are expressed mathematically. My point is rather that this search for laws might never finish and a complete ruleset never come about.

Like I said all current theories are based on current state of observations. Who is to say we don't observe something in the future for which these laws need to be revised? Who is to say this doesn't keep happening indefinitely? If such a "bottoming out" cannot even be conceived of, saying that the physical world, even a part of it, is exactly computable AS IT IS (all aspects of it) is utmost arrogance.

What do we know about the brain? how does it generate cognition? why does the color 'red' look like the way it does to you; does it look like the same to me? Unless the nature of such cognition and such a being which embodies this cognition is known one cannot say it is reducible or "emergent" from the CURRENT set or even any FUTURE set of physical laws we know or will know about.

The map is not the territory however minute in detail it becomes. Sure this map can become the territory itself by becoming it but then we cease to call it a "map". Say you want to understand how pendulums work, you make a pendulum, play with it. No one's going to call this actual pendulum a "simulation".

This belief is widespread, but mistaken. It tries to slip in a conjecture as an axiom in the unstated leg of the enthymeme. It’s the worst sort of hand waving, but the conclusion apparently flatters the biases of those who wish to believe it such that they happily overlook the sloppiness.

Also our physical theories are only computable with an arbitrary halt thrown in at some level of accuracy deemed good enough. And there too theoretically questionable trickery like renormalization is used to reduce the problem to a tractable size.