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.
Unable to display preview. Download preview PDF.