DocumentCode
62988
Title
The Theory behind Theory Mine
Author
Bundy, Alan ; Cavallo, Flaminia ; Dixon, Lucas ; Johansson, Moa ; McCasland, Roy
Author_Institution
Univ. of Edinburgh, Edinburgh, UK
Volume
30
Issue
4
fYear
2015
fDate
July-Aug. 2015
Firstpage
64
Lastpage
69
Abstract
The TheoryMine novelty gift company sells the rights to name novel mathematical theorems. The technology is made up of a pipeline of four computer systems that generates recursive theories, then speculates conjectures in those theories and proves the conjectures. All stages of the theorem discovery and proof processes are completely automatic. The process guarantees large numbers of sound, novel theorems of some intrinsic merit.
Keywords
mathematics computing; theorem proving; TheoryMine novelty gift; computer systems; conjecture proving; conjecture speculation; novel mathematical theorems; recursive theory generation; theorem discovery; theorem proof process; Complexity theory; Electronic mail; Intelligent systems; Mathematics; automated theorem proving; conjecture generation; intelligent systems; novelty gifts;
fLanguage
English
Journal_Title
Intelligent Systems, IEEE
Publisher
ieee
ISSN
1541-1672
Type
jour
DOI
10.1109/MIS.2015.42
Filename
7106401
Link To Document