A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf
.
Mathematics based on incremental learning—Excluded middle and inductive inference
2006
Theoretical Computer Science
Learning theoretic aspects of mathematics and logic have been studied by many authors. They study how mathematical and logical objects are algorithmically \learned" (inferred) from nite data. Although they study mathematical objects, the objective of the studies is learning. In this paper, a mathematics of which foundation itself is learning theoretic will be introduced. It is called Limit-Computable Mathematics. I t w as originally introduced as a means for \Proof Animation," which is expected
doi:10.1016/j.tcs.2005.10.019
fatcat:bjcpur2pxzeihdscoer2fz6ty4