Automate Reasoning: Computer Assisted Proofs in Set Theory Using Godel's Algorithm for Class Formation
Automated reasoning, and in particular automated theorem proving, has become a very important research field within the world of mathematics. Besides being used to verify proofs of theorems, it has also been used to discover proofs of theorems which were previously open problems. In this thesis, an...
Main Author: | |
---|---|
Format: | Others |
Language: | en_US |
Published: |
Georgia Institute of Technology
2005
|
Subjects: | |
Online Access: | http://hdl.handle.net/1853/4767 |