Return to search

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 automated reasoning assistant based on Godel's class theory is used to deduce several theorems.

Identiferoai:union.ndltd.org:GATECH/oai:smartech.gatech.edu:1853/4767
Date17 August 2004
CreatorsGoble, Tiffany Danielle
PublisherGeorgia Institute of Technology
Source SetsGeorgia Tech Electronic Thesis and Dissertation Archive
Languageen_US
Detected LanguageEnglish
TypeThesis
Format181560 bytes, application/pdf

Page generated in 0.0018 seconds