# Logic and Physics The relationship between logic and physical is an interesting one that requires us to reason very carefully. We can state the following facts all at once: 1. [Proof is a Physical Process](Proof%20is%20a%20Physical%20Process.md) 2. [Proof is a Computational Process](Proof%20is%20a%20Computational%20Process.md) 3. [Computation is a Logical Process](Computation%20is%20a%20Logical%20Process.md) 4. [Computation is a Physical Process](Computation%20is%20a%20Physical%20Process.md) 5. [Logic Exists Outside of Computation](Logic%20Exists%20Outside%20of%20Computation.md) 6. [Logic and Programs are related](Logic%20and%20Programs.md) 7. [Is Logical Consistency a greater governing force than The Laws of Physics?](Is%20Logical%20Consistency%20a%20greater%20governing%20force%20than%20The%20Laws%20of%20Physics?.md) Taken as a whole it seems that we arrive at a [Contradiction](Contradiction.md): * Logic is not reducible to a computation process * Logic is constrained by physics and computational limits Is there not a conflict of ideas here? No, but the reason should be held clear for all to see. We have to consider that [Logic](Logic.md) provides a framework which can be *instantiated* via [Computation](Computation.md). Computation, being a physical process, allows us to instantiate and manipulate logical relationships. [In Principle](In%20Principle.md) there could exist a rule of logic that cannot be instantiated via computation, due to the constraints imposed by the laws of physics. An example would be a [Cantgotu Environment](Cantgotu%20Environments.md). This is shown in the diagram below. Computation is constrained by both logic and the laws of physics, and proof is constrained within all three. However, we see the logic is not entirely constrained by the laws of physics.  --- Date: 20241215 Links to: Tags: References: * []()