Skip to content

Minimal Type Theory (MTT)

Minimal Type Theory.pdf

Author peteolcottPosted on March 16, 2017March 16, 2017

Post navigation

Previous Previous post: Formalizing Self-Reference Paradox using Predicate Logic (PDF)

Next Next post: Simple English refutation of the Incompleteness Theorem

Recent Posts

Refutation of Rice’s Theorem
The ultimate foundation of
[a priori] Truth
Removing all extraneous complexity from the 1931 GIT
Simple refutation of the 1931 Incompleteness Theorem
Defining a Halt Decider’s Inference Chain
The Nature of Truth in Plain English
Simple English Refutation of Gödel’s 1931 Incompleteness Theorem
True(X) and ~Provable(X) is Impossible
1931 Incompleteness Theorem Refutation
Refutation of Halting Problem Proof
Terminology of Minimal Type Theory
State Transition Diagram Halting Problem Proof
Reformulating the notions of Truth and formal provability
1931 Incompleteness Theorem Refutation Strategy
Provability Predicate as simple as possible
Simple tutorial on Propositional Logic
Forming a Bridge between Proof Theory and Model Theory
Fulfilling Tarski’s ∀x True(x) ↔ φ(x)
1931 Incompleteness Theorem is only undecidable because it is not a sentence expressing Boolean
Concise Formalization of the Liar Paradox
Quick recap of the Liar Paradox Error
Refuting the conclusion of Gödel’s 1931 Incompleteness Theorem
Provability according to Mendelson
Defining Tarski’s 1933 ∀x True(x) ↔ φ(x)
Detecting and Rejecting Pathological Self-Reference (in Prolog and MTT)
Gödel’s 1931 Incompleteness Theorem summed as a single line of Minimal Type Theory
Gödel’s Proof Revised Edition Nagel, Newman, and Hofstadter (pages 96-98)
1931 Incompleteness Theorem simplified
Provability with Minimal Type Theory
Simple English refutation of the Incompleteness Theorem
Minimal Type Theory (MTT)
Formalizing Self-Reference Paradox using Predicate Logic (PDF)
Liar Paradox Proof (PDF)
Significance of the Liar Paradox