Title:
Automate Reasoning: Computer Assisted Proofs in Set Theory Using Godel's Algorithm for Class Formation

Thumbnail Image
Author(s)
Goble, Tiffany Danielle
Authors
Advisor(s)
Belinfante, Johan
Advisor(s)
Editor(s)
Associated Organization(s)
Organizational Unit
Organizational Unit
Series
Supplementary to
Abstract
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 automated reasoning assistant based on Godel's class theory is used to deduce several theorems.
Sponsor
Date Issued
2004-08-17
Extent
181560 bytes
Resource Type
Text
Resource Subtype
Thesis
Rights Statement
Rights URI