An Elementary Theorem-Proving Program
Author
Berghel, William Wesley
Subject
Washington and Lee University -- Honors in Mathematics
Automatic theorem proving -- Computer programs
Logic, Symbolic and mathematical -- Computer programs
Metadata
Show full item recordDescription
My goal is to write a theorem-proving assistant that can , to s ome extent, take a hypothesis (that works on IF-THEN rules) and make some progress toward a realizable goal. However, since I need a more concrete problem set, I
have restricted my goal to writing a program that might, when given minimal help by the user, be able to pass Mathematics 301, "Fundamental Concepts of Mathematics," with flying colors. So, this program should be able to perform some tasks with symbolic logic, as well as prove that, if x<y, then y>x. [From Introduction]