Classical interpretations of Goedels formal reasoning, and of his conclusions, implicitly imply that mathematical languages are essentially incomplete, in the sense that the truth of some arithmetical propositions of any formal mathematical language, under any interpretation, is, both, non-algorithmic, and essentially unverifiable. However, a language of general, scientific, discourse, which intends to mathematically express, and unambiguously communicate, intuitive concepts that correspond to scientific investigations, cannot allow its mathematical propositions to be interpreted ambiguously. Such a language must, therefore, define mathematical truth (...) verifiably. We consider a constructive interpretation of classical, Tarskian, truth, and of Goedel's reasoning, under which any formal system of Peano Arithmetic---classically accepted as the foundation of all our mathematical Languages---is verifiably complete in the above sense. We show how some paradoxical concepts of Quantum mechanics can, then, be expressed, and interpreted, naturally under a constructive definition of mathematical truth. (shrink)

We consider the argument that Tarski's classic definitions permit an intelligence---whether human or mechanistic---to admit finitary evidence-based definitions of the satisfaction and truth of the atomic formulas of the first-order Peano Arithmetic PA over the domain N of the natural numbers in two, hitherto unsuspected and essentially different, ways: (1) in terms of classical algorithmic verifiabilty; and (2) in terms of finitary algorithmic computability. We then show that the two definitions correspond to two distinctly different assignments of satisfaction and truth (...) to the compound formulas of PA over N---I_PA(N; SV ) and I_PA(N; SC). We further show that the PA axioms are true over N, and that the PA rules of inference preserve truth over N, under both I_PA(N; SV ) and I_PA(N; SC). We then show: (a) that if we assume the satisfaction and truth of the compound formulas of PA are always non-finitarily decidable under I_PA(N; SV ), then this assignment corresponds to the classical non-finitary putative standard interpretation I_PA(N; S) of PA over the domain N; and (b) that the satisfaction and truth of the compound formulas of PA are always finitarily decidable under the assignment I_PA(N; SC), from which we may finitarily conclude that PA is consistent. We further conclude that the appropriate inference to be drawn from Goedel's 1931 paper on undecidable arithmetical propositions is that we can define PA formulas which---under interpretation---are algorithmically verifiable as always true over N, but not algorithmically computable as always true over N. We conclude from this that Lucas' Goedelian argument is validated if the assignment I_PA(N; SV ) can be treated as circumscribing the ambit of human reasoning about `true' arithmetical propositions, and the assignment I_PA(N; SC) as circumscribing the ambit of mechanistic reasoning about `true' arithmetical propositions. (shrink)

In this multi-disciplinary investigation we show how an evidence-based perspective of quantification---in terms of algorithmic verifiability and algorithmic computability---admits evidence-based definitions of well-definedness and effective computability, which yield two unarguably constructive interpretations of the first-order Peano Arithmetic PA---over the structure N of the natural numbers---that are complementary, not contradictory. The first yields the weak, standard, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically verifiable Tarskian truth values to the formulas of PA under the interpretation. (...) The second yields a strong, finitary, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically computable Tarskian truth values to the formulas of PA under the interpretation. We situate our investigation within a broad analysis of quantification vis a vis: * Hilbert's epsilon-calculus * Goedel's omega-consistency * The Law of the Excluded Middle * Hilbert's omega-Rule * An Algorithmic omega-Rule * Gentzen's Rule of Infinite Induction * Rosser's Rule C * Markov's Principle * The Church-Turing Thesis * Aristotle's particularisation * Wittgenstein's perspective of constructive mathematics * An evidence-based perspective of quantification. By showing how these are formally inter-related, we highlight the fragility of both the persisting, theistic, classical/Platonic interpretation of quantification grounded in Hilbert's epsilon-calculus; and the persisting, atheistic, constructive/Intuitionistic interpretation of quantification rooted in Brouwer's belief that the Law of the Excluded Middle is non-finitary. We then consider some consequences for mathematics, mathematics education, philosophy, and the natural sciences, of an agnostic, evidence-based, finitary interpretation of quantification that challenges classical paradigms in all these disciplines. (shrink)

We show how removing faith-based beliefs in current philosophies of classical and constructive mathematics admits formal, evidence-based, definitions of constructive mathematics; of a constructively well-defined logic of a formal mathematical language; and of a constructively well-defined model of such a language. -/- We argue that, from an evidence-based perspective, classical approaches which follow Hilbert's formal definitions of quantification can be labelled `theistic'; whilst constructive approaches based on Brouwer's philosophy of Intuitionism can be labelled `atheistic'. -/- We then adopt what may (...) be labelled a finitary, evidence-based, `agnostic' perspective and argue that Brouwerian atheism is merely a restricted perspective within the finitary agnostic perspective, whilst Hilbertian theism contradicts the finitary agnostic perspective. -/- We then consider the argument that Tarski's classic definitions permit an intelligence---whether human or mechanistic---to admit finitary, evidence-based, definitions of the satisfaction and truth of the atomic formulas of the first-order Peano Arithmetic PA over the domain N of the natural numbers in two, hitherto unsuspected and essentially different, ways. -/- We show that the two definitions correspond to two distinctly different---not necessarily evidence-based but complementary---assignments of satisfaction and truth to the compound formulas of PA over N. -/- We further show that the PA axioms are true over N, and that the PA rules of inference preserve truth over N, under both the complementary interpretations; and conclude some unsuspected constructive consequences of such complementarity for the foundations of mathematics, logic, philosophy, and the physical sciences. -/- . (shrink)

