Automated Theory Formation in Pure Mathematics

Nonfiction, Computers, Advanced Computing, Artificial Intelligence, Database Management, Data Processing, Science & Nature, Mathematics
Cover of the book Automated Theory Formation in Pure Mathematics by Simon Colton, Springer London
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Simon Colton ISBN: 9781447101475
Publisher: Springer London Publication: December 6, 2012
Imprint: Springer Language: English
Author: Simon Colton
ISBN: 9781447101475
Publisher: Springer London
Publication: December 6, 2012
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer London

Cover of the book Visualizing Argumentation by Simon Colton
Cover of the book Highlights in Coloproctology by Simon Colton
Cover of the book Reoperations in Cardiac Surgery by Simon Colton
Cover of the book Guide to HTML, JavaScript and PHP by Simon Colton
Cover of the book Cancer Chemotherapy in Clinical Practice by Simon Colton
Cover of the book Handbook of Iris Recognition by Simon Colton
Cover of the book Handbook of Pediatric Surgery by Simon Colton
Cover of the book Hybrid Predictive Control for Dynamic Transport Problems by Simon Colton
Cover of the book Entertaining the Whole World by Simon Colton
Cover of the book Image Registration by Simon Colton
Cover of the book Statistical Treatment of Turbulent Polydisperse Particle Systems by Simon Colton
Cover of the book PEM Fuel Cells with Bio-Ethanol Processor Systems by Simon Colton
Cover of the book Introduction to Image Processing Using R by Simon Colton
Cover of the book Stability Theory of Switched Dynamical Systems by Simon Colton
Cover of the book Improving Energy Efficiency in Industrial Energy Systems by Simon Colton
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy