University of Cambridge > > Cambridge University Computing and Technology Society (CUCaTS) > The Theory behind TheoryMine

The Theory behind TheoryMine

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

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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


© 2006-2024, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity