Abstract
One of the most interesting and difficult questions we have addressed in this research is how to estimate the worth of a mathematical concept. When forming a theory by building new concepts from old ones, there is always a choice of which old concept to build on, and how to produce a new concept from it. In practice this leads to a large search space, only some of which can be explored in a reasonable time. HR uses the general heuristic of identifying and building on the most interesting concepts first. It is therefore important to be able to estimate whether or not a concept is interesting and to be able to order the concepts from the least interesting to the most interesting.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag London
About this chapter
Cite this chapter
Colton, S. (2002). Assessing Concepts. In: Automated Theory Formation in Pure Mathematics. Distinguished Dissertations. Springer, London. https://doi.org/10.1007/978-1-4471-0147-5_9
Download citation
DOI: https://doi.org/10.1007/978-1-4471-0147-5_9
Publisher Name: Springer, London
Print ISBN: 978-1-4471-1113-9
Online ISBN: 978-1-4471-0147-5
eBook Packages: Springer Book Archive