Pages that link to "Proof theory"

The following pages link to Proof theory:

Displaying 50 items.

• Naive set theory (← links)
• Logical disjunction (← links)
• David Hilbert (← links)
• Discrete mathematics (← links)
• Formal language (← links)
• First-order logic (← links)
• Gödel's completeness theorem (← links)
• If and only if (← links)
• John von Neumann (← links)
• Kurt Gödel (← links)
• Propositional logic (← links)
• Lambda calculus (← links)
• Mathematics (← links)
• Metaethics (← links)
• Mathematical logic (← links)
• Model theory (← links)
• Primitive recursive function (← links)
• Truth (← links)
• Theory (← links)
• Theorem (← links)
• Actual and potential infinity (← links)
• Gerhard Gentzen (← links)
• Philosophy of mathematics (← links)
• Natural deduction (← links)
• Gödel's incompleteness theorems (← links)
• History of logic (← links)
• Abductive reasoning (← links)
• Proof (← links)
• Wilhelm Ackermann (← links)
• Consistency (← links)
• Mathematical proof (← links)
• Richard's paradox (← links)
• Combinatory logic (← links)
• Kőnig's lemma (← links)
• Hilbert's problems (← links)
• Computability theory (← links)
• Jacques Herbrand (← links)
• Truth value (← links)
• Foundations of mathematics (← links)
• Metamathematics (← links)
• Proof-theoretic (redirect page) (← links)
  • Axiom schema of replacement (← links)
  • Intuitionistic logic (← links)
  • Liskov substitution principle (← links)
• Outline of academic disciplines (← links)
• Effective results in number theory (← links)
• Sequent calculus (← links)
• Sequent (← links)
• Curry–Howard correspondence (← links)
• Coherentism (← links)
• Reverse mathematics (← links)
• Partition of a set (← links)
• George Boolos (← links)