▲ | seanhunter 3 days ago | |||||||||||||||||||||||||||||||
Reminds me of Wolfram's "Principle of Computational Equivalence"[1]. 1. Things in nature have a maximum complexity which is like computation 2. Most things get this complicated 3. Therefore most things are "computationally equivalent" 4. "For example, the workings of the human brain or the evolution of weather systems can, in principle, compute the same things as a computer. " The leap between things being in an equivalence class according to some relation and being "in principle, the same" might present difficulty if you've done any basic set theory, but that's just because you lack vision. [1] https://mathworld.wolfram.com/PrincipleofComputationalEquiva... | ||||||||||||||||||||||||||||||||
▲ | vidarh 3 days ago | parent [-] | |||||||||||||||||||||||||||||||
This principle is just applying Turing equivalence to the hypothesis that there is nothing in nature that is effectively computable but exceeds the Turing computable (which would be the "maximal level of computational power") Given we have no evidence of the existence of anything effectively computable that is not Turing computable, it's a reasonable hypothesis, with no evidence pointing towards falsifying it, nor any viable theories for what a "level of computational power" that exceeds this hypothetical maximum would look like. And, yes, if that hypothesis holds, then life is equivalent, to the point of at least being indistinguishable from when observed from the outside, computation. A lot of people get upset at this, because they want life to be special, and especially human thought. If they want to disprove this, a single example of humans computing a function that is outside the Turing computable would be a very significant blow to this hypothesis, and the notion of life as a computation (it wouldn't conclusively falsify it, as to do that you'd need to also disprove that there might we ways to extend computers to compute the set of newly discovered functions that can't be computed by a Turing machine, but it would be a very significant blow) | ||||||||||||||||||||||||||||||||
|