The Theory behind Theory Mine

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...

Full description

Saved in:
Bibliographic Details
Published in:IEEE intelligent systems 2015-07, Vol.30 (4), p.64-69
Main Authors: Bundy, Alan, Cavallo, Flaminia, Dixon, Lucas, Johansson, Moa, McCasland, Roy
Format: Article
Language:English
Subjects:
automated theorem proving
Automation
Complexity theory
conjecture generation
Electronic mail
Intelligent systems
Mathematics
novelty gifts
Proof theory
Retail stores
Theorems
Theoretical mathematics
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1541-1672
1941-1294
DOI:10.1109/MIS.2015.42