Method

Automated theorem proving

Overview

subfield of automated reasoning dealing with proving theorems by computer programs

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Philosophers who discussed Automated theorem proving

• Hao Wang (academic)

Related ideas

• Method of analytic tableaux
• Four color theorem
• First-order logic
• Alan Turing
• Gödel's completeness theorem
• Proof assistant
• Herbert A. Simon
• Integer
• Kurt Gödel
• Propositional logic
• Mathematical induction
• Modus ponens
• Mathematical logic
• Validity (logic)
• Principia Mathematica
• Peano axioms
• Rule of inference
• Stanford University
• Allen Newell
• Completeness (logic)
• Model checking
• Term logic
• Löwenheim–Skolem theorem
• Logicism

Place in the tradition

Part of First-order logic.

Explore Automated theorem proving in the interactive graph →