Title :
The Theory behind Theory Mine
Author :
Bundy, Alan ; Cavallo, Flaminia ; Dixon, Lucas ; Johansson, Moa ; McCasland, Roy
Author_Institution :
Univ. of Edinburgh, Edinburgh, UK
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;
Journal_Title :
Intelligent Systems, IEEE
DOI :
10.1109/MIS.2015.42
