This group gathers theorems of proof theory and entries about how mathematical proofs are built. Proof theory treats proofs themselves as mathematical objects, with results on the elimination of detours, the consistency of arithmetic and the derivation of arithmetic from logic. The group also holds general methods of proof, such as proof by cases, constructive proof and visual proof. A theorem belongs here when its cited article places it in proof theory, metamathematics or the study of how proofs are carried out.
Browse By
Proof Theory and Methods of Proof
Filter Results8 entries
Sources
Loeb's theorem (Wikipedia)
Wikimedia FoundationHas Member: Loeb's Theorem, Article textQuote, Has Member: Loeb's Theorem, Article text
In mathematical logic, Löb's theorem states that in Peano arithmetic (PA) (or any formal system including PA), for any formula P, if it is provable in PA that "if P is provable in PA then P is true", then P is provable in PA.
Cut-elimination theorem
Has Member: Cut-Elimination Theorem (Gentzen's Hauptsatz), Lead sectionQuote, Has Member: Cut-Elimination Theorem (Gentzen's Hauptsatz), Lead section
is the central result establishing the significance of the sequent calculus. It was originally proved by Gerhard Gentzen
Gentzen's consistency proof - Wikipedia
Has Member: Gentzen's Consistency Proof, Lead sectionQuote, Has Member: Gentzen's Consistency Proof, Lead section
Gentzen's consistency proof is a result of proof theory in mathematical logic, published by Gerhard Gentzen
Frege's theorem, Wikipedia
Has Member: Frege's Theorem, Lead sectionQuote, Has Member: Frege's Theorem, Lead section
In metalogic and metamathematics, Frege's theorem is a metatheorem
Proof by Exhaustion (Wikipedia)
Has Member: Proof by Exhaustion, Lead sectionQuote, Has Member: Proof by Exhaustion, Lead section
Proof by exhaustion, also known as proof by cases
Constructive Proof (Wikipedia)
Has Member: Constructive Proof, Lead sectionQuote, Has Member: Constructive Proof, Lead section
In mathematics, a constructive proof is a method of proof that demonstrates the existence
Proof Without Words (Wikipedia)
Has Member: Proof Without Words, Lead sectionQuote, Has Member: Proof Without Words, Lead section
In mathematics, a proof without words (or visual proof) is an illustration
Deduction Theorem (Wikipedia)
Wikimedia FoundationHas Member: Deduction Theorem, Lead sectionQuote, Has Member: Deduction Theorem, Lead section
theorem is a metatheorem that justifies doing conditional proofs from a hypothesis in systems that do not explicitly
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.