Humans and other animals have an evolved ability to detect discrete magnitudes in their environment. Does this observation support evolutionary debunking arguments against mathematical realism, as has been recently argued by Clarke-Doane, or does it bolster mathematical realism, as authors such as Joyce and Sinnott-Armstrong have assumed? To find out, we need to pay closer attention to the features of evolved numerical cognition. I provide a detailed examination of the functional properties of evolved numerical cognition, and propose that (...) they prima facie favor a realist account of numbers. (shrink)

The idea that there is a “Number Sense” (Dehaene, 1997) or “Core Knowledge” of number ensconced in a modular processing system (Carey, 2009) has gained popularity as the study of numerical cognition has matured. However, these claims are generally made with little, if any, detailed examination of which modular properties are instantiated in numerical processing. In this article, I aim to rectify this situation by detailing the modular properties on display in numerical cognitive processing. In the process, (...) I review literature from across the cognitive sciences and describe how the evidence reported in these works supports the hypothesis that numerical cognitive processing is modular. I outline the properties that would suffice for deeming a certain processing system a modular processing system. Subsequently, I use behavioral, neuropsychological, philosophical, and anthropological evidence to show that the number module is domain specific, informationally encapsulated, neurally localizable, subject to specific pathological breakdowns, mandatory, fast, and inaccessible at the person level; in other words, I use the evidence to demonstrate that some of our numerical capacity is housed in modular casing. (shrink)

Numerical identity is the non-relational sameness of an object to itself. It is concerned with understanding how entities undergo change and maintain their identity. In substance metaphysics, an entity is considered a substance with an essence and such an essence is the source of its power. However, such a framework fails to explain the sense in which an entity is still the entity it was, amidst changes. Those who claim that essence is unaffected by existence are faced with challenge (...) of exploring the epistemic access to such an essence, which is questionable at best. Process metaphysics is a strong candidate for a theory that can ontologically explain regularity and change without appeal to essence. Process and its interactions is the main category. Every process is an emergent organization of constitutive interactions and is individuated on the basis of its interactive powers, that is, the ways in which it interacts with the world around it. Interactions are situated adaptation to changes. In this way, changes are crucial within process metaphysics and are included in the starting point of its investigation. What seems to the naked eyes as one-ness/singularity is a complex process where an organization of interactions is emerging from moment to moment by continually adapting to the changes around and within it. The question of numerical identity over time becomes valid only within substance metaphysics which has no space to accommodate change, due to its allegiance to essence. (shrink)

This study aimed to assess the effectiveness of remedial instruction in improving the numeracy skills of Grade 7 students at Malbug National High School during the school year 2023-2024. Adopting a quasi-experimental research design, the research focused on Grade 7 students at Malbug National High School, Cawayan East District, Masbate Province Division, Philippines, identified as non-numerates, employing pre-tests and post-tests as essential research tools. The independent variable was the remedial instruction in numeracy, while the dependent variable was students' numeracy performance (...) measured through pre-tests and post-tests. Before the intervention, the pre-test numeracy performance exhibited a varied distribution of students across different score ranges. A majority fell into the "Needs Major Support" category, emphasizing the necessity for targeted interventions. The post-test results, however, revealed a remarkable improvement, with 87.88% of initially non-numerate students achieving scores in the "Transforming" range. A thorough statistical examination validated a notable disparity in the scores obtained before and after the instructional intervention, substantiating the favorable influence of remedial instruction. The calculated t-value of 19.594, exceeding the critical t-value, led to rejecting the null hypothesis. In conclusion, the study emphasizes the need for tailored interventions based on the initial deficiency in numeracy skills. The post-test results underscored the success of remedial instruction in fostering substantial growth. The study recommends sustaining the remedial program, implementing periodic assessments, providing teacher training, involving parents in students' development, allocating adequate resources, and further research in other schools to strengthen findings. (shrink)

