Loading timeline…
19701970s
Automated Theorem Proving
The proving of mathematical theorems by a computer program.
Why It Was Important
Building on 1960s resolution algorithms, 1970s systems refined theorem proving to verify complex logic. This subset of symbolic AI became highly successful not just in pure math, but in the formal verification of computer hardware and software security—ensuring systems have no logical flaws before deployment.
Who Invented It
Various logicians & computer scientists
Academic researchers in mathematical logic.
Applications
- Software Verification
- Hardware Design
- Mathematical Proofs
Videos
Automated Mathematical Proofs - Computerphile
Computerphile
Automated Theorem Proving and Axiomatic Mathematics
Wolfram