Does Mathematics Prove The Truth?

We're used to proving everything through mathematics, but what if it can't prove the truth? Only part of it is visible and demonstrable to our eyes




The First Incompleteness Theorem states that in any formal system rich enough to express the arithmetic of the natural numbers (such as the Peano number system), there are true but undecidable statements. That is, there are mathematical statements that cannot be proved or disproved within that system using its own rules and axioms.



The proof of this theorem relies on the construction of a self-referential statement, known as "Gödel's sentence" or "Gödel's formula," which is capable of asserting its own unprovability within the formal system. This creates a dilemma, since if Gödel's sentence is true, then there is a true but undecidable statement in the system; but if it is held to be false, then its unprovability claim is false, meaning it must be provable and therefore true. This theorem demonstrates that no formal system can be completely self-contained and capable of proving all mathematical truths about the natural numbers.



Second Incompleteness Theorem:



The Second Incompleteness Theorem is an extension of the first and states that in a formal system rich enough to express its own consistency (i.e., it can claim to contain no contradictions), it cannot prove its own consistency. In other words, if a formal system is strong enough to prove all mathematical truths about the natural numbers, then it cannot prove that it contains no errors or internal contradictions.



In summary, Gödel's incompleteness theorems are fundamental results in the theory of logic and the foundations of mathematics that have had a lasting impact on the philosophy of mathematics and the theory of computation. These theorems reveal the intrinsic limitations of any formal system and raise profound questions about the nature of mathematical truth and the possibility of a complete and consistent mathematical theory.

In this book, we'll use arithmetic and geometry to address impossibilities that exist on paper but not in person. This includes recurring decimals, dimensional geometric impossibilities, sacred integrals, constants, irrational numbers, mirror numbers, and more.