The Five Proofs
Each proof below was discovered independently. None of them set out to prove God. Each one simply asked a limited, technical question — and found that the answer required something outside the system being studied.
1. Gödel — Incompleteness
Any consistent formal system powerful enough to express arithmetic contains true statements it cannot prove. Consistency and completeness cannot coexist.
Read the plain-language walkthrough →2. Tarski — Undefinability of Truth
A language cannot define its own truth predicate without producing paradox. The concept of "truth" for a system must be supplied from a metalanguage outside it.
3. Turing — Undecidability
No general algorithm can determine whether an arbitrary program will halt. Prediction of the system's own behavior requires something the system cannot contain.
4. Second Law of Thermodynamics
Entropy in an isolated system never decreases. Order decays, information dissipates, and usable energy runs downhill — irreversibly.
See why the universe hasn't reached heat death →5. Landauer's Principle
Erasing one bit of information costs kT·ln(2) joules. Information is physical, and processing it has an irreversible thermodynamic price.
Read why thought costs energy →The Shared Structure
Every proof has the same shape: draw a box around any finite system, and the box leaks. It needs an outside source for consistency, truth, predictability, order, and even the ability to process information. The universe has all of these — and has had them for 13.8 billion years. Either it is the exception to five proven theorems, or it was never a closed box.
Therefore
If the universe is not a closed system, then something outside it sustains it. The five proofs do not tell us what that something is. They only make one thing unavoidable: something is.