Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

A learning procedure for mathematics

A learning procedure for mathematics This paper introduces a learning procedure whose input is a set of data and a set of axioms giving the domains and ranges of elementary functions including predicates. It repeatedly applies these axioms to the input data, which yields more and more complex compositions of the functions. These compositions are used to form quantified propositions, set constructors, and programs which are composed of the elementary functions in the input. The procedure is guided by partial results such as partial programs which are evaluated against the input data. In computer experiments, the procedure constructed mathematical conjectures such as Goldbach's conjecture and developed powerful theorem provers from simple proofs. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Annals of Mathematics and Artificial Intelligence Springer Journals

A learning procedure for mathematics

Download PDF
17 pages

Loading next page...
 
/lp/springer-journals/a-learning-procedure-for-mathematics-mX0W2PI1n1

References (18)

Publisher
Springer Journals
Copyright
Copyright
Subject
Computer Science; Artificial Intelligence; Mathematics, general; Computer Science, general; Complex Systems
ISSN
1012-2443
eISSN
1573-7470
DOI
10.1007/BF01530800
Publisher site
See Article on Publisher Site

Abstract

This paper introduces a learning procedure whose input is a set of data and a set of axioms giving the domains and ranges of elementary functions including predicates. It repeatedly applies these axioms to the input data, which yields more and more complex compositions of the functions. These compositions are used to form quantified propositions, set constructors, and programs which are composed of the elementary functions in the input. The procedure is guided by partial results such as partial programs which are evaluated against the input data. In computer experiments, the procedure constructed mathematical conjectures such as Goldbach's conjecture and developed powerful theorem provers from simple proofs.

Journal

Annals of Mathematics and Artificial Intelligence – Springer Journals

Published: Apr 5, 2005

There are no references for this article.