The Goedelian approach is discussed as a prime example of a science towards the origins. While mere self­referential objectification locks in to its own by­products, self­releasing objectification informs the formation of objects at hand and their different levels of interconnection. Guided by the spirit of Goedel's work a self­reflective science can open the road where old tenets see only blocked paths. “This is, as it were, an analysis of the analysis itself, but if that is done it forms the fundamental (...) of human science, as far as this kind of things is concerned.” G. Leibniz, ('Methodus Nova ...', 1673) . (shrink)

This Element, written for researchers and students in philosophy and the behavioral sciences, reviews and critically assesses extant work on number concepts in developmental psychology and cognitive science. It has four main aims. First, it characterizes the core commitments of mainstream number cognition research, including the commitment to representationalism, the hypothesis that there exist certain number-specific cognitive systems, and the key milestones in the development of number cognition. Second, it provides a taxonomy of influential views within mainstream number cognition research, (...) along with the central challenges these views face. Third, it identifies and critically assesses a series of core philosophical assumptions often adopted by number cognition researchers. Finally, the Element articulates and defends a novel version of pluralism about number concepts. (shrink)

This chapter presents arguments for two slightly different versions of the thesis that the value of persons is incomparable. Both arguments allege an incompatibility between the demands of a certain kind of practical reasoning and the presuppositions of value comparisons. The significance of these claims is assessed in the context of the “Numbers problem”—the question of whether one morally ought to benefit one group of potential aid recipients rather than another simply because they are greater in number. It is argued (...) that many of the popular approaches to this problem—even ones that avoid the aggregation of personal value—are imperiled by the incomparability theses. -/- . (shrink)

On a now orthodox view, humans and many other animals possess a “number sense,” or approximate number system, that represents number. Recently, this orthodox view has been subject to numerous critiques that question whether the ANS genuinely represents number. We distinguish three lines of critique – the arguments from congruency, confounds, and imprecision – and show that none succeed. We then provide positive reasons to think that the ANS genuinely represents numbers, and not just non-numerical confounds or exotic substitutes for (...) number, such as “numerosities” or “quanticals,” as critics propose. In so doing, we raise a neglected question: numbers of what kind? Proponents of the orthodox view have been remarkably coy on this issue. But this is unsatisfactory since the predictions of the orthodox view, including the situations in which the ANS is expected to succeed or fail, turn on the kind of number being represented. In response, we propose that the ANS represents not only natural numbers, but also non-natural rational numbers. It does not represent irrational numbers, however, and thereby fails to represent the real numbers more generally. This distances our proposal from existing conjectures, refines our understanding of the ANS, and paves the way for future research. (shrink)

The approximate number system (ANS) enables organisms to represent the approximate number of items in an observed collection, quickly and independently of natural language. Recently, it has been proposed that the ANS goes beyond representing natural numbers by extracting and representing rational numbers (Clarke & Beck, 2021a). Prior work demonstrates that adults and children discriminate ratios in an approximate and ratio-dependent manner, consistent with the hallmarks of the ANS. Here, we use a well-known “connectedness illusion” to provide evidence that these (...) ratio-dependent ratio discriminations are (a) based on the perceived number of items in seen displays (and not just non-numerical confounds), (b) are not dependent on verbal working memory, or explicit counting routines, and (c) involve representations with a part-whole (or subset-superset) format, like a fraction, rather than a part-part format, like a ratio. These results vindicate key predictions of the hypothesis that the ANS represents rational numbers. (shrink)

