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

Simple item page
dc.contributor.advisor Belinfante, Johan
dc.contributor.author Goble, Tiffany Danielle en_US
dc.contributor.committeeMember Green, William
dc.contributor.committeeMember Manolios, Panagiotis
dc.contributor.department Mathematics en_US
dc.date.accessioned 2005-03-01T19:18:17Z
dc.date.available 2005-03-01T19:18:17Z
dc.date.issued 2004-08-17 en_US
dc.description.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. en_US
dc.description.degree M.S. en_US
dc.format.extent 181560 bytes
dc.format.mimetype application/pdf
dc.identifier.uri http://hdl.handle.net/1853/4767
dc.language.iso en_US
dc.publisher Georgia Institute of Technology en_US
dc.subject Automated reasoning en_US
dc.subject Automated theorem proving
dc.title Automate Reasoning: Computer Assisted Proofs in Set Theory Using Godel's Algorithm for Class Formation en_US
dc.type Text
dc.type.genre Thesis
dspace.entity.type Publication
local.contributor.advisor Belinfante, Johan
local.contributor.corporatename College of Sciences
local.contributor.corporatename School of Mathematics
relation.isAdvisorOfPublication fe02d0d2-afe5-48b9-b1e6-6ae6838e86e2
relation.isOrgUnitOfPublication 85042be6-2d68-4e07-b384-e1f908fae48a
relation.isOrgUnitOfPublication 84e5d930-8c17-4e24-96cc-63f5ab63da69
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Goble_Tiffany_D_200412_Master.pdf
Size:
177.3 KB
Format:
Adobe Portable Document Format
Description:
Download
Collections
Theses and Dissertations