![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Professor Alan Bundy (University of Edinburgh)
Thursday 08 March 2012, 18:00-19:15
The Theory behind TheoryMine
- đ¤ Speaker: Professor Alan Bundy (University of Edinburgh)
- đ Date & Time: Thursday 08 March 2012, 18:00 - 19:15
- đ Venue: Mong Hall, Sidney Sussex College
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, 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.
Series This talk is part of the Cambridge University Computing and Technology Society (CUCaTS) series.
Included in Lists
- Cambridge talks
- Cambridge University Computing and Technology Society (CUCaTS)
- Chris Davis' list
- custom
- Featured lists
- Featured talks
- Guy Emerson's list
- Mong Hall, Sidney Sussex College
- Trust & Technology Initiative - interesting events
- yk449
Note: Ex-directory lists are not shown.