It is often assumed that adaptation — a temporary change in sensitivity to a perceptual dimension following exposure to that dimension — is a litmus test for what is and is not a “primary visual attribute”. Thus, papers purporting to find evidence of number adaptation motivate a claim of great philosophical significance: That number is something that can be seen in much the way that canonical visual features, like color, contrast, size, and speed, can. Fifteen years after its reported discovery, (...) number adaptation’s existence seems to be nearly undisputed, with dozens of papers documenting support for the phenomenon. The aim of this paper is to offer a counterweight — to critically assess the evidence for and against number adaptation. After surveying the many reasons for thinking that number adaptation exists, we introduce several lesser-known reasons to be skeptical. We then advance an alternative account — the old news hypothesis — which can accommodate previously published findings while explaining various (otherwise unexplained) anomalies in the existing literature. Next, we describe the results of eight pre-registered experiments which pit our novel old news hypothesis against the received number adaptation hypothesis. Collectively, the results of these experiments undermine the number adaptation hypothesis on several fronts, whilst consistently supporting the old news hypothesis. More broadly our work raises questions about the status of adaptation itself as a means of discerning what is and is not a visual attribute. (shrink)

Number is a major object in mathematics. Mathematics is a discipline which studies the properties of a number. The object is expressible by mathematical language, which has been devised more rigorously than natural language. However, the language is not thoroughly free from natural language. Countability of natural number is also originated from natural language. It is necessary to understand how language leads a number into mathematics, its’ main playground.

Number Nativism is the view that humans innately represent precise natural numbers. Despite a long and venerable history, it is often considered hopelessly out of touch with the empirical record. I argue that this is a mistake. After clarifying Number Nativism and distancing it from related conjectures, I distinguish three arguments which have been seen to refute the view. I argue that, while popular, two of these arguments miss the mark, and fail to place pressure on Number Nativism. Meanwhile, a (...) third argument is best construed as a challenge: rather than refuting Number Nativism, it challenges its proponents to provide positive evidence for their thesis and show that this can be squared with apparent counterevidence. In response, I introduce psycholinguistic work on The Tolerance Principle (not yet considered in this context), propose that it is hard to make sense of without positing precise and innate representations of natural numbers, and argue that there is no obvious reason why these innate representations couldn’t serve as a basis for mature numeric conception. (shrink)

The number of bricks in a ziggurat is a sum of consecutive squares.

This paper criticizes the view that number words in argument position retain the meaning they have on an adjectival or determiner use, as argued by Hofweber :179–225, 2005) and Moltmann :499–534, 2013a, 2013b). In particular the paper re-evaluates syntactic evidence from German given in Moltmann to that effect.

Suppose we can save either a larger group of persons or a distinct, smaller group from some harm. Many people think that, all else equal, we ought to save the greater number. This article defends this view (with qualifications). But unlike earlier theories, it does not rely on the idea that several people's interests or claims receive greater aggregate weight. The argument starts from the idea that due to their stakes, the affected people have claims to have a say in (...) the rescue decision. As rescuers, our primary duty is to respect these procedural claims, which we must do by doing what these people would decide, in a process where each is given an equal vote on the matter. So in cases where each votes in their own self-interest, respect for their equal right to decide, or their autonomy, will lead us to save the greater number. The argument is explained in detail, with special attention to the questions of how, exactly, it avoids aggregation, and of why majority rule is superior to lottery procedures. The view has further advantages. Especially, it explains the “partial” relevance of numbers in cases involving unequal harms, and it does so in a way that dissolves the appearance of paradox that besets theories of “partial aggregation.”. (shrink)

The question whether numbers are objects is a central question in the philosophy of mathematics. Frege made use of a syntactic criterion for objethood: numbers are objects because there are singular terms that stand for them, and not just singular terms in some formal language, but in natural language in particular. In particular, Frege (1884) thought that both noun phrases like the number of planets and simple numerals like eight as in (1) are singular terms referring to numbers as abstract (...) objects. (shrink)

In our target article, we argued that the number sense represents natural and rational numbers. Here, we respond to the 26 commentaries we received, highlighting new directions for empirical and theoretical research. We discuss two background assumptions, arguments against the number sense, whether the approximate number system represents numbers or numerosities, and why the ANS represents rational numbers.

David Hilbert's finitistic standpoint is a conception of elementary number theory designed to answer the intuitionist doubts regarding the security and certainty of mathematics. Hilbert was unfortunately not exact in delineating what that viewpoint was, and Hilbert himself changed his usage of the term through the 1920s and 30s. The purpose of this paper is to outline what the main problems are in understanding Hilbert and Bernays on this issue, based on some publications by them which have so far received (...) little attention, and on a number of philosophical reconstructions of the viewpoint (in particular, by Hand, Kitcher, and Tait). (shrink)

