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 BundyA 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.