The Theory behind TheoryMine

Add to your list(s) Download to your calendar using vCal

• Professor Alan Bundy (University of Edinburgh)
• Thursday 08 March 2012, 18:00-19:15
• Mong Hall, Sidney Sussex College.

If you have a question about this talk, please contact cucats-executive.

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.

This talk is part of the Cambridge University Computing and Technology Society (CUCaTS) series.

This talk is included in these lists:

• Cambridge University Computing and Technology Society (CUCaTS)
• Cambridge talks
• Chris Davis' list
• Featured lists
• Featured talks
• Guy Emerson's list
• Mong Hall, Sidney Sussex College
• Trust & Technology Initiative - interesting events
• custom

Note that ex-directory lists are not shown.