In this survey, a recent computational methodology paying a special attention to the separation of mathematical objects from numeral systems involved in their representation is described. It has been introduced with the intention to allow one to work with infinities and infinitesimals numerically in a unique computational framework in all the situations requiring these notions. The methodology does not contradict Cantor’s and non-standard analysis views and is based on the Euclid’s Common Notion no. 5 “The whole is greater than the (...) part” applied to all quantities (finite, infinite, and infinitesimal) and to all sets and processes (finite and infinite). The methodology uses a computational device called the Infinity Computer (patented in USA and EU) working numerically (recall that traditional theories work with infinities and infinitesimals only symbolically) with infinite and infinitesimal numbers that can be written in a positional numeral system with an infinite radix. It is argued that numeral systems involved in computations limit our capabilities to compute and lead to ambiguities in theoretical assertions, as well. The introduced methodology gives the possibility to use the same numeral system for measuring infinite sets, working with divergent series, probability, fractals, optimization problems, numerical differentiation, ODEs, etc. (recall that traditionally different numerals lemniscate; Aleph zero, etc. are used in different situations related to infinity). Numerous numerical examples and theoretical illustrations are given. The accuracy of the achieved results is continuously compared with those obtained by traditional tools used to work with infinities and infinitesimals. In particular, it is shown that the new approach allows one to observe mathematical objects involved in the Hypotheses of Continuum and the Riemann zeta function with a higher accuracy than it is done by traditional tools. It is stressed that the hardness of both problems is not related to their nature but is a consequence of the weakness of traditional numeral systems used to study them. It is shown that the introduced methodology and numeral system change our perception of the mathematical objects studied in the two problems. (shrink)

In a recent paper in Astrophysics and Space Science Vol. 364 no. 11 (2019), S. Ershkov & D. Leschenko presented a new solving procedure for Euler-Poisson equations for solving momentum equations of the CR3BP near libration points for uniformly rotating planets having inclined orbits in the solar system with respect to the orbit of the Earth. The system of equations of the CR3BP has been explored with regard to the existence of an analytic way of presentation of the approximated solution (...) in the vicinity of libration points. A new and elegant ansatz has been suggested in their publication whereby, in solving, the momentum equation is reduced to a system two coupled Riccati ODEs. In this paper, we presented a numerical solution of such coupled Riccati ODEs using Mathematica software package. (shrink)

In this paper I study the development of arithmetical cognition with the focus on metaphorical thinking. In an approach developing on Lakoff and Núñez, I propose one particular conceptual metaphor, the Process → Object Metaphor, as a key element in understanding the development of mathematical thinking.

It has been known for long time that most of the existing cosmology models have singularity problem. Cosmological singularity has been a consequence of excessive symmetry of flow, such as “Hubble’s law”. More realistic one is suggested, based on Newtonian cosmology model but here we include the vertical-rotational effect of the whole Universe. We review a Riccati-type equation obtained by Nurgaliev, and solve the equation numerically with Mathematica. It is our hope that the new proposed method can be verified with (...) observation data. (shrink)

The central topic of this article is (the possibility of) de re knowledge about natural numbers and its relation with names for numbers. It is held by several prominent philosophers that (Peano) numerals are eligible for existential quantification in epistemic contexts (‘canonical’), whereas other names for natural numbers are not. In other words, (Peano) numerals are intimately linked with de re knowledge about natural numbers, whereas the other names for natural numbers are not. In this article I am looking for (...) an explanation of this phenomenon. It is argued that the standard induction scheme plays a key role. (shrink)

A computational methodology called Grossone Infinity Computing introduced with the intention to allow one to work with infinities and infinitesimals numerically has been applied recently to a number of problems in numerical mathematics (optimization, numerical differentiation, numerical algorithms for solving ODEs, etc.). The possibility to use a specially developed computational device called the Infinity Computer (patented in USA and EU) for working with infinite and infinitesimal numbers numerically gives an additional advantage to this approach in comparison with (...) traditional methodologies studying infinities and infinitesimals only symbolically. The grossone methodology uses the Euclid’s Common Notion no. 5 ‘The whole is greater than the part’ and applies it to finite, infinite, and infinitesimal quantities and to finite and infinite sets and processes. It does not contradict Cantor’s and non-standard analysis views on infinity and can be considered as an applied development of their ideas. In this paper we consider infinite series and a particular attention is dedicated to divergent series with alternate signs. The Riemann series theorem states that conditionally convergent series can be rearranged in such a way that they either diverge or converge to an arbitrary real number. It is shown here that Riemann’s result is a consequence of the fact that symbol ∞ used traditionally does not allow us to express quantitatively the number of addends in the series, in other words, it just shows that the number of summands is infinite and does not allows us to count them. The usage of the grossone methodology allows us to see that (as it happens in the case where the number of addends is finite) rearrangements do not change the result for any sum with a fixed infinite number of summands. There are considered some traditional summation techniques such as Ramanujan summation producing results where to divergent series containing infinitely many positive integers negative results are assigned. It is shown that the careful counting of the number of addends in infinite series allows us to avoid this kind of results if grossone-based numerals are used. (shrink)