With the aid of some results from current linguistic theory I examine a recent anti-Fregean line with respect to hybrid talk of numbers and ordinary things, such as ‘the number of moons of Jupiter is four’. I conclude that the anti-Fregean line with respect to these sentences is indefensible.

Visual number adaption is a widely accepted phenomenon. This paper advances an alternative explanation for putative cases of the phenomenon. We propose that such cases may simply reflect observers adapting to the items in perceived displays, rather than their numerical quantity. Three experiments motivate consideration of this novel proposal and call into question the evidential basis for received formulations of the number adaptation hypothesis.

The conceptualisation of numbers is culturally bound. This may seem like a counterintuitive claim, but one illustration thereof is the limitations of the resemblance of the ancient Greek concept of number to that in modern mathematics.

I respond to P. McLaughlin and O. Schlaudt’s critique of my analysis of the cross-cultural origins of numbers, noting that my work draws extensively upon number systems as ethnographically attested around the globe, and thus is based only in part on the important Mesopotamian case study. I place the work of Peter Damerow in its historical context, noting its genesis in Piaget’s genetic epistemology and the problems associated with applying Piaget’s developmental theory to societies. While Piaget assumed numeracy involves invariant (...) mental transformations, ongoing research in numerical cognition has been largely unsuccessful in identifying specific brain-bound mechanisms for numerical structure. Accordingly, I suggest the extended mind paradigm from the philosophy of mind may be a more fruitful approach, and detail such an approach using Material Engagement Theory. (shrink)

Pythagoras’s number doctrine had a great effect on the development of science. Number – the key to the highest reality, and such approach allowed Pythagoras to transform mathematics from craft into science, which continues implementation of its project of “digitization of being”. Pythagoras's project underwent considerable transformation, but it only means that the plan in knowledge is often far from result.

One of the most important abilities we have as humans is the ability to think about number. In this chapter, we examine the question of whether there is an essential connection between language and number. We provide a careful examination of two prominent theories according to which concepts of the positive integers are dependent on language. The first of these claims that language creates the positive integers on the basis of an innate capacity to represent real numbers. The second claims (...) that language’s function is to integrate contents from modules that humans share with other animals. We argue that neither model is successful. (shrink)

According to a tradition stemming from Quine and Putnam, we have the same broadly inductive reason for believing in numbers as we have for believing in electrons: certain theories that entail that there are numbers are better, qua explanations of our evidence, than any theories that do not. This paper investigates how modal theories of the form ‘Possibly, the concrete world is just as it in fact is and T’ and ‘Necessarily, if standard mathematics is true and the concrete world (...) is just as it in fact is, then T’ bear on this claim. It concludes that, while analogies with theories that attempt to eliminate unobservable concrete entities provide good reason to regard theories of the former sort as explanatorily bad, this reason does not apply to theories of the latter sort. (shrink)

This is a book about numbers– what they are as concepts and how and why they originate–as viewed through the material devices used to represent and manipulate them. Fingers, tallies, tokens, and written notations, invented in both ancestral and contemporary societies, explain what numbers are, why they are the way they are, and how we get them. Cognitive archaeologist Karenleigh A. Overmann is the first to explore how material devices contribute to numerical thinking, initially by helping us to visualize and (...) manipulate the perceptual experience of quantity that we share with other species. She explores how and why numbers are conceptualized and then elaborated, as well as the central role that material objects play in both processes. Overmann’s volume thus offers a view of numerical cognition that is based on an alternative set of assumptions about numbers, their material component, and the nature of the human mind and thinking. Karim Zahidi (“Radicalizing numerical cognition,” Synthese, 2021, p. 530) called this reconstruction, as presented in journal articles, a “naturalistically plausible account of the emergence of the modern natural number concept," while César Dos Santos ("Review of: 'The Materiality of Numbers'," Qeios, 2023, p. 1) called it "a 'Copernican Revolution' in the way we understand the relationship between numbers and the material devices we use to record and manipulate them." . (shrink)

A common view is that natural language treats numbers as abstract objects, with expressions like the number of planets, eight, as well as the number eight acting as referential terms referring to numbers. In this paper I will argue that this view about reference to numbers in natural language is fundamentally mistaken. A more thorough look at natural language reveals a very different view of the ontological status of natural numbers. On this view, numbers are not primarily treated abstract objects, (...) but rather 'aspects' of pluralities of ordinary objects, namely number tropes, a view that in fact appears to have been the Aristotelian view of numbers. Natural language moreover provides support for another view of the ontological status of numbers, on which natural numbers do not act as entities, but rather have the status of plural properties, the meaning of numerals when acting like adjectives. This view matches contemporary approaches in the philosophy of mathematics of what Dummett called the Adjectival Strategy, the view on which number terms in arithmetical sentences are not terms referring to numbers, but rather make contributions to generalizations about ordinary (and possible) objects. It is only with complex expressions somewhat at the periphery of language such as the number eight that reference to pure numbers is permitted. (shrink)

