Cambridge University Computing and Technology Society
event / 14
Thu 08 Mar 2012, 6:00pm  |  Mong Hall, Sidney Sussex
Professor Alan Bundy (University of Edinburgh) speaks on
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, 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.


Speaker's slides (PDF)

Powered by HERDING CATS v1.0+b6ae1e4 (2018-06-13 15:31:13 +0100 nitrous) ©2011-2013 CUCaTS
"Share" font family by Ralph Oliver du Carrois
Hoodies and stash provided to CUCaTS by Ideasbynet.com.