We discuss ways in which a typical one-dimensional Brownian motion can be approximated by oscillations which are encoded by finite binary strings of high descriptive complexity. We study the recursive properties of Brownian motions that can be thus obtained.

We discuss ways in which a typical one-dimensional Brownian motion can be approximated by oscillations which are encoded by finite binary strings of high descriptive complexity. We study the recursive properties of Brownian motions that can be thus obtained.

In this paper, representational structures of arithmetical thinking, encoded in human minds, are described. On the basis of empirical research, it is possible to distinguish four types of mental number lines: the shortest mental number line, summation mental number lines, point-place mental number lines and mental lines of exact numbers. These structures may be treated as generative mechanisms of forming arithmetical representations underlying our numerical acts of reference towards cardinalities, ordinals and magnitudes. In the paper, the theoretical framework (...) for a formal model of mental arithmetical representations is constructed. Many competitive conceptions of the mental system responsible for our arithmetical thinking may be unified within the presented framework. The paradigm underlying our research may be interpreted philosophically as a neo-Kantian approach to modeling the mind’s representational structures. (shrink)

Yu, X., Riesz representation theorem, Borel measures and subsystems of second-order arithmetic, Annals of Pure and Applied Logic 59 65-78. Formalized concept of finite Borel measures is developed in the language of second-order arithmetic. Formalization of the Riesz representation theorem is proved to be equivalent to arithmetical comprehension. Codes of Borel sets of complete separable metric spaces are defined and proved to be meaningful in the subsystem ATR0. Arithmetical transfinite recursion is enough to prove the measurability (...) of Borel sets for any finite Borel measure on a compact complete separable metric space. (shrink)

There is evidence in Kant of the idea that concepts of particular numbers, such as the number 5, are derived from the representation of units, and in particular pure units, that is, units that are qualitatively indistinguishable. Frege, in contrast, rejects any attempt to derive concepts of number from the representation of units. In the Foundations of Arithmetic, he softens up his reader for his groundbreaking and unintuitive analysis of number by attacking alternative views, and he devotes the (...) majority of this attack to the units view, with particular attention to pure units. Since Frege, the units view has been all but abandoned. Nevertheless, the idea that concepts of number are derived from the representation of units has a long history, beginning with the ancient Greeks, and was prevalent among Frege's contemporaries. I am not interested in resurrecting the units view or in righting wrongs in Frege's criticisms of his contemporaries. Rather, I am interested in the program of deriving concepts of number from pure units and its history from Kant to Frege. An examination of that history helps us understand the units view in a way that Frege's criticisms do not, and in the process uncovers important features of both Kant's and Frege's views. I will argue that, although they had deep differences, Kant and Frege share assumptions about what such a view would require and about the limits of conceptual representation. I will also argue that they would have rejected the accounts given by some of Frege's contemporaries for the same reasons. Despite these agreements, however, there is evidence that Kant thinks that space and time play a role in overcoming the limitations of conceptual representation, while Frege argues that they do not. (shrink)

Human beings are permanently required to process the world numerically and, consequently, to perform computations to adapt their behaviour and they have developed various calculation strategies, some of them based on specific manipulations of the fingers. In this chapter, we argue that the way we express physically numerical concepts by raising fingers while counting leads to embodied representations of numbers and calculation procedures in the adult brain. To illustrate this, we focus on number and finger interactions in the context of (...) simple arithmetic operations. We show that the fixed order of fingers on the hand provides human beings with unique facilities to increment numerical changes or represent a cardinal value while solving arithmetic problems. In order to specify the influence of finger representation on mental arithmetic both at the cognitive and neural level, we review past and recent findings from behavioural, electrophysiological, and brain imaging studies. We start with anthropological and developmental data showing the role of fingers in the acquisition of arithmetic knowledge, then address the issue of whether number and finger interactions are also observed in adults solving arithmetic problems mentally. We suggest that arithmetic performance depends on the integrity of finger representations in children and adults. Finally, we overview the results of recent functional magnetic resonance imaging studies showing a common brain substrate for finger and number representations during and after the acquisition of arithmetic skills. (shrink)