Phenomenological psychology has emphasized that experience as it is immediately "given" to the experiencing individual is an appropriate subject matter for psychological investigation. Consideration of the methodological implications of this stance suggests that certain text analytic and cluster analytic methods could be used to discern the identifying properties of different types of experience. We present results of a study in which textual analysis was used to identify recurrent properties of participants' verbal accounts of their experience, cluster analysis was used to (...) classify participants' accounts according to the similarity of their profiles of properties, and the resulting clusters were examined for their more or less characteristic prpoerties. Using these methods, three distinct types of experience of a Renaissance painting were identified and described. This demonstration of numerically aided phenomenological methods indicates the compatibility of rigorous and sensitive descriptions of experiential accounts. (shrink)

The first aim of the paper is to show that under certain conditions generative syntax can be made suitable for Montague semantics, based on his type logic. One of the conditions is to make branching in the so-called X-bar syntax strictly binary, This makes it possible to provide an adequate semantics for Noun Phrases by taking them as referring to sets of collections of sets of entities ( type <ett,t>) rather than to sets of sets of entities (ett).

Traditional computers work with finite numbers. Situations where the usage of infinite or infinitesimal quantities is required are studied mainly theoretically. In this paper, a recently introduced computational methodology (that is not related to the non-standard analysis) is used to work with finite, infinite, and infinitesimal numbers numerically. This can be done on a new kind of a computer – the Infinity Computer – able to work with all these types of numbers. The new computational tools both give possibilities to (...) execute computations of a new type and open new horizons for creating new mathematical models where a computational usage of infinite and/or infinitesimal numbers can be useful. A number of numerical examples showing the potential of the new approach and dealing with divergent series, limits, probability theory, linear algebra, and calculation of volumes of objects consisting of parts of different dimensions are given. (shrink)

In a recent paper, Chunghyoung Lee argues that, because zygotes are developmentally plastic, they cannot be numerically identical to the singletons into which they develop, thereby undermining conceptionism. In this short paper, I respond to Lee. I argue, first, that, on the most popular theories of personal identity, zygotic plasticity does not undermine conceptionism, and, second, that, even overlooking this first issue, Lee’s plasticity argument is problematic. My goal in all of this is not to take a stand in the (...) abortion debate, which I remain silent on here, but, rather, to push for the conclusion that transitivity fails when we are talking about numerical identity of non-abstract objects. (shrink)

Following a hypothesis by Marciak-Kozlowska, 2011, we consider one-dimensional Schumann wave transfer phenomena. Numerical solution of that equation was obtained by the help of Mathematica.

New algorithms for the numerical solution of Ordinary Differential Equations (ODEs) with initial condition are proposed. They are designed for work on a new kind of a supercomputer – the Infinity Computer, – that is able to deal numerically with finite, infinite and infinitesimal numbers. Due to this fact, the Infinity Computer allows one to calculate the exact derivatives of functions using infinitesimal values of the stepsize. As a consequence, the new methods described in this paper are able to (...) work with the exact values of the derivatives, instead of their approximations. (shrink)

The goal of this paper consists of developing a new (more physical and numerical in comparison with standard and non-standard analysis approaches) point of view on Calculus with functions assuming infinite and infinitesimal values. It uses recently introduced infinite and infinitesimal numbers being in accordance with the principle ‘The part is less than the whole’ observed in the physical world around us. These numbers have a strong practical advantage with respect to traditional approaches: they are representable at a new (...) kind of a computer – the Infinity Computer – able to work numerically with all of them. An introduction to the theory of physical and mathematical continuity and differentiation (including subdifferentials) for functions assuming finite, infinite, and infinitesimal values over finite, infinite, and infinitesimal domains is developed in the paper. This theory allows one to work with derivatives that can assume not only finite but infinite and infinitesimal values, as well. It is emphasized that the newly introduced notion of the physical continuity allows one to see the same mathematical object as a continuous or a discrete one, in dependence on the wish of the researcher, i.e., as it happens in the physical world where the same object can be viewed as a continuous or a discrete in dependence on the instrument of the observation used by the researcher. Connections between pure mathematical concepts and their computational realizations are continuously emphasized through the text. Numerous examples are given. (shrink)

