Skip to content

Formalizing the (self-reference) error of the Liar Paradox

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

  • 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

Meta

  • Log in
  • Entries RSS
  • Comments RSS
  • WordPress.org
Formalizing the (self-reference) error of the Liar Paradox Proudly powered by WordPress