2011/03/23 by Ruhi Tuncer, Tuncer, Ruhi
Computer Science · #FOS: Computer and information sciences #Other Computer Science (cs.OH) #cs.OH
paper · pdf · doi:10.48550/arxiv.1104.3525
22 pages
arxiv created 2011/03/23 · arxiv updated 2011/04/19
We propose a simple cognitive model where qualitative and quantitative com- parisons enable animals to identify objects, associate them with their properties held in memory and make naive inference. Simple notions like equivalence re- lations, order relations are used. We then show that such processes are at the root of human mathematical reasoning by showing that the elements of totally ordered sets satisfy the Peano axioms. The process through which children learn counting is then formalized. Finally association is modeled as a Markov process leading to a stationary distribution.