Computer assisted theorem proving is an increasingly important part of mathematical methodology, as well as a long-standing topic in artificial intelligence (AI) research. However, the current generation of theorem proving software have limited functioning in terms of providing new proofs. Importantly, they are not able to discriminate interesting theorems and proofs from trivial ones. In order for computers to develop further in theorem proving, there would need to be a radical change in how the software functions. Recently, machine learning results (...) in solving mathematical tasks have shown early promise that deep artificial neural networks could learn symbolic mathematical processing. In this paper, I analyze the theoretical prospects of such neural networks in proving mathematical theorems. In particular, I focus on the question how such AI systems could be incorporated in practice to theorem proving and what consequences that could have. In the most optimistic scenario, this includes the possibility of autonomous automated theorem provers (AATP). Here I discuss whether such AI systems could, or should, become accepted as active agents in mathematical communities. (shrink)

Young children with limited knowledge of formal mathematics can intuitively perform basic arithmetic‐like operations over nonsymbolic, approximate representations of quantity. However, the algorithmic rules that guide such nonsymbolic operations are not entirely clear. We asked whether nonsymbolic arithmetic operations have a function‐like structure, like symbolic arithmetic. Children (n = 74 4‐ to ‐8‐year‐olds in Experiment 1; n = 52 7‐ to 8‐year‐olds in Experiment 2) first solved two nonsymbolic arithmetic problems. We then showed children two unequal sets of objects, and (...) asked children which of the two derived solutions should be added to the smaller of the two sets to make them “about the same.” We hypothesized that, if nonsymbolic arithmetic follows similar function rules to symbolic arithmetic, then children should be able to use the solutions of nonsymbolic computations as inputs into another nonsymbolic problem. Contrary to this hypothesis, we found that children were unable to reliably do so, suggesting that these solutions may not operate as independent representations that can be used inputs into other nonsymbolic computations. These results suggest that nonsymbolic and symbolic arithmetic computations are algorithmically distinct, which may limit the extent to which children can leverage nonsymbolic arithmetic intuitions to acquire formal mathematics knowledge. (shrink)

Math and reading are related, and math problems are often accompanied by problems in reading. In the present study, we used a dimensional approach and we aimed to assess the relationship of reading and math with the cognitive skills assumed to underlie the development of math. The sample included 97 children from 4th and 5th grades of a primary school. Children were administered measures of reading and math, non-verbal IQ, and various underlying cognitive abilities of math. We also included measures (...) of phonological awareness and working memory. Two approaches were undertaken to elucidate the relations of the cognitive skills with math and reading. In the first approach, we examined the unique contributions of math and reading ability, as well as their interaction, to each cognitive ability. In the second approach, the cognitive abilities were taken to predict math and reading. Results from the first set of analyses showed specific effects of math on number sense and number system knowledge, whereas counting was affected by both math and reading. No math-by-reading interactions were observed. In contrast, for phonological awareness, an interaction of math and reading was found. Lower performing children on both math and reading performed disproportionately lower. Results with respect to the second approach confirmed the specific relation of counting, number sense, and number system knowledge to math and the relation of counting to reading but added that each math-related marker contributed independently to math. Following this approach, no unique effects of phonological awareness on math and reading were found. In all, the results show that math is specifically related to counting, number sense, and number system knowledge. The results also highlight what each approach can contribute to an understanding of the relations of the various cognitive correlates with reading and math. (shrink)

Understanding what numbers are means knowing several things. It means knowing how counting relates to numbers (called the cardinal principle or cardinality); it means knowing that each number is generated by adding one to the previous number (called the successor function or succession), and it means knowing that all and only sets whose members can be placed in one-to-one correspondence have the same number of items (called exact equality or equinumerosity). A previous study (Sarnecka & Carey, 2008) linked children's understanding (...) of cardinality to their understanding of succession for the numbers five and six. This study investigates the link between cardinality and equinumerosity for these numbers, finding that children either understand both cardinality and equinumerosity or they understand neither. This suggests that cardinality and equinumerosity (along with succession) are interrelated facets of the concepts five and six, the acquisition of which is an important conceptual achievement of early childhood. (shrink)

