# Logic Exists Outside of Computation Due to the commonalities between [Logic and Programs](Logic%20and%20Programs.md), [Proof and Computation](Proof%20is%20a%20Computational%20Process.md), and the fact that [Computation is a Logical Process](Computation%20is%20a%20Logical%20Process.md), it is natural to ask: are [Logic](Logic.md) and [Computation](Computation.md) the same thing? The answer to that in an emphatic *No*. Logic is a broader framework for understanding relationships between abstract entities and concepts. Logic encompasses concepts like truth, which is no limited to the realm of computation. For instance, the existence of unprovable truths, as shown in [Godels Incompleteness Theorems](Godels%20Incompleteness%20Theorems.md), highlights that logic cannot be entirely contained by computation. A statement can be logically true even if it's impossible to construct a finite proof within the constraints of physical reality. But wait, it is also true that [Computation is a Physical Process](Computation%20is%20a%20Physical%20Process.md). --- Date: 20241215 Links to: Tags: References: * []()