Is 'computation' really universal and fundamental? Turing machines, lambda calculus, algorithmic notations, they're all human-made formalisms. Are the halting problem and the limits of computability actually constraints that exist only within these human-made formal systems?
When we constrain a formalism to reduce complexity, it feels like necessity emerges from within those constraints. For example, when we say 'CRUD app,' we immediately think of a specific pattern. In the same way, once you adopt a 'form,' the constraints that come with that form progressively expand the state space. In that sense, it feels like both discovery and invention.
Famous mathematicians and scientists often distinguish between model and reality, yet we tend to mistake the model's shape for reality itself. People like John Wheeler and Stephen Wolfram argue that computation is a fundamental property of the universe. But can we really say that when we downcast reality to fit human cognition, losing information in the process, and then upcast it back, the information is fully restored? I always find this point difficult.
Landauer's principle says that abstract logical operations, information erasure, necessarily increase physical entropy. That shows there's a thermodynamic cost to physically implemented information processing. But I don't think that proves computation is fundamental.
Whether it's computation or geometry, they're all abstract formalisms created by humans. But when we actually measure things, they're subject to physical laws. Still, whether that makes them fundamental is a difficult question. I think these are just results of the process where humans name phenomena and constrain them. I don't think they're the cause.
You can define computation broadly enough, as 'a process where a state changes to another state according to rules,' to make almost everything look like computation. But being able to explain something with computation and claiming that computation is fundamental are different things, aren't they?
Meaning exists within the structures and constraints of human-made formalisms. We artificially lower cognitive complexity and translate things into human language. Whether that's fundamental, I'm not sure.
Maybe I'm a reductionist. Plenty of intellectually brilliant scholars make those claims, but people like me, with slower minds, end up thinking these kinds of stupid thoughts. I wish I could organize my own thoughts bette