This paper discusses the "numbers problem," the problem of explaining why you should save more people rather than fewer when forced to choose. Existing non-consequentialist approaches to the problem appeal to fairness to explain why. I argue that this is a mistake and that we can give a more satisfying answer by appealing to requirements of charity or beneficence.

In this paper, we explore the properties and optimization techniques related to polyhedral cones and energy numbers with a focus on the cone of positive semidefinite matrices and efficient computation strategies for kernels. In Part (a), we examine the polyhedral nature of the cone of positive semidefinite matrices, , establishing that it does not form a polyhedral cone for due to its infinite dimensional characteristics. In Part (b), we present an algorithm for efficiently computing the kernel function on-the-fly, leveraging a (...) polyhedral description of the convex hull generated by the feature mappings and . By restructuring the problem and using gradient-based optimization techniques, our approach minimizes memory usage and computational overhead, thus enabling scalable computation. Through examples and visualizations, we demonstrate the practical applications and efficiency of the proposed algorithm in optimizing these kernel computations. (shrink)

We introduce for the first time the appurtenance equation and inclusion equation, which help in understanding the operations with neutrosophic numbers within the frame of neutrosophic statistics. The way of solving them resembles the equations whose coefficients are sets (not single numbers).

Is the way we use propositions to individuate beliefs and other intentional states analogous to the way we use numbers to measure weights and other physical magnitudes? In an earlier paper [2], I argued that there is an important disanalogy. One and the same weight can be 'related to' different numbers under different units of measurement. Moreover, the choice of a unit of measurement is arbitrary,in the sense that which way we choose doesn't affect the weight attributed to the object. (...) But it makes little sense to say that one and the same belief can be related to different propositions: different proposition means different belief. So there is no analogous arbitrary choice. (shrink)

Since independence, at least 28 African countries have legalized some form of gambling. Yet a range of informal gambling activities have also flourished, often provoking widespread public concern about the negative social and economic impact of unregulated gambling on poor communities. This article addresses an illegal South African numbers game called fahfee. Drawing on interviews with players, operators, and regulatory officials, this article explores two aspects of this game. First, it explores the lives of both players and runners, as well (...) as the clandestine world of the Chinese operators who control the game. Second, the article examines the subjective motivations and aspirations of players, and asks why they continue to play, despite the fact that their aggregate losses easily outstrip their aggregate gains. In contrast with those who reduce its appeal simply to the pursuit of wealth, I conclude that, for the (mostly) black, elderly, working class women who play fahfee several times a week, the associated trade-off—regular, small losses, versus the social enjoyment of playing and the prospect of occasional but realistic windfalls—takes on a whole new meaning, and preferences for relatively lumpy rather than steady consumption streams help explain the continued attraction of fahfee. This reinforces the need to understand players’ own accounts of gambling utility rather than simply to moralistically condemn gambling or to dismiss gamblers behaviour as irrational. (shrink)

Numbers are concepts whose content, structure, and organization are influenced by the material forms used to represent and manipulate them. Indeed, as argued here, it is the inclusion of multiple forms (distributed objects, fingers, single- and two-dimensional forms like pebbles and abaci, and written notations) that is the mechanism of numerical elaboration. Further, variety in employed forms explains at least part of the synchronic and diachronic variability that exists between and within cultural number systems. Material forms also impart characteristics like (...) linearity that may persist in the form of knowledge and behaviors, ultimately yielding numerical concepts that are irreducible to and functionally independent of any particular form. Material devices used to represent and manipulate numbers also interact with language in ways that reinforce or contrast different aspects of numerical cognition. Not only does this interaction potentially explain some of the unique aspects of numerical language, it suggests that the two are complementary but ultimately distinct means of accessing numerical intuitions and insights. The potential inclusion of materiality in contemporary research in numerical cognition is advocated, both for its explanatory power, as well as its influence on psychological, behavioral, and linguistic aspects of numerical cognition. (shrink)