In Science Without Numbers (1980), Hartry Field defends a theory of quantity that, he claims, is able to provide both i) an intrinsic explanation of the structure of space, spacetime, and other quantitative properties, and ii) an intrinsic explanation of why certain numerical representations of quantities (distances, lengths, mass, temperature, etc.) are appropriate or acceptable while others are not. But several philosophers have argued otherwise. In this paper I focus on arguments from Ellis and Milne to the effect that (...) one cannot provide an account of quantity in ''purely intrinsic'' terms. I show, first, that these arguments are confused. Second, I show that Field's treatment of quantity can provide an intrinsic explanation of the structure of quantitative properties; what it cannot do is provide an intrinsic explanation of why certain numerical representations are more appropriate than others. Third, I show that one could provide an intrinsic explanation of this sort if one modified Field's account in certain ways. (shrink)

What does it look like when a group of scientists set out to re-envision an entire field of biology in symbolic and formal terms? I analyze the founding and articulation of Numerical Taxonomy between 1950 and 1970, the period when it set out a radical new approach to classification and founded a tradition of mathematics in systematic biology. I argue that introducing mathematics in a comprehensive way also requires re-organizing the daily work of scientists in the field. Numerical (...) taxonomists sought to establish a mathematical method for classification that was universal to every type of organism, and I argue this intrinsically implicated them in a qualitative re-organization of the work of all systematists. I also discuss how Numerical Taxonomy’s re-organization of practice became entrenched across systematic biology even as opposing schools produced their own competing mathematical methods. In this way, the structure of the work process became more fundamental than the methodological theories that motivated it. (shrink)

It has been long known that a year after Schrödinger published his equation, Madelung also published a hydrodynamics version of Schrödinger equation. Quantum diffusion is studied via dissipative Madelung hydrodynamics. Initially the wave packet spreads ballistically, than passes for an instant through normal diffusion and later tends asymptotically to a sub‐diffusive law. In this paper we will review two different approaches, including Madelung hydrodynamics and also Bohm potential. Madelung formulation leads to diffusion interpretation, which after a generalization yields to Ermakov (...) equation. Since Ermakov equation cannot be solved analytically, then we try to find out its solution with Mathematica package. It is our hope that these methods can be verified and compared with experimental data. But we admit that more researches are needed to fill all the missing details. (shrink)

Visual illusions of number provide a means of investigating the rules and principles through which approximate number representations are formed. Here, we investigated the developmental trajectory of an important numerical illusion – the connectedness illusion, wherein connecting pairs of items with thin lines reduces their perceived number without altering continuous attributes of the collections. We found that children as young as 5 years of age are affected by the illusion and that the magnitude of the effect increased into adulthood. (...) Moreover, individuals with greater numerical acuity exhibited stronger connectedness illusions after controlling for age. Overall, these results suggest the approximate number system expects to enumerate over bounded wholes and doing so is a signature of its optimal functioning. (shrink)

Four perspectives on numerical origins are examined. The nativist model sees numbers as an aspect of numerosity, the biologically endowed ability to appreciate quantity that humans share with other species. The linguistic model sees numbers as a function of language. The embodied model sees numbers as conceptual metaphors informed by physical experience and expressed in language. Finally, the extended model sees numbers as conceptual outcomes of a cognitive system that includes material forms as constitutive components. If numerical origins (...) are to be found, each perspective must address one or more critical questions that will require working across discipline boundaries. (shrink)

Aquinas, Ockham, and Burdan all claim that a person can be numerically identical over time, despite changes in size, shape, and color. How can we reconcile this with the Indiscernibility of Identicals, the principle that numerical identity implies indiscernibility across time? Almost all contemporary metaphysicians regard the Indiscernibility of Identicals as axiomatic. But I will argue that Aquinas, Ockham, and Burdan would reject it, perhaps in favor of a principle restricted to indiscernibility at a time.

There exist many applications where it is necessary to approximate numerically derivatives of a function which is given by a computer procedure. In particular, all the fields of optimization have a special interest in such a kind of information. In this paper, a new way to do this is presented for a new kind of a computer - the Infinity Computer - able to work numerically with finite, infinite, and infinitesimal number. It is proved that the Infinity Computer is able (...) to calculate values of derivatives of a higher order for a wide class of functions represented by computer procedures. It is shown that the ability to compute derivatives of arbitrary order automatically and accurate to working precision is an intrinsic property of the Infinity Computer related to its way of functioning. Numerical examples illustrating the new concepts and numerical tools are given. (shrink)

In this paper, I respond to Scholes’s question of whether The Freewoman, The New Freewoman, and The Egoist, all of which were edited by Dora Marsden, were one journal or three.