Symbolic arithmetic is fundamental to science, technology and economics, but its acquisition by children typically requires years of effort, instruction and drill1,2. When adults perform mental arithmetic, they activate nonsymbolic, approximate number representations3,4, and their performance suffers if this nonsymbolic system is impaired5. Nonsymbolic number representations also allow adults, children, and even infants to add or subtract pairs of dot arrays and to compare the resulting sum or difference to a third array, provided that only approximate accuracy is required6–10. Here (...) we report that young children, who have mastered verbal counting and are on the threshold of arithmetic instruction, can build on their nonsymbolic number system to perform symbolic addition and subtraction11–15. Children across a broad socio-economic spectrum solved symbolic problems involving approximate addition or subtraction of large numbers, both in a laboratory test and in a school setting. Aspects of symbolic arithmetic therefore lie within the reach of children who have learned no algorithms for manipulating numerical symbols. Our findings help to delimit the sources of children’s difficulties learning symbolic arithmetic, and they suggest ways to enhance children’s engagement with formal mathematics. We presented children with approximate symbolic arithmetic problems in a format that parallels previous tests of non-symbolic arithmetic in preschool children8,9. In the first experiment, five- to six-year-old children were given problems such as ‘‘If you had twenty-four stickers and I gave you twenty-seven more, would you have more or less than thirty-five stickers?’’. Children performed well above chance (65.0%, t1952.77, P 5 0.012) without resorting to guessing or comparison strategies that could serve as alternatives to arithmetic. Children who have been taught no symbolic arithmetic therefore have some ability to perform symbolic addition problems. The children’s performance nevertheless fell short of performance on non-symbolic arithmetic tasks using equivalent addition problems with numbers presented as arrays of dots and with the addition operation conveyed by successive motions of the dots into a box (71.3% correct, F1,345 4.26, P 5 0.047)8.. (shrink)

We prove that the finite-model version of arithmetic with the divisibility relation is undecidable . Additionally we prove FM-representability theorem for this class of finite models. This means that a relation R on natural numbers can be described correctly on each input on almost all finite divisibility models if and only if R is of degree ≤0′. We obtain these results by interpreting addition and multiplication on initial segments of finite models with divisibility only.

The representation of mathematical objects in terms of (more) basic ones is part and parcel of (the foundations of) mathematics. In the usual foundations of mathematics, namely, ZFC set theory, all mathematical objects are represented by sets, while ordinary, namely, non–set theoretic, mathematics is represented in the more parsimonious language of second-order arithmetic. This paper deals with the latter representation for the rather basic case of continuous functions on the reals and Baire space. We show that the logical (...) strength of basic theorems named after Tietze, Heine, and Weierstrass changes significantly upon the replacement of “second-order representations” by “third-order functions.” We discuss the implications and connections to the reverse mathematics program and its foundational claims regarding predicativist mathematics and Hilbert’s program for the foundations of mathematics. Finally, we identify the problem caused by representations of continuous functions and formulate a criterion to avoid problematic codings within the bigger picture of representations. (shrink)

People frequently gesture when problem-solving, particularly on tasks that require spatial transformation. Gesture often facilitates task performance by interacting with internal mental representations, but how this process works is not well understood. We investigated this question by exploring the case of mental abacus, a technique in which users not only imagine moving beads on an abacus to compute sums, but also produce movements in gestures that accompany the calculations. Because the content of MA is transparent and readily manipulated, the task (...) offers a unique window onto how gestures interface with mental representations. We find that the size and number of MA gestures reflect the length and difficulty of math problems. Also, by selectively interfering with aspects of gesture, we find that participants perform significantly worse on MA under motor interference, but that perceptual feedback is not critical for success on the task. We conclude that premotor processes involved in the planning of gestures are critical to mental representation in MA. (shrink)

The chapters in this section of the volume reveal the striking variety of human numerical cognition. The section comprises four chapters that focus on different aspects of the representation of numerical knowledge, as well as three chapters that examine the several cognitive processes involved in the manipulation of numbers during simple mental arithmetic. They show how chronometric analyses, in combination with clever experimental designs, can reveal the cognitive processes and representations underlying this impressive collection of cognitive skills. Our goal (...) in this overview chapter is to highlight common themes that connect these contributions. In particular, we suggest links between the present contributions, all of which are firmly grounded in the traditional information-processing approach to the human mind, and the more recently emerged embodied cognition perspective, according to which all knowledge representations remain associated with those sensory and motor features that were activated during acquisition of that knowledge. (shrink)

