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.
The Theory behind TheoryMineWe 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.
Alan BundyUniversity of Edinburgh A concept we refer to as the biological constraint is shown to be able where id=11;
to explain the effectiveness of mathematical descriptions of the
universe, as well as accounting for the origin of life and our ability
to think logically. The biological constraint, which can be studied
systematically through the use of appropriate models, refers to
selection in the biological realm in favour of mechanisms that have wide
applicability, a subset of which have mathematical character that can
evolve to ever subtler forms. The precise conformance of physical
phenomena to precise mathematical laws is related to the enforcement of
symmetry.

Miscellanea Speaker's slides (PDF) 