Number systems differ cross-culturally in characteristics like how high counting extends and which number is used as a productive base. Some of this variability can be linked to the way the hand is used in counting. The linkage shows that devices like the hand used as external representations of number have the potential to influence numerical structure and organization, as well as aspects of numerical language. These matters suggest that cross-cultural variability may be, at least in part, a (...) matter of whether devices are used in counting, which ones are used, and how they are used. (shrink)

In the paper we will employ set theory to study the formal aspects of quantum mechanics without explicitly making use of space-time. It is demonstrated that von Neuman and Zermelo numeral sets, previously efectively used in the explanation of Hardy’s paradox, follow a Heisenberg quantum form. Here monadic union plays the role of time derivative. The logical counterpart of monadic union plays the part of the Hamiltonian in the commutator. The use of numerals and monadic union in the classical probability (...) resolution of Hardy’s paradox [1] is supported with the present derivation of a commutator for sets. (shrink)

A recently developed computational methodology for executing numerical calculations with infinities and infinitesimals is described in this paper. The approach developed has a pronounced applied character and is based on the principle “The part is less than the whole” introduced by the ancient Greeks. This principle is applied to all numbers (finite, infinite, and infinitesimal) and to all sets and processes (finite and infinite). The point of view on infinities and infinitesimals (and in general, on Mathematics) presented in this (...) paper uses strongly physical ideas emphasizing interrelations that hold between a mathematical object under observation and the tools used for this observation. It is shown how a new numeral system allowing one to express different infinite and infinitesimal quantities in a unique framework can be used for theoretical and computational purposes. Numerous examples dealing with infinite sets, divergent series, limits, and probability theory are given. (shrink)

I argue that there is a hitherto unrecognized connection between Henry of Ghent’s general theory of real relations and his Trinitarian theology, namely the notion of numerical sameness without identity. A real relation (relatio) is numerically the same thing (res) as its absolute (non-relative) foundation, without being identical to its foundation. This not only holds for creaturely real relations but also for the divine persons’ distinguishing real relations. A divine person who is constituted by a real relation (relatio) and (...) the divine essence is numerically the same thing (res) as the divine essence without being identical to it. Further, I compare Mark Henninger’s and Jos Decorte’s interpretations of Henry’s general theory of real relations and show that Henninger’s is to be preferred and how it is consistent with my interpretation. I argue that the difficulty with Decorte’s interpretation stems, in part, from his misrepresentation of Henry’s Trinitarian theology. Subsequently, I fill in some missing pieces to Decorte’s presentation of Henry’s Trinitarian theology, and this in turn shows why Henninger’s interpretation in conjunction with mine is to be preferred. (shrink)

There exists a huge number of numerical methods that iteratively construct approximations to the solution y(x) of an ordinary differential equation (ODE) y′(x) = f(x,y) starting from an initial value y_0=y(x_0) and using a finite approximation step h that influences the accuracy of the obtained approximation. In this paper, a new framework for solving ODEs is presented for a new kind of a computer – the Infinity Computer (it has been patented and its working prototype exists). The new computer (...) is able to work numerically with finite, infinite, and infinitesimal numbers giving so the possibility to use different infinitesimals numerically and, in particular, to take advantage of infinitesimal values of h. To show the potential of the new framework a number of results is established. It is proved that the Infinity Computer is able to calculate derivatives of the solution y(x) and to reconstruct its Taylor expansion of a desired order numerically without finding the respective derivatives analytically (or symbolically) by the successive derivation of the ODE as it is usually done when the Taylor method is applied. Methods using approximations of derivatives obtained thanks to infinitesimals are discussed and a technique for an automatic control of rounding errors is introduced. Numerical examples are given. (shrink)

The idea the New Zealand Māori once counted by elevens has been viewed as a cultural misunderstanding originating with a mid-nineteenth-century dictionary of their language. Yet this “remarkable singularity” had an earlier, Continental origin, the details of which have been lost over a century of transmission in the literature. The affair is traced to a pair of scientific explorers, René-Primevère Lesson and Jules Poret de Blosseville, as reconstructed through their publications on the 1822–1825 circumnavigational voyage of the Coquille, a French (...) corvette. Possible explanations for the affair are briefly examined, including whether it might have been a prank by the Polynesians or a misunderstanding or hoax on the part of the Europeans. Reasons why the idea of counting by elevens remains topical are discussed. First, its very oddity has obscured the counting method actually used—setting aside every tenth item as a tally. This “ephemeral abacus” is examined for its physical and mental efficiencies and its potential to explain aspects of numerical structure and vocabulary (e.g., Mangarevan binary counting; the Hawaiian number word for twenty, iwakalua), matters suggesting material forms have a critical if underappreciated role in realising concepts like exponential value. Second, it provides insight into why it can be difficult to appreciate highly elaborated but unwritten numbers like those found throughout Polynesia. Finally, the affair illuminates the difficulty of categorising number systems that use multiple units as the basis of enumeration, like Polynesian pair-counting; potential solutions are offered. (shrink)