This article explores the changing relationships between geometric and arithmetic ideas in medieval Europe mathematics, as reflected via the propositions of Book II of Euclid’s Elements. Of particular interest is the way in which some medieval treatises organically incorporated into the body of arithmetic results that were formulated in Book II and originally conceived in a purely geometric context. Eventually, in the Campanus version of the Elements these results were reincorporated into the arithmetic books of the Euclidean treatise. Thus, while (...) most of the Latin versions of the Elements had duly preserved the purely geometric spirit of Euclid’s original, the specific text that played the most prominent role in the initial passage of the Elements from manuscript to print—i.e., Campanus’ version—followed a different approach. On the one hand, Book II itself continued to appear there as a purely geometric text. On the other hand, the first ten results of Book II could now be seen also as possiblytranslatable into arithmetic, and in many cases even as inseparably associated with their arithmetic representation. (shrink)

Two experiments were conducted to investigate children’s interpretations of standard arithmetic word problems and the factors that influence their interpretations. In Experiment 1, children were required to solve a series of problems and then to draw and select pictures that represented the problems’ structures. Solution performance was found to vary systematically with the nature of the representations drawn and chosen. The crucial determinant of solution success was the interpretation a child assigned to certain phrases used in the problems. In Experiment (...) 2, solution and drawing accuracy were found to be significantly improved by rewording problems to avoid ambiguous linguistic forms. Together, these results imply that (a) word-problem solution errors are caused by misinterpretations of certain verbal expressions commonly used in problem texts, and (b) these misinterpretations are the result of missing or inadequate mappings of these verbal expressions to partwhole knowledge. (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)

The famous theory of undecidable sentences created by Kurt Godel in 1931 is presented as clearly and as rigorously as possible. Introductory explanations beginning with the necessary facts of arithmetic of integers and progressing to the theory of representability of arithmetical functions and relations in the system (S) prepare the reader for the systematic exposition of the theory of Godel which is taken up in the final chapter and the appendix.

Like number representation, basic arithmetic seems to be a natural candidate for abstract instantiation in the brain. To investigate this, researchers have examined effects of numeral format on elementary arithmetic (e.g., 4+5 vs. four+five). Different numeral formats often recruit distinct processes for arithmetic, reinforcing the conclusion that number processing is not necessarily abstracted away from numeral format.

Research has demonstrated that two types of affect have an influence on judgment and decision making: incidental affect (affect unrelated to a judgment or decision such as a mood) and integral affect (affect that is part of the perceiver’s internal representation of the option or target under consideration). So far, these two lines of research have seldom crossed so that knowledge concerning their combined effects is largely missing. To fill this gap, the present review highlights differences and similarities between (...) integral and incidental affect. Further, common and unique mechanisms that enable these two types of affect to influence judgment and choices are identified. Finally, some basic principles for affect integration when the two sources co-occur are outlined. These principles are discussed in relation to existing work that has focused on incidental or integral affect but not both. (shrink)

The aim of this study is to try to make use of real numbers for representing an infinite analysis of individual notions in an infinity of possible worlds.As an introduction to the subject, the author shows, firstly, the possibility of representing Boole's lattice of universal notions by an associate Boole's lattice of rational numbers.But, in opposition to the universal notions, definable by a finite number of predicates, an individual notion, cannot admits this sort of definition, because each state of an (...) individual subject is characterized by the values taken by an infinite number of predicates, each of whom may appear or disappear in the next state.The notion of “degree of identification of an individual notion” is then introduced and arithmetized by a rational number.As an individual notion can be defined by a convergent succession of degrees of identification, the real characteristic number of such an individual notion can be defined by the corresponding convergent succession of rational numbers, satisfying Cauchy's conditions for the convergence of successions. (shrink)

This article discusses the properties of a controllable, flexible, hybrid parallel computing architecture that potentially merges pattern recognition and arithmetic. Humans perform integer arithmetic in a fundamentally different way than logic-based computers. Even though the human approach to arithmetic is both slow and inaccurate it can have substantial advantages when useful approximations ( intuition ) are more valuable than high precision. Such a computational strategy may be particularly useful when computers based on nanocomponents become feasible because it offers a way (...) to make use of the potential power of these massively parallel systems. Because the system architecture is inspired by neuroscience and is applied to cognitive problems, occasional mention is made of experimental data from both fields when appropriate. (shrink)

