The Theory behind TheoryMine
Alan Bundy (University of Edinburg)
Info
|
Date |
5th April 2011 |
|
Time |
16:30 |
|
Place |
Lecture Theatre B |
Abstract
We describe the technology behind the TheoryMine novelty gift company, which sells the rights to name novel mathematical theorems. A tower of four computer 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.
Further info
|
Related series |
|