Observable consequences of the hypothesis that the observed universe is a numerical simulation performed on a cubic space-time lattice or grid are explored. The simulation scenario is first motivated by extrapolating current trends in computational resource requirements for lattice QCD into the future. Using the historical development of lattice gauge theory technology as a guide, we assume that our universe is an early numerical simulation with unimproved Wilson fermion discretization and investigate potentially-observable consequences. Among the observables that are (...) considered are the muon g-2 and the current differences between determinations of alpha, but the most stringent bound on the inverse lattice spacing of the universe, b−1 > ~ 10^11 GeV, is derived from the high-energy cut off of the cosmic ray spectrum. The numerical simulation scenario could reveal itself in the distributions of the highest energy cosmic rays exhibiting a degree of rotational symmetry breaking that reflects the structure of the underlying lattice. (shrink)

Developing earlier studies of the system of numbers in Mundurucu, this paper argues that the Mundurucu numeral system is far more complex than usually assumed. The Mundurucu numeral system provides indirect but insightful arguments for a modular approach to numbers and numerals. It is argued that distinct components must be distinguished, such as a system of representation of numbers in the format of internal magnitudes, a system of representation for individuals and sets, and one-to-one correspondences between the numerosity expressed by (...) the number and its metrics. It is shown that while many-number systems involve a compositionality of units, sets and sets composed of units, few-number languages, such as Mundurucu, do not have access to sets composed of units in the usual way. The nonconfigurational character of the Mundurucu language, which is related to a property for which we coin the term 'low compositionality power', accounts for this and explains the curious fact that Mundurucus make use of marked one-to-one correspondence strategies in order to overcome the limitations of the core system at the perceptual/motor interface of the language faculty. We develop an analysis of a particular construction, parallel numbers, which has not been studied before, elucidating the whole system. This analysis, we argue, sheds new light on classical philosophical, psychological and linguistic debates about numbers and numerals and their relation to language, and more particularly, sheds light on few-number languages. (shrink)

In this study, the archaic counting systems of Mesopotamia as understood through the Neolithic tokens, numerical impressions, and proto-cuneiform notations were compared to the traditional number-words and counting methods of Polynesia as understood through contemporary and historical descriptions of vocabulary and behaviors. The comparison and associated analyses capitalized on the ability to understand well-known characteristics of Uruk-period numbers like object-specific counting, polyvalence, and context-dependence through historical observations of Polynesian counting methods and numerical language, evidence unavailable for ancient numbers. (...) Similarities between the two number systems were then used to argue that archaic Mesopotamian numbers, like those of Polynesia, were highly elaborated and would have served as cognitively efficient tools for mental calculation. Their differences also show the importance of material technologies like tokens, impressions, and notations to developing mathematics. This project has received funding from the European Union’s Horizon 2020 research and innovation program under grant agreement No. 785793. (shrink)

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)

Several ways used to rank countries with respect to medals won during Olympic Games are discussed. In particular, it is shown that the unofficial rank used by the Olympic Committee is the only rank that does not allow one to use a numerical counter for ranking – this rank uses the lexicographic ordering to rank countries: one gold medal is more precious than any number of silver medals and one silver medal is more precious than any number of bronze (...) medals. How can we quantify what do these words, more precious, mean? Can we introduce a counter that for any possible number of medals would allow us to compute a numerical rank of a country using the number of gold, silver, and bronze medals in such a way that the higher resulting number would put the country in the higher position in the rank? Here we show that it is impossible to solve this problem using the positional numeral system with any finite base. Then we demonstrate that this problem can be easily solved by applying numerical computations with recently developed actual infinite numbers. These computations can be done on a new kind of a computer – the recently patented Infinity Computer. Its working software prototype is described briefly and examples of computations are given. It is shown that the new way of counting can be used in all situations where the lexicographic ordering is required. (shrink)

