2023-09-20 08:57 UTC
@tyrell_turing@fediscience.org
The problem is that this assumption is not supported by any evidence. There are tons of processes and problems in the actual (large) world that cannot be formalized in the sense of Hilbert.
One, for example, is how organisms realize what is relevant in their environment: how they pick out the features of the world that are important for their given situation. If you try to formalize that, you get an infinite regress. Same thing with organismic organization, as Rosen ...
Replies (1)
-
@yoginho@spore.social 2023-09-20 09:00
@tyrell_turing@fediscience.org ... has shown a long time ago. Life is not computable. Behavioral and evolutionary possibility spaces are not prestatable as clearly defined mathematical sets. Your assumption that every physical process *is* Turing-style computation is making the simple mistake of confusing the map (your model of the world) for the territory (the actual world). Your computationalist worldview is based on a completely unfounded assumption. And it traps you thoroughly within a small world ...