In his [1937, 1938], Paul Dirac proposed his “Large Number Hypothesis” (LNH), as a speculative law, based upon what we will call the “Large Number Coincidences” (LNC’s), which are essentially “coincidences” in the ratios of about six large dimensionless numbers in physics. Dirac’s LNH postulates that these numerical coincidences reflect a deeper set of law-like relations, pointing to a revolutionary theory of cosmology. This led to substantial work, including the development of Dirac’s later [1969/74] cosmology, and other alternative cosmologies, such (...) as the Brans-Dicke modification of GTR, and to extensive empirical tests. We may refer to the generic hypothesis of “Large Number Relations” (LNR’s), as the proposal that there are lawlike relations of some kind between the dimensionless numbers, not necessarily those proposed in Dirac’s early LNH. Such relations would have a profound effect on our concepts of physics, but they remain shrouded in mystery. Although Dirac’s specific proposals for LNR theories have been largely rejected, the subject retains interest, especially among cosmologists seeking to test possible variations in fundamental constants, and to explain dark energy or the cosmological constant. In the first two sections here we briefly summarize the basic concepts of LNR’s. We then introduce an alternative LNR theory, using a systematic formalism to express variable transformations between conventional measurement variables and the true variables of the theory. We demonstrate some consistency results and review the evidence for changes in the gravitational constant G. The theory adopted in the strongest tests of Ġ/G, by the Lunar Laser Ranging (LLR) experiments, assumes: Ġ/G = 3(dr/dt)/r – 2(dP/dt)/P – (dm/dt)/m, as a fundamental relationship. Experimental measurements show the RHS to be close to zero, so it is inferred that significant changes in G are ruled out. However when the relation is derived in our alternative theory it gives: Ġ/G = 3(dr/dt)/r – 2(dP/dt)/P – (dm/dt)/m – (dR/dt)/R. The extra final term (which is the Hubble constant) is not taken into account in conventional derivations. This means the LLR experiments are consistent with our LNR theory (and others), and they do not really test for a changing value of G at all. This failure to transform predictions of LNR theories correctly is a serious conceptual flaw in current experiment and theory. (shrink)

On a now orthodox view, humans and many other animals are endowed with a “number sense”, or approximate number system (ANS), that represents number. Recently, this orthodox view has been subject to numerous critiques, with critics maintaining either that numerical content is absent altogether, or else that some primitive analog of number (‘numerosity’) is represented as opposed to number itself. We distinguish three arguments for these claims – the arguments from congruency, confounds, and imprecision – and show that none succeed. (...) We then highlight positive reasons for thinking that the ANS genuinely represents numbers. The upshot is that proponents of the orthodox view should not feel troubled by recent critiques of their position. (shrink)

The Introduction to "Knowledge, Number and Reality. Encounters with the Work of Keith Hossack" provides an overview over Hossack's work and the contributions to the volume.

This number of views exceeded the total views of the Swedish science advice paper in HSSComms, one of very few extremely well-read published research.

The boundless nature of the natural numbers imposes paradoxically a high formal bound to the use of standard artificial computer programs for solving conceptually challenged problems in number theory. In the context of the new cognitive foundations for mathematics' and physics' program immersed in the setting of artificial mathematical intelligence, we proposed a refined numerical system, called the physical numbers, preserving most of the essential intuitions of the natural numbers. Even more, this new numerical structure additionally possesses the property of (...) being a bounded object allowing us to work with quite similar axioms like the classic Peano axioms, but in a finite environment and with an enriched physical dimension. Finally, we present several enlightening examples and we conclude that the physical numbers provide a natural formal setting for approaching classic problems in number theory from a more hybrid perspective, i.e. with a potential participation in the generation of solutions, not only of working mathematicians but also of more sophisticated artificial interactive (mathematical) intelligent agents (within the context of cognitive-computational metamathematics or artificial mathematical intelligence) and more controlled by physically-inspired principles. Finally, this paper addresses a highly new, bottom-up and paradigm-shifting approach to the foundations of physics: One should refine and improve the conceptual formal setting of the language that we use for understanding physical phenomena (e.g. the mathematical grounding concepts and theories) for being able to understand better more subtle and complex physical phenomena. (shrink)

Do scientific theories limit human knowledge? In other words, are there physical variables hidden by essence forever? We argue for negative answers and illustrate our point on chaotic classical dynamical systems. We emphasize parallels with quantum theory and conclude that the common real numbers are, de facto, the hidden variables of classical physics. Consequently, real numbers should not be considered as ``physically real" and classical mechanics, like quantum physics, is indeterministic.