The importance of the prime factorization problem is very well known (e.g., many security protocols are based on the impossibility of a fast factorization of integers on traditional computers). It is necessary from a number k to establish two primes a and b giving k = a · b. Usually, k is written in a positional numeral system. However, there exists a variety of numeral systems that can be used to represent numbers. Is it true that the prime factorization is (...) difficult in any numeral system? In this paper, a numeral system with partial carrying is described. It is shown that this system contains numerals allowing one to reduce the problem of prime factorization to solving [K/2] − 1 systems of equations, where K is the number of digits in k (the concept of digit in this system is more complex than the traditional one) and [u] is the integer part of u. Thus, it is shown that the difficulty of prime factorization is not in the problem itself but in the fact that the positional numeral system is used traditionally to represent numbers participating in the prime factorization. Obviously, this does not mean that P=NP since it is not known whether it is possible to re-write a number given in the traditional positional numeral system to the new one in a polynomial time. (shrink)

Abstract: The aims of this study are to introduce acceleration methods that called relative and algorithmic acceleration methods, which we generally call Al-Tememe's acceleration methods of the second kind discovered by (Ali Hassan Mohammed). It is very useful to improve the numerical results of continuous integrands in which the main error is of the 4th order, and related to accuracy, the number of used partial intervals and how fast to get results especially to accelerate the results got by Simpson's (...) method. Also, it is possible to utilize it in improving the results of differential equations numerically of the main error of the forth order. (shrink)

Abstract: The aims of this study are to introduce acceleration methods that are called triangular acceleration methods, which come within the series of several acceleration methods that generally known as Al-Tememe's acceleration methods of the second kind which are discovered by (Ali Hassan Mohammed). These methods are useful in improving the results of determining numerical integrals of continuous integrands where the main error is of the forth order with respect to accuracy, partial intervals and the fasting of calculating the (...) results specifically to accelerate results come out by Simpson's method. Also, it is possible to make use of it to improve the results of solving differential equations numerically of the main error of the forth order. (shrink)

Abstract: The main aim of this work is to introduce acceleration methods called a hyperbolic acceleration methods which are of series of numerated methods. In general, these methods named as AL-Tememe’s acceleration methods of first kind discovered by (Ali Hassan Mohammed). These are very beneficial to acceleration the numerical results for definite integrations with continuous integrands which are of 2nd order main error, with respect to the accuracy and the number of the used subintervals and the fasting obtaining results. (...) Especially, for acceleration the results which are obviously obtained by trapezoidal and midpoint methods. Moreover, these methods could be enhancing the results of the ordinary differential equations numerically which are of 2nd order main error. (shrink)

Abstract: The main aim of this work is to introduce acceleration methods called a Trigonometric acceleration methods which are of series of numerated methods. In general, these methods named as AL-Tememe’s acceleration methods of first kind to his discoverer ''Ali Hassan Mohammed''. These are very beneficial to acceleration the numerical results for definite integrations with continuous integrands which are of 2nd order main error, with respect to the accuracy and the number of the used subintervals and the fasting obtaining (...) results. Especially, for acceleration the results which are obviously obtained by trapezoidal and midpoint methods. Moreover, these methods could be enhancing the results of the ordinary differential equations numerically which are of 2nd order main error. (shrink)

Spinoza claims that a person’s mind and body are one and the same. But he also claims that minds think and do not move, whereas bodies move and do not think. How can we reconcile these claims? I believe that Spinoza is building on a traditional view about identity over time. According to this view, identity over time is linked to essence, so that a thing that is now resting is identical to a thing that was previously moving, provided that (...) they share the same essence. I believe that Spinoza has a similar view about the identity of minds and bodies. In particular, a thing that is thinking in the attribute of thought is identical to a thing that is moving in the attribute of extension, provided that they share the same essence. (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)

This paper considers non-standard analysis and a recently introduced computational methodology based on the notion of ①. The latter approach was developed with the intention to allow one to work with infinities and infinitesimals numerically in a unique computational framework and in all the situations requiring these notions. Non-standard analysis is a classical purely symbolic technique that works with ultrafilters, external and internal sets, standard and non-standard numbers, etc. In its turn, the ①-based methodology does not use any of these (...) notions and proposes a more physical treatment of mathematical objects separating the objects from tools used to study them. It both offers a possibility to create new numerical methods using infinities and infinitesimals in floating-point computations and allows one to study certain mathematical objects dealing with infinity more accurately than it is done traditionally. In these notes, we explain that even though both methodologies deal with infinities and infinitesimals, they are independent and represent two different philosophies of Mathematics that are not in a conflict. It is proved that texts :539–555, 2017; Gutman and Kutateladze in Sib Math J 49:835–841, 2008; Kutateladze in J Appl Ind Math 5:73–75, 2011) asserting that the ①-based methodology is a part of non-standard analysis unfortunately contain several logical fallacies. Their attempt to show that the ①-based methodology can be formalized within non-standard analysis is similar to trying to show that constructivism can be reduced to the traditional Mathematics. (shrink)

