Automated Theory Formation in Pure Mathematics by Simon Colton

By Simon Colton

in recent times, synthetic Intelligence researchers have principally targeted their efforts on fixing particular difficulties, with much less emphasis on 'the colossal photograph' - automating huge scale projects which require human-level intelligence to adopt. the topic of this publication, automatic thought formation in arithmetic, is one of these huge scale activity. automatic conception formation calls for the discovery of latest ideas, the calculating of examples, the making of conjectures and the proving of theorems. This ebook, representing 4 years of PhD paintings through Dr. Simon Colton demonstrates how conception formation might be computerized. construction on over twenty years of study into developing an automatic mathematician performed in Professor Alan Bundy's mathematical reasoning crew in Edinburgh, Dr. Colton has applied the HR procedure as an answer to the matter of forming theories via desktop. HR makes use of quite a few items of mathematical software program, together with computerized theorem provers, version turbines and databases, to construct a idea from the naked minimal of data - the axioms of a website. the most software of this paintings has been mathematical discovery, and HR has had many successes. specifically, it has invented 20 new forms of variety of enough curiosity to be permitted into the Encyclopaedia of Integer Sequences, a repository of over 60,000 sequences contributed via many (human) mathematicians.

Show description

Read or Download Automated Theory Formation in Pure Mathematics (Distinguished Dissertations) PDF

Similar logic books

Parsing Theory: Volume I Languages and Parsing: v. 1 (Monographs in Theoretical Computer Science. An EATCS Series)

The speculation of parsing is a crucial program quarter of the idea of formal languages and automata. The evolution of modem high-level programming languages created a necessity for a common and theoretically dean method for writing compilers for those languages. It was once perceived that the compilation technique needed to be "syntax-directed", that's, the functioning of a programming language compiler needed to be outlined thoroughly by means of the underlying formal syntax of the language.

Foundations of Mathematics and other Logical Essays: By Frank Plumpton Ramsey: Volume 16 (International Library of Philosophy)

First released in 2000. Routledge is an imprint of Taylor & Francis, an informa company.

Information Technology in Bio- and Medical Informatics: 6th International Conference, ITBAM 2015, Valencia, Spain, September 3-4, 2015, Proceedings (Lecture Notes in Computer Science)

This ebook constitutes the refereed lawsuits of the sixth foreign convention on details expertise in Bio- and scientific Informatics, ITBAM 2015, held in Valencia, Spain, in September 2015, together with DEXA 2015. The nine revised lengthy papers provided including 1 poster paper have been conscientiously reviewed and chosen from 15 submissions.

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016): 9th International Conference, LACL 2016, Nancy, France, December ... (Lecture Notes in Computer Science)

Edited less than the auspices of the organization of common sense, Language andInformation (FoLLI), this booklet constitutes the refereed court cases ofthe twentieth anniversary of the overseas convention on LogicalAspects of Computational Linguistics, LACL 2016, held in LORIA Nancy,France, in December 2016. the nineteen contributed papers, presentedtogether with four invited papers and six abstracts, have been carefullyreviewed and chosen from 38 submissions.

Additional info for Automated Theory Formation in Pure Mathematics (Distinguished Dissertations)

Example text

Download PDF sample

Rated 4.74 of 5 – based on 18 votes