Edinburgh Research Explorer

The Theory Behind TheoryMine

Research output: Contribution to journalArticle

Related Edinburgh Organisations

Access status

Open

Original languageEnglish
Pages (from-to)64-69
Number of pages6
JournalIEEE Intelligent Systems
Volume30
Issue number4
DOIs
StatePublished - Jul 2015

Abstract

We describe the technology behind the TheoryMine novelty gift company. A tower of four com- puter systems is used to generate recursive theories, then to speculate conjectures in those theories and then to prove these conjectures. All stages of the process are entirely automatic. The process guarantees large numbers of sound, novel theorems of some intrinsic merit.

Download statistics

No data available

ID: 42828