To analyze the task of mental arithmetic with external representations in different number systems we model algorithms for addition and multiplication with Arabic and Roman numerals. This demonstrates that Roman numerals are not only informationally equivalent to Arabic ones but also computationally similar—a claim that is widely disputed. An analysis of our models' elementary processing steps reveals intricate tradeoffs between problem representation, algorithm, and interactive resources. Our simulations allow for a more nuanced view of the received wisdom on Roman (...) numerals. While symbolic computation with Roman numerals requires fewer internal resources than with Arabic ones, the large number of needed symbols inflates the number of external processing steps. (shrink)

A growing body of research has shown that symbolic number processing relates to individual differences in mathematics. However, it remains unclear which mechanisms of symbolic number processing are crucial—accessing underlying magnitude representation of symbols (i.e., symbol‐magnitude associations), processing relative order of symbols (i.e., symbol‐symbol associations), or processing of symbols per se. To address this question, in this study adult participants performed a dots‐number word matching task—thought to be a measure of symbol‐magnitude associations (numerical magnitude processing)—a numeral‐ordering task that focuses (...) on symbol‐symbol associations (numerical order processing), and a digit‐number word matching task targeting symbolic processing per se. Results showed that both numerical magnitude and order processing were uniquely related to arithmetic achievement, beyond the effects of domain‐general factors (intellectual ability, working memory, inhibitory control, and non‐numerical ordering). Importantly, results were different when a general measure of mathematics achievement was considered. Those mechanisms of symbolic number processing did not contribute to math achievement. Furthermore, a path analysis revealed that numerical magnitude and order processing might draw on a common mechanism. Each process explained a portion of the relation of the other with arithmetic (but not with a general measure of math achievement). These findings are consistent with the notion that adults’ arithmetic skills build upon symbol‐magnitude associations, and they highlight the effects that different math measures have in the study of numerical cognition. (shrink)

Dehaene (this volume) articulates a naturalistic approach to the cognitive foundations of mathematics. Further, he argues that the ‘number line’ (analog magnitude) system of representation is the evolutionary and ontogenetic foundation of numerical concepts. Here I endorse Dehaene’s naturalistic stance and also his characterization of analog magnitude number representations. Although analog magnitude representations are part of the evolutionary foundations of numerical concepts, I argue that they are unlikely to be part of the ontogenetic foundations of the capacity to represent (...) natural number. Rather, the developmental source of explicit integer list representations of number are more likely to be systems such as the object–file representations that articulate mid–level object based attention, systems that build parallel representations of small sets of individuals. (shrink)

Carrie Jenkins presents a new account of arithmetical knowledge, which manages to respect three key intuitions: a priorism, mind-independence realism, and empiricism. Jenkins argues that arithmetic can be known through the examination of empirically grounded concepts, non-accidentally accurate representations of the mind-independent world.

Hutto and Myin have proposed an account of radically enactive (or embodied) cognition (REC) as an explanation of cognitive phenomena, one that does not include mental representations or mental content in basic minds. Recently, Zahidi and Myin have presented an account of arithmetical cognition that is consistent with the REC view. In this paper, I first evaluate the feasibility of that account by focusing on the evolutionarily developed proto-arithmetical abilities and whether empirical data on them support the radical (...) enactivist view. I argue that although more research is needed, it is at least possible to develop the REC position consistently with the state-of-the-art empirical research on the development of arithmetical cognition. After this, I move the focus to the question whether the radical enactivist account can explain the objectivity of arithmetical knowledge. Against the realist view suggested by Hutto, I argue that objectivity is best explained through analyzing the way universal proto-arithmetical abilities determine the development of arithmetical cognition. (shrink)

We develop the method of iterated ultrapower representation to provide a unified and perspicuous approach for building automorphisms of countable recursively saturated models of Peano arithmetic . In particular, we use this method to prove Theorem A below, which confirms a long-standing conjecture of James Schmerl.Theorem AIf is a countable recursively saturated model of in which is a strong cut, then for any there is an automorphism j of such that the fixed point set of j is isomorphic to (...) .We also fine-tune a number of classical results. One of our typical results in this direction is Theorem B below, which generalizes a theorem of Kaye–Kossak–Kotlarski .Theorem BSuppose is a countable recursively saturated model of in which is a strong cut. There is a group embedding from into such that for each that is fixed point free, moves every undefinable element of. (shrink)

