Common Neural Functions during Children's Learning from Naturalistic and Controlled Mathematics Paradigms.

Two major goals of human neuroscience are to understand how the brain functions in the real world and to measure neural processes under conditions that are ecologically valid. A critical step toward these goals is understanding how brain activity during naturalistic tasks that mimic the real world relates to brain activity in more traditional laboratory tasks. In this study, we used intersubject correlations to locate reliable stimulus-driven cerebral processes among children and adults in a naturalistic video lesson and a laboratory forced-choice task that shared the same arithmetic concept. We show that relative to a control condition with grammatical content, naturalistic and laboratory arithmetic tasks evoked overlapping activation within brain regions previously associated with math semantics. The regions of specific functional overlap between the naturalistic mathematics lesson and laboratory mathematics task included bilateral intraparietal cortex, which confirms that this region processes mathematical content independently of differences in task mode. These findings suggest that regions of the intraparietal cortex process mathematical content when children are learning about mathematics in a naturalistic setting.

Bayesian validation of grammar productions for the language of thought.

Probabilistic proposals of Language of Thoughts (LoTs) can explain learning across different domains as statistical inference over a compositionally structured hypothesis space. While frameworks may differ on how a LoT may be implemented computationally, they all share the property that they are built from a set of atomic symbols and rules by which these symbols can be combined. In this work we propose an extra validation step for the set of atomic productions defined by the experimenter. It starts by expanding the defined LoT grammar for the cognitive domain with a broader set of arbitrary productions and then uses Bayesian inference to prune the productions from the experimental data. The result allows the researcher to validate that the resulting grammar still matches the intuitive grammar chosen for the domain. We then test this method in the language of geometry, a specific LoT model for geometrical sequence learning. Finally, despite the fact of the geometrical LoT not being a universal (i.e. Turing-complete) language, we show an empirical relation between a sequence's probability and its complexity consistent with the theoretical relationship for universal languages described by Levin's Coding Theorem.