What is a number? Answering this will answer questions about its philosophical foundations - rational numbers, the complex numbers, imaginary numbers. If we are to write or talk about something, it is helpful to know whether it exists, how it exists, and why it exists, just from a common-sense point of view [Quine, 1948, p. 6]. Generally, there does not seem to be any disagreement among mathematicians, scientists, and logicians about numbers existing in some way, but currently, in the mainstream (...) arena only definitions, descriptions of properties, and effects are presented as evidence. Enough historical description of numbers in history provides an empirical basis of number, although a case can be made that numbers do not exist by themselves empirically. Correspondingly, numbers exist as abstractions. All the while, though, these "descriptions" beg the question of what numbers are ontologically. Advocates for numbers being the ultimate reality have the problem of wrestling with the nature of reality. I start on the road to discovering the ontology of number by looking at where people have talked about numbers as already existing: history. Of course, we need to know not only what ontology is but the problems of identifying one, leading to the selection between metaphysics and provisional approaches. While we seem to be dimensionally limited, at least we can identify a more suitable bootstrapping ontology than mere definitions, leading us to the unity of opposites. The rest of the paper details how this is done and modifies Peano's Postulates. (shrink)

There are mathematical structures with elements that cannot be distinguished by the properties they have within that structure. For instance within the field of complex numbers the two square roots of −1, i and −i, have the same algebraic properties in that field. So how do we distinguish between them? Imbedding the complex numbers in a bigger structure, the quaternions, allows us to algebraically tell them apart. But a similar problem appears for this larger structure. There seems to be always (...) a background and a context that we rely upon. Thus mathematicians naturally make use of Kantian intuition and references fixed by names and denotations. I argue that such features cannot be avoided. (shrink)

The study determined the influence of innate mathematical characteristics on the number sense competencies of junior high school students in a Philippine public school. The descriptive-correlational research design was used to accomplish the study involving a nonrandom sample of sixty 7th-grade students attending synchronous math sessions. Data obtained from the math-specific Learning Style and Self-Efficacy questionnaires and the modified Number Sense Test (NST) were analyzed and interpreted using descriptive statistics, Pearson’s Chi-Square, and Simple Linear Regression analysis. The research instruments and (...) statistics were all validated and tested for reliability. The analysis revealed that the students are visual learners, had no or slight self-efficacy, and their number sense competency level is poor. They encountered difficulty in all the components and domains of the NST. Moreover, the students’ mathematical self-efficacy is significantly related and may influence their number sense competency level. Building upon the learners’ self-efficacy to further their understanding and skills in number sense is necessary. (shrink)

This chapter examines the pioneering work of Gottfried Wilhelm Leibniz (1646-1716) on various number systems, in particular binary, which he independently invented in the mid-to-late 1670s, and hexadecimal, which he invented in 1679. The chapter begins with the oft-debated question of who may have influenced Leibniz’s invention of binary, though as none of the proposed candidates is plausible I suggest a different hypothesis, that Leibniz initially developed binary notation as a tool to assist his investigations in mathematical problems that were (...) exercising him at the time, namely those concerning the divisibility of composite numbers, primality, and perfect numbers. The chapter then explores Leibniz’s development of binary, his little-known work on binary fractions and expansions, his use of binary as a symbol for creation in his philosophical-theology, and his response to the suggestion that there was a correlation between binary numeration and the hexagrams of the ancient Chinese divinatory text, the Yijing. The chapter then focuses on Leibniz’s work on other number systems, in particular his invention and exploration of hexadecimal as well as his work on duodecimal. The chapter concludes by revealing a hitherto unknown practical application of binary that Leibniz devised in the last year of his life. (shrink)

I argue that the human mind includes an innate domain-specific system for representing precise small numerical quantities. This theory contrasts with object-tracking theories and with domain-general theories that only make use of mental models. I argue that there is a good amount of evidence for innate representations of small numerical quantities and that such a domain-specific system has explanatory advantages when infants’ poor working memory is taken into account. I also show that the mental models approach requires previously unnoticed domain-specific (...) structure and consequently that there is no domain-general alternative to an innate domain-specific small number system. (shrink)