A set theory model of reality, representation and language based on the relation of completeness and incompleteness is explored. The problem of completeness of mathematics is linked to its counterpart in quantum mechanics. That model includes two Peano arithmetics or Turing machines independent of each other. The complex Hilbert space underlying quantum mechanics as the base of its mathematical formalism is interpreted as a generalization of Peano arithmetic: It is a doubled infinite set of doubled Peano arithmetics having a (...) remarkable symmetry to the axiom of choice. The quantity of information is interpreted as the number of elementary choices (bits). Quantum information is seen as the generalization of information to infinite sets or series. The equivalence of that model to a quantum computer is demonstrated. The condition for the Turing machines to be independent of each other is reduced to the state of Nash equilibrium between them. Two relative models of language as game in the sense of game theory and as ontology of metaphors (all mappings, which are not one-to-one, i.e. not representations of reality in a formal sense) are deduced. (shrink)

Dehaene (this volume) articulates a naturalistic approach to the cognitive foundations of mathematics. Further, he argues that the ‘number line’ (analog magnitude) system of representation is the evolutionary and ontogenetic foundation of numerical concepts. Here I endorse Dehaene’s naturalistic stance and also his characterization of analog magnitude number representations. Although analog magnitude representations are part of the evolutionary foundations of numerical concepts, I argue that they are unlikely to be part of the ontogenetic foundations of the capacity to represent (...) natural number. Rather, the developmental source of explicit integer list representations of number are more likely to be systems such as the object–file representations that articulate mid–level object based attention, systems that build parallel representations of small sets of individuals. (shrink)

Mangarevan traditionally contained two numeration systems: a general one, which was highly regular, decimal, and extraordinarily extensive; and a specific one, which was restricted to specific objects, based on diverging counting units, and interspersed with binary steps. While most of these characteristics are shared by numeration systems in related languages in Oceania, the binary steps are unique. To account for these characteristics, this article draws on—and tries to integrate—insights from anthropology, archeology, linguistics, psychology, and cognitive science more generally. The analysis (...) of mental arithmetic with these systems reveals that both types of systems entailed cognitive advantages and served important functions in the cultural context of their application. How these findings speak to more general questions revolving around the theoretical models and evolutionary trajectory of numerical cognition will be discussed in the. (shrink)

The goal of the research programme I describe in this article is a realist epistemology for arithmetic which respects arithmetic's special epistemic status (the status usually described as a prioricity) yet accommodates naturalistic concerns by remaining fundamentally empiricist. I argue that the central claims which would allow us to develop such an epistemology are (i) that arithmetical truths are known through an examination of our arithmetical concepts; (ii) that (at least our basic) arithmetical concepts are accurate mental (...) representations of elements of the arithmetical structure of the independent world; (iii) that (ii) obtains in virtue of the normal functioning of our sensory apparatus. The first of these claims protects arithmetic's special epistemic status relative, for example, to the laws of physics, the second preserves the independence of arithmetical truth, and the third ensures that we remain empiricists. Preliminaries Justifying and grounding concepts Cameras and filters An epistemology for arithmetic Concluding remarks. (shrink)

Previous work has investigated adults' knowledge of principles for arithmetic with positive numbers (Dixon, Deets, & Bangert, 2001). The current study extends this past work to address adults' knowledge of principles of arithmetic with a negative number, and also investigates links between knowledge of principles and problem representation. Participants (N = 44) completed two tasks. In the Evaluation task, participants rated how well sets of equations were solved. Some sets violated principles of arithmetic and others did not. Participants rated (...) non‐violation sets higher than violation sets for two different principles for subtraction with a negative number. In the Word Problem task, participants read word problems and set up equations that could be used to solve them. Participants who displayed greater knowledge of principles of arithmetic with a negative number were more likely to set up equations that involved negative numbers. Thus, participants' knowledge of arithmetic principles was related to their problem representations. (shrink)

