Axiom
Overview
Axiom Index — root propositions used as foundations in the archive.
Entries
- Pythagoras' theorem
- Newton's second law
- Euler's identity
- Second law of thermodynamics
- Maxwell's equations
- Mass–energy equivalence
- Boltzmann entropy
- Schrödinger equation
- Wiles' theorem (Fermat's proposition)
- Navier–Stokes equations
- Bernoulli's brachistochrone problem
- Lagrangian mechanics
- Kolmogorov's axioms of probability
- Kolmogorov complexity
- Shannon entropy (information theory)
- Halting problem (undecidability)
- Entscheidungsproblem (decision problem)
- Huntington's theorem (Boole's Boolean)
- Shannon's switching circuits
- Davis–Putnam algorithm
- Cook–Levin theorem
- Karp's 21 NP-complete problems
- Levin's theorem (NP-completeness)
- Time hierarchy theorem
- Savitch's theorem
- Goldreich–Micali–Wigderson zero-knowledge proof
- Von Neumann's minimax theorem
- Von Neumann–Morgenstern expected utility theorem
- Röntgen rays (X-rays)
- Lorentz–Zeeman effect