We recall, "a priori," numeric energy expression: -/- Energy Numbers -/- $\begin{gathered}\mathcal{V}=\left\{f \mid \exists\left\{e_1, e_2, \ldots, e_n\right\} \in E \cup R\right\} \\ \mathcal{V}=\left\{f \mid \exists\left\{e_1, e_2, \ldots, e_n\right\} \in E, \text { and }: E \mapsto r \in R\right\} \\ \mathcal{V}=\left\{E \mid \exists\left\{a_1, \ldots, a_n\right\} \in E, E \not \neg r \in R\right\}\end{gathered}$ -/- We now introduce the set of optimized energy numbers: -/- ($H_a \in \mathcal{H}$ or $P^n = NP$ or $(P,\mathcal{L},F) = NP$). -/- Based on our formulation of (...) the bi-objective optimization task, we can make the following mathematical inferences: -/- 1. If the optimized energy numbers set $\mathcal{N}_H$ is equal to the original energy numbers set $\mathcal{E}$, i.e. $\mathcal{N}_H = \mathcal{E}$, then the maximum optimization score is achieved, i.e. the bi-objective optimization task is solved. This implies that there exists at least one solution to the optimization problem and $H_a \in \mathcal{H}$, where $H_a$ is the hypothesis that states the existence of an efficient algorithm to solve the problem. -/- 2. If the optimized energy numbers set $\mathcal{N}_H$ is a subset of the original energy numbers set $\mathcal{E}$, i.e. $\mathcal{N}_H \subset \mathcal{E}$, then the optimization score is less than the maximum score. This indicates that there may exist more efficient algorithms to solve the problem, and the hypothesis $H_a$ is still possible. -/- 3. If the optimized energy numbers set $\mathcal{N}_H$ is a superset of the original energy numbers set $\mathcal{E}$, i.e. $\mathcal{N}_H \supset \mathcal{E}$, then the optimization score is higher than the maximum score. This implies that the optimization problem may be easier than initially thought, and $P^n = NP$, or at least some form of $NP$-completeness. -/- 4. If the optimized energy numbers set $\mathcal{N}_H$ is a strict subset of the original energy numbers set $\mathcal{E}$, i.e. $\mathcal{N}_H \subsetneq \mathcal{E}$, and $P^n \neq NP$, then it can be concluded that the optimization problem is complex but there may exist algorithms that can efficiently approximate the solution. -/- 5. If the optimized energy numbers set $\mathcal{N}_H$ is empty, i.e. $\mathcal{N}_H = \emptyset$, then it can be inferred that the optimization problem is infeasible, i.e. no efficient algorithm exists to solve it, and $H_a$ is false. -/- 6. Comparing the two objectives in the bi-objective optimization task, we can make the following statements: -/- - The first objective, $\frac{\delta_{v(f)}(\mathbf{v}, \mathbf{w_{max}})} {\langle \mathbf{v_f}, \mathbf{1_f}\rangle}$, measures the efficiency of the algorithm and its ability to find low energy numbers. - The second objective, $\rho(\mathcal{N}_H)$, measures the accuracy of the algorithm in terms of loss and perplexity on the HyperLanguageModel. - Therefore, by optimizing both objectives simultaneously, we aim to find an efficient algorithm that also minimizes the loss and perplexities on the HyperLanguageModel. - If the optimization task is successfully solved, then the algorithm achieves both high efficiency and high accuracy. This would imply that the algorithm is able to find low energy numbers effectively and also generalize well on the HyperLanguageModel. -/- The optimized energy numbers aim to find a set of numbers $\mathbf{v}$ that maximize the bi-objective optimization task, while also minimizing the loss and perplexity of the HyperLanguageModel. This is achieved by finding the set of numbers that have the highest delta value and the lowest perplexity, resulting in a more optimized and efficient set of energy numbers. -/- By comparing the optimized energy numbers to the original set, we can see that the optimized set may have a higher delta value and a lower perplexity, indicating that it is a better set of numbers for the given task. This shows that the optimized energy numbers have successfully achieved their goal of maximizing efficiency while minimizing loss and perplexity. (shrink)

John Taurek has argued that, where choices must be made between alternatives that affect different numbers of people, the numbers are not, by themselves, morally relevant. This is because we "must" take "losses-to" the persons into account (and these don't sum), but "must not" consider "losses-of" persons (because we must not treat persons like objects). I argue that the numbers are always ethically relevant, and that they may sometimes be the decisive consideration.

I follow standard mathematical practice and theory to argue that the natural numbers are the finite von Neumann ordinals. I present the reasons standardly given for identifying the natural numbers with the finite von Neumann's (e.g., recursiveness; well-ordering principles; continuity at transfinite limits; minimality; and identification of n with the set of all numbers less than n). I give a detailed mathematical demonstration that 0 is { } and for every natural number n, n is the set of all natural (...) numbers less than n. Natural numbers are sets. They are the finite von Neumann ordinals. (shrink)

In the first month of 2024, there was a significant increase in the number of downloads for the Bayesian stats / MCMC computing program, bayesvl, developed by AISDL running on R and Stan. The following RDocumentation (CRAN) graph illustrates the noticeable leap in data for January 2024.

You ought to save a larger group of people rather than a distinct smaller group of people, all else equal. A consequentialist may say that you ought to do so because this produces the most good. If a non-consequentialist rejects this explanation, what alternative can he or she give? This essay defends the following explanation, as a solution to the so-called numbers problem. Its two parts can be roughly summarised as follows. First, you are morally required to want the survival (...) of each stranger for its own sake. Secondly, you are rationally required to achieve as many of these ends as possible, if you have these ends. (shrink)