Empirical discussions of mental representation appeal to a wide variety of representational kinds. Some of these kinds, such as the sentential representations underlying language use and the pictorial representations of visual imagery, are thoroughly familiar to philosophers. Others have received almost no philosophical attention at all. Included in this latter category are analogue magnitude representations, which enable a wide range of organisms to primitively represent spatial, temporal, numerical, and related magnitudes. This article aims to introduce analogue magnitude representations to (...) a philosophical audience by rehearsing empirical evidence for their existence and analysing their format, their content, and the computations they support. 1 Background1.1 Evidence of analogue magnitude representations1.2 Weber’s law1.3 Scepticism about analogue magnitude representations2 Format2.1 Carey’s analogy2.2 Neural realization2.3 Analogue representation2.4 Analogue magnitude representation components3 Content3.1 Do analogue magnitude representations have representational content?3.2 What do analogue magnitude representations represent?3.3 What content types do analogue magnitude representations have?4 Computations4.1 Arithmetic computation4.2 Practical deliberation5 Conclusion. (shrink)

: Fodor argues that perceptual representations are a subset of iconic representations, which are distinguished from symbolic/discursive representations. Iconic representations are nonconceptual and they do not support the abilities afforded by concepts. Iconic representations, for example, cannot support object individuation. If someone thinks that perception or some of its parts has imagistic NCC, they face the following dilemma. Either they will have to accept that this NCC does not allow for object individuation, but it represents instead conglomerations of properties and (...) at some stage of visual processing it must interface with cognition and its conceptual capacities for the visual objects to be individuated. Or, they will have to hold that the imagistic, NCC of perception, allows for object individuation. I opt for the second thesis because I think there is strong empirical evidence that objects are individuated during early vision. I also think that early vision individuates objects by means of, what I had previously called nonconceptual perceptual demonstrative reference. I argue, first, why Fodor’s view that iconic NCC does not enable object individuation is false. I also argue, contra Fodor, that early vision allows the perception of the cardinality of sets of objects. Keywords : Early Vision; Analog Representations; Object Individuation; Arithmetic Cognition; Cardinality of Sets L'individuazione di oggetti mediante il contenuto iconico: come è rappresentata la numerosità nella rappresentazione iconica? Riassunto: Per Fodor le rappresentazioni percettive sono un sottoinsieme delle rappresentazioni iconiche, distinte dalle rappresentazioni simbolico/discorsive. Le rappresentazioni iconiche sono nonconcettuali e non supportano le abilità richieste dai concetti. Le rappresentazioni iconiche, per esempio, non supportano l'individuazione di oggetti. Se si pensa che la percezione o qualche sua parte abbia un contenuto nonconcettuale come immagine, si ci si imbatte nel seguente dilemma. O si accetta che il NCC non permetta di individuare oggetti, ma che rappresenti conglomerati di proprietà e che si interfacci con la cognizione e le sue capacità concettuali, per individuare gli oggetti visivi. O si dice che l'immagine, il NCC, della percezione consenta di individuare oggetti. Propendo per la seconda tesi, poiché penso che ci sia solida evidenza empirica per cui gli oggetti vengono individuati durante le prime fasi della visione, in cui l’individuazione avviene mediante quanto definito come riferimento dimostrativo del contenuto nonconcettuale percettivo. Chiarirò le ragioni per cui la concezione di Fodor, per cui il contenuto nonconcettuale iconico non supporta l’individuazione di oggetti, è falsa. Inoltre, contra Fodor, sosterrò che le prime fasi della visione permettono la percezione della cardinalità di insiemi di oggetti. Parole chiave: Prime fasi della visione; Rappresentazioni analogiche; Individuazione di oggetti; Cognizione aritmetica; Cardinalità degli insiemi. (shrink)

We reformulate minimalist grammars as partial functions on term algebras for strings and trees. Using filler/role bindings and tensor product representations, we construct homomorphisms for these data structures into geometric vector spaces. We prove that the structure-building functions as well as simple processors for minimalist languages can be realized by piecewise linear operators in representation space. We also propose harmony, i.e. the distance of an intermediate processing step from the final well-formed state in representation space, as a measure (...) of processing complexity. Finally, we illustrate our findings by means of two particular arithmetic and fractal representations. (shrink)

