Synopsis
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.
"synopsis" may belong to another edition of this title.
Product Description
Automated Theory Formation in Pure Mathematics The doctoral thesis upon which Simon Colton's book is based addressed the automation of the whole mathematical theory formation process. His method depends on the HR program which implements a new model for theory formation. Full description
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Automated Theory Formation in Pure Mathematics (Distinguishe...
Seller Image
Automated Theory Formation in Pure Mathematics
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 1202371-n
Stock Image
Automated Theory Formation in Pure Mathematics
Seller: California Books, Miami, FL, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # I-9781852336097
Stock Image
Automated Theory Formation in Pure Mathematics
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9781852336097_new
Buy New
£ 96.88
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Automated Theory Formation in Pure Mathematics
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 1202371-n
Buy New
£ 96.14
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Automated Theory Formation in Pure Mathematics
Published by
Springer London, Springer London Aug 2002, 2002
ISBN 10: 1852336099
ISBN 13: 9781852336097
New
Hardcover
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 database s, 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. 404 pp. Englisch. Seller Inventory # 9781852336097
Seller Image
Automated Theory Formation in Pure Mathematics
Print on DemandSeller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 . Seller Inventory # 4289667
Buy New
£ 82.20
£ 42.37 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Stock Image
Automated Theory Formation in Pure Mathematics
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 404. Seller Inventory # 261761354
Stock Image
Automated Theory Formation in Pure Mathematics
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 404 Illus. Seller Inventory # 7167893
Buy New
£ 130.44
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Automated Theory Formation in Pure Mathematics
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 404. Seller Inventory # 181761344
Seller Image
Automated Theory Formation in Pure Mathematics
Print on DemandSeller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Automated Theory Formation in Pure Mathematics | Simon Colton | Buch | Distinguished Dissertations | Einband - fest (Hardcover) | Englisch | 2002 | Springer | EAN 9781852336097 | Verantwortliche Person für die EU: Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu Print on Demand. Seller Inventory # 102421459