All humans share a universal, evolutionarily ancient approximate number system (ANS) that estimates and combines the numbers of objects in sets with ratio-limited precision. Interindividual variability in the acuity of the ANS correlates with mathematical achievement, but the causes of this correlation have never been established. We acquired psychophysical measures of ANS acuity in child and adult members of an indigene group in the Amazon, the Mundurucú, who have a very restricted numerical lexicon and highly variable access to mathematics education. (...) By comparing Mundurucú subjects with and without access to schooling, we found that education significantly enhances the acuity with which sets of concrete objects are estimated. These results indicate that culture and education have an important effect on basic number perception. We hypothesize that symbolic and nonsymbolic numerical thinking mutually enhance one another over the course of mathematics instruction. (shrink)

This chapter presents a re-understanding of the contents of our analog magnitude representations (e.g., approximate duration, distance, number). The approximate number system (ANS) is considered, which supports numerical representations that are widely described as fuzzy, noisy, and limited in their representational power. The contention is made that these characterizations are largely based on misunderstandings—that what has been called “noise” and “fuzziness” is actually an important epistemic signal of confidence in one’s estimate of the value. Rather than the ANS having noisy (...) or fuzzy numerical content, it is suggested that the ANS has exquisitely precise numerical content that is subject to epistemic limitations. Similar considerations will arise for other analog representations. The chapter discusses how this new understanding of ANS representations recasts the learnability problem for number and the conceptual changes that children must accomplish in the number domain. (shrink)

Why would we want to develop artificial human-like arithmetical intelligence, when computers already outperform humans in arithmetical calculations? Aside from arithmetic consisting of much more than mere calculations, one suggested reason is that AI research can help us explain the development of human arithmetical cognition. Here I argue that this question needs to be studied already in the context of basic, non-symbolic, numerical cognition. Analyzing recent machine learning research on artificial neural networks, I show how AI studies could potentially shed (...) light on the development of human numerical abilities, from the proto-arithmetical abilities of subitizing and estimating to counting procedures. Although the current results are far from conclusive and much more work is needed, I argue that AI research should be included in the interdisciplinary toolbox when we try to explain the development and character of numerical cognition and arithmetical intelligence. This makes it relevant also for the epistemology of mathematics. (shrink)

The main aim of this study was to analyze the patterns of changes in Approximate Number Sense precision from grade 1 to grade 9 in a sample of Russian schoolchildren. To fulfill this aim, the data from a longitudinal study of two cohorts of children were used. The first cohort was assessed at grades 1–5, and the second cohort was assessed at grades 5–9. ANS precision was assessed by accuracy and reaction time in a non-symbolic comparison test. The patterns of (...) change were estimated via mixed-effect growth models. The results revealed that in the first cohort, the average accuracy increased from grade 1 to grade 5 following a non-linear pattern and that the rate of growth slowed after grade 3. The non-linear pattern of changes in the second cohort indicated that accuracy started to increase from grade 7 to grade 9, while there were no changes from grade 5 to grade 7. However, the RT in the non-symbolic comparison test decreased evenly from grade 1 to grade 7, and the rate of processing non-symbolic information tended to stabilize from grade 7 to grade 9. Moreover, the changes in the rate of processing non-symbolic information were not explained by the changes in general processing speed. The results also demonstrated that accuracy and RT were positively correlated across all grades. These results indicate that accuracy and the rate of non-symbolic processing reflect two different processes, namely, the maturation and development of a non-symbolic representation system. (shrink)