A practical viewpoint links reality, representation, and language to calculation by the concept of Turing (1936) machine being the mathematical model of our computers. After the Gödel incompleteness theorems (1931) or the insolvability of the so-called halting problem (Turing 1936; Church 1936) as to a classical machine of Turing, one of the simplest hypotheses is completeness to be suggested for two ones. That is consistent with the provability of completeness by means of two independent Peano arithmetics discussed in Section (...) I. Many modifications of Turing machines cum quantum ones are researched in Section II for the Halting problem and completeness, and the model of two independent Turing machines seems to generalize them. Then, that pair can be postulated as the formal definition of reality therefore being complete unlike any of them standalone, remaining incomplete without its complementary counterpart. Representation is formal defined as a one-to-one mapping between the two Turing machines, and the set of all those mappings can be considered as “language” therefore including metaphors as mappings different than representation. Section III investigates that formal relation of “reality”, “representation”, and “language” modeled by (at least two) Turing machines. The independence of (two) Turing machines is interpreted by means of game theory and especially of the Nash equilibrium in Section IV. Choice and information as the quantity of choices are involved. That approach seems to be equivalent to that based on set theory and the concept of actual infinity in mathematics and allowing of practical implementations. (shrink)

Any set x is uniquely specified by the graph of the membership relation on the set obtained by adjoining x to the transitive closure of x. Thus any operation on sets can be looked at as an operation on these graphs. We look at the operations of ordinal arithmetic of sets in this light. This turns out to be simplest for a modified ordinal arithmetic based on the Zermelo ordinals, instead of the usual von Neumann ordinals. In this arithmetic, addition (...) of sets corresponds to concatenating graphs, and multiplication corresponds to replacing each edge of a graph by a copy of another graph. Characterizations for the von Neumann case are also given. (shrink)

We study Dedekind cuts on ordered Abelian groups. We introduce a monoid structure on them, and we characterise, via a suitable representation theorem, the universal part of the theory of such structures.

We reconsider some classical natural semantics of integers in the perspective of Kolmogorov complexity. To each such semantics one can attach a simple representation of integers that we suitably effectivize in order to develop an associated Kolmogorov theory. Such effectivizations are particular instances of a general notion of “self-enumerated system” that we introduce in this paper. Our main result asserts that, with such effectivizations, Kolmogorov theory allows to quantitatively distinguish the underlying semantics. We characterize the families obtained by such (...) effectivizations and prove that the associated Kolmogorov complexities constitute a hierarchy which coincides with that of Kolmogorov complexities defined via jump oracles and/or infinite computations . This contrasts with the well-known fact that usual Kolmogorov complexity does not depend on the chosen arithmetic representation of integers, let it be in any base n ≥ 2 or in unary. Also, in a conceptual point of view, our result can be seen as a mean to measure the degree of abstraction of these diverse semantics. (shrink)

We give a uniform proof of the theorems of Yao and Beigel–Tarui representing ACC predicates as constant depth circuits with MODm\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\hbox {MOD}_{m}$$\end{document} gates and a symmetric gate. The proof is based on a relativized, generalized form of Toda’s theorem expressed in terms of closure properties of formulas under bounded universal, existential and modular counting quantifiers. This allows the main proofs to be expressed in terms of formula classes instead of Boolean circuits. (...) The uniform version of the Beigel–Tarui theorem is then obtained automatically via the Furst–Saxe–Sipser and Paris–Wilkie translations. As a special case, we obtain a uniform version of Razborov and Smolensky’s representation of AC0[p]\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\hbox {AC}^{0}[p]$$\end{document} circuits. The paper is partly expository, but is also motivated by the desire to recast Toda’s theorem, the Beigel–Tarui theorem, and their proofs into the language of bounded arithmetic. However, no knowledge of bounded arithmetic is needed. (shrink)

