Projects per year
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.
Original language | English |
---|---|
Pages (from-to) | 64-69 |
Number of pages | 6 |
Journal | IEEE Intelligent Systems |
Volume | 30 |
Issue number | 4 |
DOIs | |
Publication status | Published - Jul 2015 |
Fingerprint
Dive into the research topics of 'The Theory Behind TheoryMine'. Together they form a unique fingerprint.Projects
- 2 Finished
-
The integration and interaction of multiple mathematical Reasoning Processes
Bundy, A., Aspinall, D., Colton, S., Fleuriot, J., Gow, J., Grov, G., Ireland, A., Jackson, P., Mcneill, F., Michaelson, G. & Smaill, A.
1/11/15 → 31/10/19
Project: Research
-