Previous research reported that college students' symbolic addition and subtraction fluency improved after training with non-symbolic, approximate addition and subtraction. These findings were widely interpreted as strong support for the hypothesis that the Approximate Number System (ANS) plays a causal role in symbolic mathematics, and that this relation holds into adulthood. Here we report four experiments that fail to find evidence for this causal relation. Experiment 1 examined whether the approximate arithmetic training effect exists within a shorter training period than (...) originally reported (2 vs 6 days of training). Experiment 2 attempted to replicate and compare the approximate arithmetic training effect to a control training condition matched in working memory load. Experiments 3 and 4 replicated the original approximate arithmetic training experiments with a larger sample size. Across all four experiments (N = 318) approximate arithmetic training was no more effective at improving the arithmetic fluency of adults than training with control tasks. Results call into question any causal relationship between approximate, non-symbolic arithmetic and precise symbolic arithmetic. (shrink)

This study tested a structural model of cognitive-emotional explanatory variables to explain performance in mathematics. The predictor variables assessed were related to students’ level of development of early mathematical competencies (EMCs), specifically, relational and numerical competencies, predisposition toward mathematics, and the level of logical intelligence in a population of primary school Chilean students (n = 634). This longitudinal study also included the academic performance of the students during a period of four years as a variable. The sampled students were initially (...) assessed by means of an Early Numeracy Test (ENT), and, subsequently, they were administered a Likert-type scale to measure their predisposition toward mathematics (EPMAT) and a basic test of logical intelligence (TILE). The results of these tests were used to analyse the interaction of all the aforementioned variables by means of a structural equations model. This combined interaction model was able to predict 64.3% of the variability of observed performance. Preschool students' performance in EMCs was a strong predictor for achievement in mathematics for students between 8 to 11 years of age. Therefore, this paper highlights the importance of EMCs and the modulating role of predisposition toward mathematics. Also, this paper discusses the educational role of these findings, as well as possible ways to improve negative predispositions toward mathematical tasks in the school domain. (shrink)

The number of elements in a small set of items is appraised in a fast and exact manner, a phenomenon called subitizing. In contrast, humans provide imprecise responses when comparing larger numerosities, with decreasing precision as the number of elements increases. Estimation is thought to rely on a dedicated system for the approximate representation of numerosity. While previous behavioral and neuroimaging studies associate subitizing to a domain-general system related to object tracking and identification, the nature of small numerosity processing is (...) still debated. We investigated the neural processing of numerosity across subitizing and estimation ranges by examining electrophysiological activity during the memory retention period in a delayed numerical match-to-sample task. We also assessed potential differences in the neural signature of numerical magnitude in a fully non-symbolic or cross-format comparison. In line with behavioral performance, we observed modulation of parietal-occipital neural activity as a function of numerosity that differed in two ranges, with distinctive neural signatures of small numerosities showing clear similarities with those observed in visuospatial working memory tasks. We also found differences in neural activity related to numerical information in anticipation of single vs. cross-format comparison, suggesting a top-down modulation of numerical processing. Finally, behavioral results revealed enhanced performance in the mixed-format conditions and a significant correlation between task performance and symbolic mathematical skills. Overall, we provide evidence for distinct mechanisms related to small and large numerosity and differences in numerical encoding based on task demands. (shrink)

The goals of the present study were to test whether (and which) basic numerical abilities can be improved with training and whether training effects transfer to improvement in children’s math achievement. The literature is mixed with evidence that does or does not substantiate the efficacy of training basic numerical ability. In the present study, we developed a child-friendly software named ‘123 Bakery’ which includes four training modules; non-symbolic numerosity comparison, non-symbolic numerosity estimation, approximate arithmetic and symbol-to-numerosity mapping. Fifty-six first graders (...) were randomly assigned to either the training or control group. The training group participated in 6 weeks of training (5 times a week, 30 minutes per day). All participants underwent pre- and post- training assessment of their basic numerical processing ability (including numerosity discrimination acuity, symbolic/non-symbolic magnitude estimation, approximate arithmetic, symbol-to-numerosity mapping), overall math achievement and intelligence, 6 weeks apart. The acuity for numerosity discrimination (approximate number sense acuity; ANS acuity) significantly improved after training, but this training effect did not transfer to improvement in symbolic, exact calculation, or any other math ability. We conclude that basic numerical cognition training leads to improvement in ANS acuity, but whether this effect transfers to symbolic math ability remains to be further tested. (shrink)