Series: Penn State Logic Seminar

Date: Tuesday, October 2, 2001

Time: 2:30 - 3:45 PM

Place: 306 Boucke Building

Speaker: Pavel Naumov, Computer Science, Penn State Harrisburg

Title: Introduction to Automated Theorem Provers

Abstract: 

While the idea of a machine capable of proving mathematical theorems
goes back to Leibniz, only the 20th century computers have turned this
dream into reality. Although they are far from being a substitute for
a bright mathematician, modern theorem provers are known for solving
some open problems and their use in hardware verification.  This
introductory talk will review the history of the field, present main
accomplishments, compare major existing provers, and discuss some of
the directions of the current research.