The first collection of Leibniz's key writings on the binary system, newly translated, with many previously unpublished in any language. -/- The polymath Gottfried Wilhelm Leibniz (1646–1716) is known for his independent invention of the calculus in 1675. Another major—although less studied—mathematical contribution by Leibniz is his invention of binary arithmetic, the representational basis for today's digital computing. This book offers the first collection of Leibniz's most important writings on the binary system, all newly translated by the authors with many (...) previously unpublished in any language. Taken together, these thirty-two texts tell the story of binary as Leibniz conceived it, from his first youthful writings on the subject to the mature development and publication of the binary system. -/- As befits a scholarly edition, Strickland and Lewis have not only returned to Leibniz's original manuscripts in preparing their translations, but also provided full critical apparatus. In addition to extensive annotations, each text is accompanied by a detailed introductory “headnote” that explains the context and content. Additional mathematical commentaries offer readers deep dives into Leibniz's mathematical thinking. The texts are prefaced by a lengthy and detailed introductory essay, in which Strickland and Lewis trace Leibniz's development of binary, place it in its historical context, and chart its posthumous influence, most notably on shaping our own computer age. (shrink)

How do people make difficult decisions in situations involving substantial risk and uncertainty? In this study, we presented a difficult medical decision to three expert physicians in a combined “thinking aloud” and “cross examination” experiment. Verbatim transcripts were analyzed using script analysis to observe the process of constructing and making the decision, and using referring phrase analysis to determine the representation of knowledge of likelihoods. These analyses are compared with a formal decision analysis of the same problem to highlight (...) similarities and differences. The process of making the decision resembles an incremental, sequential‐refinement planning algorithm, where a complex decision is broken into a sequence of choices to be made with a simplified description of the alternatives. This strategy results in certain kinds of relevant information being underweighted in the final decision. Knowledge of likelihood appears to be represented as symbolic descriptions capturing categorical and ordinal relations with “landrhark” likelihoods, only some of which are described numerically. Numerical probabilities, capable of being combined and compared arithmetically, were not observed. These observations suggest an explanation for the heuristics and biases in human decision making under uncertainty in terms of the processes that manipulate symbolic descriptions of likelihoods and construct plans of action for situations involving risk and uncertainty. (shrink)

Using only propositional connectives and the provability predicate of a Σ1-sound theory T containing Peano Arithmetic we define recursively enumerable relations that are complete for specific natural classes of relations, as the class of all r. e. relations, and the class of all strict partial orders. We apply these results to give representations of these classes in T by means of formulas.

A crucial part of the contemporary interest in logicism in the philosophy of mathematics resides in its idea that arithmetical knowledge may be based on logical knowledge. Here an implementation of this idea is considered that holds that knowledge of arithmetical principles may be based on two things: (i) knowledge of logical principles and (ii) knowledge that the arithmetical principles are representable in the logical principles. The notions of representation considered here are related to theory-based and (...) structure-based notions of representation from contemporary mathematical logic. It is argued that the theory-based versions of such logicism are either too liberal (the plethora problem) or are committed to intuitively incorrect closure conditions (the consistency problem). Structure-based versions must on the other hand respond to a charge of begging the question (the circularity problem) or explain how one may have a knowledge of structure in advance of a knowledge of axioms (the signature problem). This discussion is significant because it gives us a better idea of what a notion of representation must look like if it is to aid in realizing some of the traditional epistemic aims of logicism in the philosophy of mathematics. (shrink)

The late nineteenth century gradually witnessed a liberalization of the kinds of mathematical object and forms of mathematical reasoning permissible in physical argumentation. The construction of theories of units illustrates the slow and difficult spread of new “algebraic” modes of mathematical intelligibility, developed by leading mathematicians from the 1830s onwards, into elementary arithmetical pedagogy, experimental physics, and fields of physical practice like telegraphic engineering. A watershed event in this process was a clash that took place during 1878 between J. (...) D. Everett and James Thomson over the meaning and algebraic manipulation of dimensional formulae. This precipitated the emergence of rival “Maxwellian” and “Thomsonian” approaches towards interpreting and applying “dimensional” equations, which expressed the relationship between derived and fundamental units in an absolute system of measurement. What at first looks like a dispute over a seemingly esoteric mathematical tool for unit conversion turns out to concern Everett’s break with arithmetical algebra in the representation and manipulation of physical quantities. This move prompted a vigorous rebuttal from Thomsonian defenders of an orthodox “arithmetical empiricism” on epistemological, semantic, or pedagogical grounds. Their resistance in Victorian Britain to a shift in mathematical intelligibility is suggestive of the difficult birth of theoretical physics, in which the intermediate steps of a mathematical argument need have no direct physical meaning. (shrink)