Mathematical Theories

  • Simon Colton
Part of the Distinguished Dissertations book series (DISTDISS)


It is not the purpose of this project to automate how humans create a mathematical theory, but rather to propose and implement a model by which theories can be formed by computer. While we do not explicitly study human techniques, we can study the theories they produce. In this chapter we analyse some theories from pure mathematics and draw some general conclusions about their nature. This restriction to pure mathematics simplifies the discussion, because no mention of the application of the theory is required.


Mathematical Theory Prime Number Cyclic Group Pure Mathematic Multiplication Table 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag London 2002

Authors and Affiliations

  • Simon Colton
    • 1
  1. 1.University of EdinburghEdinburghUK

Personalised recommendations