175 years of Springer publishing +++ Through June 30: 50% off Physics & Astronomy Books

Distinguished Dissertations

Automated Theory Formation in Pure Mathematics

Authors: Colton, Simon

Buy this book

eBook $149.00
price for USA (gross)
  • ISBN 978-1-4471-0147-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $189.00
price for USA
  • ISBN 978-1-85233-609-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $189.00
price for USA
  • ISBN 978-1-4471-1113-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

In recent years, Artificial Intelligence researchers have largely focused their efforts on solving specific problems, with less emphasis on 'the big picture' - automating large scale tasks which require human-level intelligence to undertake. The subject of this book, automated theory formation in mathematics, is such a large scale task. Automated theory formation requires the invention of new concepts, the calculating of examples, the making of conjectures and the proving of theorems. This book, representing four years of PhD work by Dr. Simon Colton demonstrates how theory formation can be automated. Building on over 20 years of research into constructing an automated mathematician carried out in Professor Alan Bundy's mathematical reasoning group in Edinburgh, Dr. Colton has implemented the HR system as a solution to the problem of forming theories by computer. HR uses various pieces of mathematical software, including automated theorem provers, model generators and databases, to build a theory from the bare minimum of information - the axioms of a domain. The main application of this work has been mathematical discovery, and HR has had many successes. In particular, it has invented 20 new types of number of sufficient interest to be accepted into the Encyclopaedia of Integer Sequences, a repository of over 60,000 sequences contributed by many (human) mathematicians.

Table of contents (15 chapters)

Buy this book

eBook $149.00
price for USA (gross)
  • ISBN 978-1-4471-0147-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $189.00
price for USA
  • ISBN 978-1-85233-609-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $189.00
price for USA
  • ISBN 978-1-4471-1113-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Automated Theory Formation in Pure Mathematics
Authors
Series Title
Distinguished Dissertations
Copyright
2002
Publisher
Springer-Verlag London
Copyright Holder
Springer-Verlag London Limited
eBook ISBN
978-1-4471-0147-5
DOI
10.1007/978-1-4471-0147-5
Hardcover ISBN
978-1-85233-609-7
Softcover ISBN
978-1-4471-1113-9
Edition Number
1
Number of Pages
XVI, 380
Topics