Problem: There is currently a great deal of mysticism, uncritical hype, and blind adulation of imaginary mathematical and physical entities in popular culture. We seek to explore what a radical constructivist perspective on mathematical entities might entail, and to draw out the implications of this perspective for how we think about the nature of mathematical entities. Method: Conceptual analysis. Results: If we want to avoid the introduction of entities that are ill-defined and inaccessible to verification, then formal systems need to avoid introduction of potential and actual infinities. If decidability and consistency are desired, keep formal systems finite. Infinity is a useful heuristic concept, but has no place in proof theory. Implications: We attempt to debunk many of the mysticisms and uncritical adulations of Gödelian arguments and to ground mathematical foundations in intersubjectively verifiable operations of limited observers. We hope that these insights will be useful to anyone trying to make sense of claims about the nature of formal systems. If we return to the notion of formal systems as concrete, finite systems, then we can be clear about the nature of computations that can be physically realized. In practical terms, the answer is not to proscribe notions of the infinite, but to recognize that these concepts have a different status with respect to their verifiability. We need to demarcate clearly the realm of free creation and imagination, where platonic entities are useful heuristic devices, and the realm of verification, testing, and proof, where infinities introduce ill-defined entities that create ambiguities and undecidable, ill-posed sets of propositions. Constructivist content: The paper attempts to extend the scope of radical constructivist perspective to mathematical systems, and to discuss the relationships between radical constructivism and other allied, yet distinct perspectives in the debate over the foundations of mathematics, such as psychological constructivism and mathematical constructivism.

Key words: Foundations of mathematics,

verificationism,

finitism,

Platonism,

pragmatism,

Gödel’s Proof,

Halting Problem,

undecidability,

consistency,

computability,

actualism
This article focuses on an artificial life approach to some important problems in machine learning such as statistical discrimination, curve approximation, and pattern recognition. We describe a family of models, collectively referred to as semi-algebraic networks (SAN). These models are strongly inspired by two complementary lines of thought: the biological concept of autopoiesis and morphodynamical notions in mathematics. Mathematically defined as semi-algebraic sets, SANs involve geometric components that are submitted to two coupled processes: (a) the adjustment of the components (under the action of the learning examples), and (b) the regeneration of new components. Several examples of SANs are described, using different types of components. The geometric nature of SANs gives new possibilities for solving the bias/variance dilemma in discrimination or curve approximation problems. The question of building multilevel semi-algebraic networks is also addressed, as they are related to cognitive problems such as memory and morphological categorization. We describe an example of such multilevel models.

Constructivism is one of the central philosophies of research in the psychology of mathematics education. However, there is a danger in the ambiguous and at times uncritical references to it. This paper critically reviews the constructivism of Piaget and Glasersfeld, and attempts to distinguish some of the psychological, educational and epistemological consequences of their theories, including their implications for the philosophy of mathematics. Finally, the notion of ‘cognizing subject’ and its relation to the social context is examined critically.

Upshot: Leng attacks the indispensability argument for the existence of mathematical objects. She offers an account that treats the role of mathematics in science as an indispensable and useful part of theories, but retains nonetheless a fictionalist position towards mathematics. The result is an account of mathematics that is interesting for constructivists. Her view towards the nominalistic part of science is, however, more in conflict with radical constructivism.