# Proof is a Physical Process [Proofs](Proof.md) are not purely abstract exercises. They are *physical processes*. They involve the manipulation of physical objects, whether they're pen and paper, a computer, or even our own brains. [Godels Incompleteness Theorems](Godels%20Incompleteness%20Theorems.md) demonstrate that within any formal system of logic, there will always be true statements that cannot be proven. This result is a consequence of the physical limitations on the process of proof. Since proofs are physical processes bound by the constraints of the universe, there will always be truths that lie beyond the reach of any finite proof. This insight underscores how the physical world shapes our understanding of logic by limiting what we can formally demonstrate. --- Date: 20241215 Links to: [Proof is a Computational Process](Proof%20is%20a%20Computational%20Process.md) Tags: References: * []()