Learn More
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(More)