Numerous problems arising in engineering applications can have several objectives to be satisfied. An important class of problems of this kind is lexicographic multi-objective problems where the first objective is incomparably more important than the second one which, in its turn, is incomparably more important than the third one, etc. In this paper, Lexicographic Multi-Objective Linear Programming (LMOLP) problems are considered. To tackle them, traditional approaches either require solution of a series of linear programming problems or apply a scalarization of (...) weighted multiple objectives into a single-objective function. The latter approach requires finding a set of weights that guarantees the equivalence of the original problem and the single-objective one and the search of correct weights can be very time consuming. In this work a new approach for solving LMOLP problems using a recently introduced computational methodology allowing one to work numerically with infinities and infinitesimals is proposed. It is shown that a smart application of infinitesimal weights allows one to construct a single-objective problem avoiding the necessity to determine finite weights. The equivalence between the original multi-objective problem and the new single-objective one is proved. A simplex-based algorithm working with finite and infinitesimal numbers is proposed, implemented, and discussed. Results of some numerical experiments are provided. (shrink)

Context: Consistency of mathematical constructions in numerical analysis and the application of computerized proofs in the light of the occurrence of numerical chaos in simple systems. Purpose: To show that a computer in general and a numerical analysis in particular can add its own peculiarities to the subject under study. Hence the need of thorough theoretical studies on chaos in numerical simulation. Hence, a questioning of what e.g. a numerical disproof of a theorem in physics (...) or a prediction in numerical economics could mean. Method: An algebraic simple model system is subjected to a deeper structure of underlying variables. With an algorithm simulating the steps in taking a limit of second order difference quotients the error terms are studied at the background of their algebraic expression. Results: With the algorithm that was applied to a simple quadratic polynomial system we found unstably amplified round-off errors. The possibility of numerical chaos is already known but not in such a simple system as used in our paper. The amplification of the errors implies that it is not possible with computer means to constructively show that the algebra and numerical analysis will ‘on the long run’ converge to each other and the error term will vanish. The algebraic vanishing of the error term cannot be demonstrated with the use of the computer because the round-off errors are amplified. In philosophical terms, the amplification of the round-off error is equivalent to the continuum hypothesis. This means that the requirement of (numerical) construction of mathematical objects is no safeguard against inference-only conclusions of qualities of (numerical) mathematical objects. Unstably amplified round-off errors are a same type of problem as the ordering in size of transfinite cardinal numbers. The difference is that the former problem is created within the requirements of constructive mathematics. This can be seen as the reward for working numerically constructive. (shrink)

Strong nativist views about numerical concepts claim that human beings have at least some innate precise numerical representations. Weak nativist views claim only that humans, like other animals, possess an innate system for representing approximate numerical quantity. We present a new strong nativist model of the origins of numerical concepts and defend the strong nativist approach against recent cross-cultural studies that have been interpreted to show that precise numerical concepts are dependent on language and that (...) they are restricted to speakers of languages with the right kind of structure. (shrink)

Carey leaves unaddressed an important evolutionary puzzle: In the absence of a numeral list, how could a concept of natural number ever have arisen in the first place? Here we suggest that the initial development of natural number must have bootstrapped on a material culture scaffold of some sort, and illustrate how this might have occurred using strings of beads.

This paper focuses on three theories of personal identity that incorporate the idea that personal identity is the result of a person’s adopting certain attitudes towards certain mental states and actions. I call these theories subjective theories of personal identity. I argue that it is not clear what the proponents of these theories mean by “personal identity”. On standard theories, such as animalism or psychological theories, the term “personal identity” refers to the numerical identity of persons and its analysis (...) provides the persistence conditions for persons. I argue that if the subjective theories purport to provide a criterion of numerical personal identity, they fail. A different interpretation may suggest that they purport to provide a non-numerical type of identity for the purpose of providing plausible analyses of certain identity-related practical concerns. I argue that the criteria the subjective theories provide fail to capture several of the identity-related concerns. As a result, this interpretation must be rejected as well. (shrink)