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)

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.

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)

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)

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)

Mathematical cognition is one of the most important cognitive functions of human beings. The latest brain and cognitive research have shown that mathematical cognition is a system with multiple components and subsystems. It has phylogenetic root, also is related to ontogenetic development and learning, relying on a large-scale cerebral network including parietal, frontal and temporal regions. Especially, the parietal cortex plays an important role during mathematical cognitive processes. This indicates that language and visuospatial functions are both key to mathematical cognition. (...) All of those advances have important implications for basic mathematical education. (shrink)

Monsters lurk within mathematical as well as literary haunts. I propose to trace some pathways between these two monstrous habitats. I start from Jeffrey Jerome Cohen’s influential account of monster culture and explore how well mathematical monsters fit each of his seven theses. The mathematical monsters I discuss are drawn primarily from three distinct but overlapping domains. Firstly, late nineteenth-century mathematicians made numerous unsettling discoveries that threatened their understanding of their own discipline and challenged their intuitions. The great French mathematician (...) Henri Poincaré characterised these anomalies as ‘monsters’, a name that stuck. Secondly, the twentieth-century philosopher Imre Lakatos composed a seminal work on the nature of mathematical proof, in which monsters play a conspicuous role. Lakatos coined such terms as ‘monster-barring’ and ‘monster-adjusting’ to describe strategies for dealing with entities whose properties seem to falsify a conjecture. Thirdly, and most recently, mathematicians dubbed the largest of the sporadic groups ‘the Monster’, because of its vast size and uncanny properties, and because its existence was suspected long before it could be confirmed. (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)

Mathematicians often speak of conjectures as being confirmed by evidence that falls short of proof. For their own conjectures, evidence justifies further work in looking for a proof. Those conjectures of mathematics that have long resisted proof, such as the Riemann hypothesis, have had to be considered in terms of the evidence for and against them. In recent decades, massive increases in computer power have permitted the gathering of huge amounts of numerical evidence, both for conjectures in pure (...) mathematics and for the behavior of complex applied mathematical models and statistical algorithms. Mathematics has therefore become (among other things) an experimental science (though that has not diminished the importance of proof in the traditional style). We examine how the evaluation of evidence for conjectures works in mathematical practice. We explain the (objective) Bayesian view of probability, which gives a theoretical framework for unifying evidence evaluation in science and law as well as in mathematics. Numerical evidence in mathematics is related to the problem of induction; the occurrence of straightforward inductive reasoning in the purely logical material of pure mathematics casts light on the nature of induction as well as of mathematical reasoning. (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 their recent paper on “Challenges in mathematical cognition”, Alcock and colleagues (Alcock et al. [2016]. Challenges in mathematical cognition: A collaboratively-derived research agenda. Journal of Numerical Cognition, 2, 20-41) defined a research agenda through 26 specific research questions. An important dimension of mathematical cognition almost completely absent from their discussion is the cultural constitution of mathematical cognition. Spanning work from a broad range of disciplines – including anthropology, archaeology, cognitive science, history of science, linguistics, philosophy, and psychology – (...) we argue that for any research agenda on mathematical cognition the cultural dimension is indispensable, and we propose a set of exemplary research questions related to it. (shrink)

Mathematical thinking skills are very important in mathematics, both to learn math or as learning goals. Thinking skills can be seen from the description given answers in solving mathematical problems faced. Mathematical thinking skills can be seen from the types, levels, and process. Proportionally questions given to students at universities in Indonesia (semester I, III, V, and VII). These questions are a matter of description that belong to the higher-level thinking. Students choose 5 of 8 given problem. Qualitatively, the (...) answers were analyzed by descriptive to see the tendency to think mathematically used in completing the test. The results show that students tend to choose the issues relating to the calculation. They are more use cases, examples and not an example, to evaluate the conjecture and prove to belong to the numeric argumentation. Used mathematical thinking students are very personal (intelligence, interest, and experience), and the situation (problems encountered). Thus, the level of half of the students are not guaranteed and shows the level of mathematical thinking. (shrink)

This eighth book of the author on gambling math presents in accessible terms the cold mathematics behind the sparkling slot machines, either physical or virtual. It contains all the mathematical facts grounding the configuration, functionality, outcome, and profits of the slot games. Therefore, it is not a so-called how-to-win book, but a complete, rigorous mathematical guide for the slot player and also for game producers, being unique in this respect. As it is primarily addressed to the slot player, its (...) goal is to present practical applications of the mathematical models of slot games, in order to provide numerical results that a player can use as criteria for gaming decisions or just as information for any slot game and any predicted winning event. These results are focused on probability and expected value, these being the most important parameters for decisional criteria in slots. The book is packed with plenty of figures, tables, and formulas. The content is organized so that readers can skip the theoretical parts and go picking the practical results (numerical, in tables of values where possible, or ready-to-compute formulas) for the desired situation. The practical results are gathered in the last chapter, titled "Practical Applications and Numerical Results," the largest part of the book, for the most popular categories of slot machines, namely with 3, 5, 9, and 16 reels. Any other category of slot games is covered in the theoretical part of the book, where the general formulas apply not only to existing slot games, but also to possible future slot games of any design and configuration. The author does not just throw the slot mathematics to the audience and run away, but offers an ultimate practical contribution with the chapter "How to estimate the number of stops and the symbol distribution on a reel", a surprise for both players and producers, where one can see that mathematics provides players with some statistical methods as well as methods based on physical measurements for retrieving these missing data. Having these data along with the mathematical results of this book, anyone can generate the PAR sheet of any slot machine. In the last decade, mathematics has been taken more and more seriously into account in gaming, as being the essence that governs the games of chance and the only rigorous tool providing information on optimal play, where possible. For the popular game of slots, mathematics already fulfilled its duty by providing all the data that it can provide and that cannot be found on the display of the slot machines - it is all here in this book. (shrink)

This work is a complete mathematical guide to lottery games, covering all of the problems related to probability, combinatorics, and all parameters describing the lottery matrices, as well as the various playing systems. The mathematics sections describe the mathematical model of the lottery, which is in fact the essence of the lotto game. The applications of this model provide players with all the mathematical data regarding the parameters attached to the gaming events and personal playing systems. By applying these (...) data, one can find all the winning probabilities for the play with one line, and how these probabilities change with playing the various types of systems containing several lines, depending on their structure. Also, each playing system has a formula attached that provides the number of possible multiple prizes in various circumstances. Other mathematical parameters of the playing systems and the correlations between them are also presented. The generality of the mathematical model and of the obtained formulas allows their application for any existent lottery and any playing system. Each formula is followed by numerical results covering the most frequent lottery matrices worldwide and by multiple examples predominantly belonging to the 6/49 lottery. The listing of the numerical results in dozens of well-organized tables, along with instructions and examples of using them, makes possible the direct usage of this guide by players without a mathematical background. The author also discusses from a mathematical point of view the strategies of choosing involved in the lotto game. The book does not offer so-called winning strategies, but helps players to better organize their own playing systems and to confront their own convictions with the incontestable reality offered by the direct applications of the mathematical model of the lotto game. As a must-have handbook for any lottery player, this book offers essential information about the game itself and can provide the basis for gaming decisions of any kind. (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)

We argue that the mathematization of science should be understood as a normative activity of advocating for a particular methodology with its own criteria for evaluating good research. As a case study, we examine the mathematization of taxonomic classification in systematic biology. We show how mathematization is a normative activity by contrasting its distinctive features in numerical taxonomy in the 1960s with an earlier reform advocated by Ernst Mayr starting in the 1940s. Both Mayr and the numerical taxonomists (...) sought to formalize the work of classification, but Mayr introduced a qualitative formalism based on human judgment for determining the taxonomic rank of populations, while the numerical taxonomists introduced a quantitative formalism based on automated procedures for computing classifications. The key contrast between Mayr and the numerical taxonomists is how they conceptualized the temporal structure of the workflow of classification, specifically where they allowed meta-level discourse about difficulties in producing the classification. (shrink)

In this paper I will try to determine the numerical limits of perception and observation in general. Unlike most philosophers who wrote on perception, I will treat perception from a quantitative point of view and not discuss its qualitative features. What I mean is that instead of discussing qualitative aspects of perception, like its accuracy, I will discuss the quantitative aspects of perception, namely its numerical limits. As it turns out, the number of objects one is able perceive (...) is finite, while the number of objects our mind can imagine might be infinite. Thus there must be a level of infinity by which the ‘number’ of objects our mental world can host is bounded. I will use both philosophical assumptions and observations, and mathematical analysis in order to get an estimate of the ‘number’ of objects we could possibly perceive, which surprisingly turns out to be the first level of infinity or the number of natural numbers. I will start by discussing the nature of concrete objects and the way we access them via perception. I will talk about mathematics as well and its relation with perception in order to justify myself for using mathematics as a tool in this paper. After some sections of discussions of various aspects of perception and imagination, I will finally be ready to make a counting and determine what I called “the numerical limits of perception”. (shrink)

What can we infer from numerical cognition about mathematical realism? In this paper, I will consider one aspect of numerical cognition that has received little attention in the literature: the remarkable similarities of numerical cognitive capacities across many animal species. This Invariantism in Numerical Cognition (INC) indicates that mathematics and morality are disanalogous in an important respect: proto-moral beliefs differ substantially between animal species, whereas proto-mathematical beliefs (at least in the animals studied) seem to show (...) more similarities. This makes moral beliefs more susceptible to a contingency challenge from evolution compared to mathematical beliefs, and indicates that mathematical beliefs might be less vulnerable to evolutionary debunking arguments. I will then examine to what extent INC can be used to flesh out a positive case for mathematical realism. Finally, I will review two forms of mathematical realism that are promising in the light of the evolutionary evidence about numerical cognition, ante rem structuralism and Millean empiricism. (shrink)

Following the 26th General Conference on Weights and Measures are fixed the numerical values of the 4 physical constants ($h, c, e, k_B$). This is premised on the independence of these constants. This article discusses a model of a mathematical electron from which can be defined the Planck units as geometrical objects (mass M=1, time T=2$\pi$ ...). In this model these objects are interrelated via this electron geometry such that once we have assigned values to 2 Planck units then (...) we have fixed the values for all Planck units. As all constants can then be defined using geometrical forms (in terms of 2 fixed mathematical constants, 2 unit-specific scalars and a defined relationship between the units $kg, m, s, A$), the least precise CODATA 2014 constants ($G, h, e, m_e, k_B$...) can then be solved via the most precise ($c, \mu_0, \alpha, R_\infty$), with numerical precision limited by the precision of the fine structure constant $\alpha$. In terms of this model we now for example have 2 separate values for elementary charge, calculated from ($c, \alpha, R_\infty$) and the 2017 revision. (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)

Descartes' philosophy contains an intriguing notion of the infinite, a concept labeled by the philosopher as indefinite. Even though Descartes clearly defined this term on several occasions in the correspondence with his contemporaries, as well as in his Principles of Philosophy, numerous problems about its meaning have arisen over the years. Most commentators reject the view that the indefinite could mean a real thing and, instead, identify it with an Aristotelian potential infinite. In the first part of this article, I (...) show why there is no numerical infinity in Cartesian mathematics, as such a concept would be inconsistent with the main fundamental attribute of numbers: to be comparable with each other. In the second part, I analyze the indefinite in the context of Descartes' mathematical physics. It is my contention that, even with no trace of infinite in his mathematics, Descartes does refer to an actual indefinite because of its application to the material world within the system of his physics. This fact underlines a discrepancy between his mathematics and physics of the infinite, but does not lead a difficulty in his mathematical physics. Thus, in Descartes' physics, the indefinite refers to an actual dimension of the world rather than to an Aristotelian mathematical potential infinity. In fact, Descartes establishes the reality and limitlessness of the extension of the cosmos and, by extension, the actual nature of his indefinite world. This indefinite has a physical dimension, even if it is not measurable. La filosofía de Descartes contiene una noción intrigante de lo infinito, un concepto nombrado por el filósofo como indefinido. Aunque en varias ocasiones Descartes definió claramente este término en su correspondencia con sus contemporáneos y en sus Principios de filosofía, han surgido muchos problemas acerca de su significado a lo largo de los años. La mayoría de comentaristas rechaza la idea de que indefinido podría significar una cosa real y, en cambio, la identifica con un infinito potencial aristotélico. En la primera parte de este artículo muestro por qué no hay infinito numérico en las matemáticas cartesianas, en la medida en que tal concepto sería inconsistente con el principal atributo fundamental de los números: ser comparables entre sí. En la segunda parte analizo lo indefinido en el contexto de la física matemática de Descartes. Mi argumento es que, aunque no hay rastro de infinito en sus matemáticas, Descartes se refiere a un indefinido real a causa de sus aplicaciones al mundo material dentro del sistema de su física. Este hecho subraya una discrepancia entre sus matemáticas y su física de lo infinito, pero no implica ninguna dificultad en su física matemática. Así pues, en la física de Descartes, lo indefinido se refiere a una dimensión real del mundo más que a una infinitud potencial matemática aristotélica. De hecho, Descartes establece la realidad e infinitud de la extensión del cosmos y, por extensión, la naturaleza real de su mundo indefinido. Esta indefinición tiene una dimensión física aunque no sea medible. (shrink)

This study aimed to investigate the longitudinal trends in mathematical competencies of Grade 8 students in a public high school located in Zamboanga del Sur, Philippines. The study collected data over a period of six academic years, allowing for a comprehensive analysis of students' performance in 16 distinct mathematical competences of basic education curriculum. These topics include, but are not limited to, special products and factors, factoring, and basic concepts of probability. Using a quantitative research design, the study analyzed both (...) numerical and secondary data to identify patterns or trends in students' mathematical competencies. Trends were analyzed through regression analysis using slopes. The significance of these trends was then evaluated using t-tests for the standard error of slopes. The statistical analysis revealed significant upward trends in certain mathematical topics, indicating an improvement in the students' competencies over the six academic years. However, certain topics displayed downward or stable trends, indicating areas for improvement in the teaching methods used for these topics. The study highlights the importance of flexible and adaptable approaches to mathematics education. It emphasizes the need for constant evaluation and improvement of teaching methods to enhance student learning outcomes. The findings of this study provide valuable insights for educators and policymakers to guide evidence-based decision-making and improve the quality of mathematics education in the new normal setup. Implications and future research directions are incorporated in the study. (shrink)

Slot machines gained a high popularity despite a specific element that could limit their appeal: non-transparency with respect to mathematical parameters. The PAR sheets, exposing the parameters of the design of slot machines and probabilities associated with the winning combinations are kept secret by game producers, and the lack of data regarding the configuration of a machine prevents people from computing probabilities and other mathematical indicators. In this article, I argue that there is no rational justification for this secrecy by (...) giving two reasons, one psychological and the other mathematical. For the latter, I show that mathematics provides us with some statistical methods of retrieving the missing data, which are essential for the numerical probability computations in slots. The slots case raises the problem of the exposure of the parametric configuration and mathematical facts of any game of chance as an ethical obligation. (shrink)

Mindset plays a vital role in tackling the barriers to improving the preservice mathematics teachers’ (PMTs) conceptual understanding of problem-solving. As the COVID-19 pandemic has continued to pose a challenge, online learning has been adopted. This led this study to determining the PMTs’ mindset and level of conceptual understanding in problem-solving in an online learning environment utilising Google Classroom and the Khan Academy. A quantitative research design was employed specifically utilising a descriptive, comparative, and correlational design. Forty-five PMTs were (...) chosen through simple random sampling and willingly took part in this study. The data was gathered using validated and reliable questionnaires and problem-solving tests. The data gathered was analysed using descriptive statistics, analysis of variance, and simple linear regression. The results revealed that the college admission test, specifically numerical proficiency, influences a strong mindset and a higher level of conceptual understanding in problem-solving. Additionally, this study shows that mindset predicts the levels of conceptual understanding in problem-solving in an online environment where PMTs with a growth mindset have the potential to solve math problems. The use of Google Classroom and the Khan Academy to aid online instruction is useful in the preparation of PMTs as future mathematics teachers and problem-solvers. Further studies may be conducted to validate these reports and to address the limitations of this study. (shrink)

This paper argues that Oswald Spengler has an innovative philosophical position on the nature and interrelation of mathematics and science. It further argues that his position in many ways parallels that of Martin Heidegger. Both held that an appreciation of the mathematical nature of contemporary science was critical to a proper appreciation of science, technology and modernity. Both also held that the fundamental feature of modern science is its mathematical nature, and that the mathematical operates as a projection that (...) establishes in advance the manner in which an object will present itself. They also assert that modern science, mathematics and metaphysics all have their roots in the ‘mathematical’, whose essence is itself nothing numerical. (shrink)

Science and mathematics continually change in their tools, methods, and concepts. Many of these changes are not just modifications but progress---steps to be admired. But what constitutes progress? This dissertation addresses one central source of intellectual advancement in both disciplines: reformulating a problem-solving plan into a new, logically compatible one. For short, I call these cases of compatible problem-solving plans "reformulations." Two aspects of reformulations are puzzling. First, reformulating is often unnecessary. Given that we could already solve a problem (...) using an older formulation, what do we gain by reformulating? Second, some reformulations are genuinely trivial or insignificant. Merely replacing one symbol with another does not lead to intellectual progress. What distinguishes significant reformulations from trivial ones? According to what I call "conceptualism" (or "conceptual empiricism"), reformulations are intellectually significant when they provide a different plan for solving problems. Significant reformulations provide inferentially different routes to the same solution. In contrast, trivial reformulations provide exactly the same problem-solving plans, and hence they do not change our understanding. This answers the second question about what distinguishes trivial from significant reformulations. However, the first question remains: what makes a new way of solving an old problem valuable? Here, a bevy of practical considerations come to mind: one formulation might be faster, less complicated, or use more familiar concepts. According to "instrumentalism," these practical benefits are all there is to reformulating. Some reformulations are simply more instrumentally valuable for meeting the aims of science than others. At another extreme, "fundamentalism" contends that a reformulation is valuable when it provides a more fundamental description of reality. According to this view, some reformulations directly contribute to the metaphysical aim of carving reality at its joints. Conceptualism develops a middle ground between instrumentalism and fundamentalism, preserving their benefits without their costs. I argue that the epistemic value of significant reformulations does not reduce to either practical or metaphysical value. Reformulations are valuable because they are a constitutive part of problem-solving. Both science and mathematics aim at solving all possible problems within their respective domains. Meeting this aim requires being able to plan for any possible problem-solving context, and this requires reformulating. By reformulating, we clarify what we need to know to solve problems. Still, one might wonder whether the value of reformulations requires underlying differences in explanatory power. According to "explanationism," a reformulation is valuable only when it provides a better explanation. Explanationism stands as a rival middle ground position to my own. However, it faces numerous counterexamples. In many cases, two reformulations provide the same explanation while nonetheless providing different ways of understanding a phenomenon. Hence, reformulating can be valuable even when neither formulation is more explanatory. Methodologically, I draw on a variety of case studies to support my account of reformulation. These range from classical mechanics to quantum chemistry, along with examples from mathematics. Symmetry arguments provide a paradigmatic example: the mathematics of symmetry groups radically recasts quantum mechanics and quantum chemistry. Nevertheless, elementary approaches exist that eschew this additional mathematical apparatus, solving problems in a more tedious but less mathematically-demanding manner. Further examples include reformulations of quantum field theory, Arabic vs. Roman numerals, and Fermat's little theorem in number theory. In each case, my account identifies how reformulations change and improve our understanding of science and mathematics. (shrink)

Many biological processes and objects can be described by fractals. The paper uses a new type of objects – blinking fractals – that are not covered by traditional theories considering dynamics of self-similarity processes. It is shown that both traditional and blinking fractals can be successfully studied by a recent approach allowing one to work numerically with infinite and infinitesimal numbers. It is shown that blinking fractals can be applied for modeling complex processes of growth of biological systems including their (...) season changes. The new approach allows one to give various quantitative characteristics of the obtained blinking fractals models of biological systems. (shrink)

Over the past two decades, gamblers have begun taking mathematics into account more seriously than ever before. While probability theory is the only rigorous theory modeling the uncertainty, even though in idealized conditions, numerical probabilities are viewed not only as mere mathematical information, but also as a decision-making criterion, especially in gambling. This book presents the mathematics underlying the major games of chance and provides a precise account of the odds associated with all gaming events. It begins (...) by explaining in simple terms the meaning of the concept of probability for the layman and goes on to become an enlightening journey through the mathematics of chance, randomness and risk. It then continues with the basics of discrete probability, combinatorics and counting arguments for those interested in the supporting mathematics. These mathematic sections may be skipped by readers who do not have a minimal background in mathematics; these readers can skip directly to the Guide to Numerical Results to pick the odds and recommendations they need for the desired gaming situation. Doing so is possible due to the organization of that chapter, in which the results are listed at the end of each section, mostly in the form of tables. The chapter titled The Mathematics of Games of Chance presents these games not only as a good application field for probability theory, but also in terms of human actions where probability-based strategies can be tried to achieve favorable results. Through suggestive examples, the reader can see what are the experiments, events and probability fields in games of chance and how probability calculus works there. The main portion of this work is a collection of probability results for each type of game. Each game s section is packed with formulas and tables. Each section also contains a description of the game, a classification of the gaming events and the applicable probability calculations. The primary goal of this work is to allow the reader to quickly find the odds for a specific gaming situation, in order to improve his or her betting/gaming decisions. Every type of gaming event is tabulated in a logical, consistent and comprehensive manner. The complete methodology and complete or partial calculations are shown to teach players how to calculate probability for any situation, for every stage of the game for any game. Here, readers can find the real odds, returned by precise mathematical formulas and not by partial simulations that most software uses. Collections of odds are presented, as well as strategic recommendations based on those odds, where necessary, for each type of gaming situation. The book contains much new and original material that has not been published previously and provides great coverage of probabilities for the following games of chance: Dice, Slots, Roulette, Baccarat, Blackjack, Texas Hold em Poker, Lottery and Sport Bets. Most of games of chance are predisposed to probability-based decisions. This is why the approach is not an exclusively statistical one, but analytical: every gaming event is taken as an individual applied probability problem to solve. A special chapter defines the probability-based strategy and mathematically shows why such strategy is theoretically optimal.". (shrink)

Continuing his series of books on the mathematics of gambling, the author shows how a simple-rule game such as roulette is suited to a complex mathematical model whose applications generate improved betting systems that take into account a player's personal playing criteria. The book is both practical and theoretical, but is mainly devoted to the application of theory. About two-thirds of the content is lists of categories and sub-categories of improved betting systems, along with all the parameters that might (...) stand as the main objective criteria in a personal strategy - odds, profits and losses. The work contains new and original material not published before. The mathematical chapter describes complex bets, the profit function, the equivalence between bets and all their properties. All theoretical results are accompanied by suggestive concrete examples and can be followed by anyone with a minimal mathematical background because they involve only basic algebraic skills and set theory basics. The reader may also choose to skip the math and go directly to the sections containing applications, where he or she can pick desired numerical results from tables. The book offers no new so-called winning strategies, although it discusses them from a mathematical point of view. It does, however, offer improved betting systems and helps to organize a player's choices in roulette betting, according to mathematical facts and personal strategies. It is a must-have roulette handbook to be studied before placing your bets on the turn of either a European or American roulette wheel. (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)

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)

Suppose one has a system, the infinite set of positive integers, P, and one wants to study the characteristics of a subset (or subsystem) of that system, the infinite subset of odd positives, O, relative to the overall system. In mathematics, this is done by pairing off each odd with a positive, using a function such as O=2P+1. This puts the odds in a one-to-one correspondence with the positives, thereby, showing that the subset of odds and the original set (...) of positives are the same size, or have the same cardinality. This counter-intuitive result ignores the “natural” relationship of one odd for every two positives in the sequence of positive integers, which would suggest that O is one-half the size of P. However, in the set of axioms that constitute mathematics, it is considered valid. Fair enough. In the physical universe (i.e., the starting system), though, relationships between entities matter. In biochemistry, if you start with an organism, say a rat, and you want to study its heart, you can do this by removing some heart cells and studying them in isolation in a cell culture system. But, the results often differ compared to what occurs in the intact animal because studying the isolated cultured cells ignores the relationships in the intact body between the cells, the rest of the heart tissue and the rest of the rat. In chemistry, if a copper atom were studied in isolation, it would never be known that copper atoms in bulk can conduct electricity because the atoms share their electrons. In physics, the relationships between inertial reference frames in relativity, and observer and observed in quantum physics can't be ignored. Relationships matter in the physical world, but the mathematics of infinite sets is still used to describe it. Does this matter? It seems to, at least in physics. Infinities cause numerous problems in theoretical physics such as non-renormalizability and problems in unifying quantum mehanics and general relativity . This suggests that the pairing off method and the mathematics of infinite sets based on it are analogous to a cell culture system or studying a copper atom in isolation if they are used in studying the physical universe because they ignore the inherent relationships between entities. In the real, physical world, the natural, inherent, relationships between entities can't be ignored. Said another way, the set of axioms that constitute abstract mathematics may be similar but not identical to the set of physical axioms by which the real, physical universe runs. This suggests that the results from abstract mathematics about infinities may not apply to or should be modified for use in physics. (shrink)

The researcher was prompted to conduct this study to give intervention of the alarming situation which there is a low performance in solving problems related to geometry in Grade IV Mathematics. This study was about on how to enhance the mathematical competencies of the grade IV pupils using a downloaded worksheets as a learning activity. This study focused in giving remediation applying the intervention materials. These resources give several approaches to attain mastery using distinct drill cards. The investigation was (...) carried out utilizing quasi-experimental design. During administering the pre-test and post-test, the researcher used the weighted mean and t-test to determine the mean percentage scores of the respondents. The respondents were 56 fourth grade learners enrolled in Marangog Elementary School and Tagnate Elementary School in Hilongos East District for the school year 2019 – 2020. At the end of the study, it was found out the use of downloaded math worksheets were found effective means of improving the mastery level. In addition, based on the results gathered, the downloaded math worksheets which were used in the drills or practice greatly contributed to the elimination of non-numerates, and give significantly increasing the number of pupils who mastered the competencies related to geometry. As a result, a proposed innovative teaching strategy is recommended. -/- . (shrink)

Lange’s collection of expanded, mostly previously published essays, packed with numerous, beautiful examples of putatively non-causal explanations from biology, physics, and mathematics, challenges the increasingly ossified causal consensus about scientific explanation, and, in so doing, launches a new field of philosophic investigation. However, those who embraced causal monism about explanation have done so because appeal to causal factors sorts good from bad scientific explanations and because the explanatory force of good explanations seems to derive from revealing the relevant causal (...) (or ontic) structures. The taxonomic project of collecting examples and sorting their types is an essential starting place for a theory of non-causal explanation. But the title of Lange’s book requires something further: showing that the putative explanations are, in fact, explanatory and revealing the non-causal source of their explanatory power. This project is incomplete if there are examples of putative non-causal explanations that fit the form but that nobody would accept as explanatory (absent a radical revision of intuitions). Here we provide some reasons for thinking that there are such examples. (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 main aim of the study was to determine the levels of Adversity Quotient and problem solving skills in Mathematics of BISU - MC students taking BSEdMathematics in the school year 2021-2022. It sought to find if there was a significant difference in the respondents’ levels of AQ and problem solving skills in Mathematics across their age, gender and year level as well as their level of AQ as a significant predictor of their level of problem solving skills (...) in Mathematics. It also aimed to develop a plan of action that would be proposed to improve these two aspects of their being. The total number of actual respondents was 163. Purposive sampling was used. The study utilized the quantitative type of study. It made use of the descriptive design to describe the characteristics of the population being studied and the regression design to infer the relationship between the independent variable and dependent variable. The Online AQ Profile was used for determining the respondents’ level of AQ and a 10-item test was used for determining their level of problem solving skills in Mathematics. Both inquired their profile. The data provided by the respondents were collected and subjected to statistical treatment through IBM SPSS Statistics Trial software. Data revealed that the age of the respondents ranged from 18 to 22 years old. Females numerically dominated the analyzed field. Majority of the respondents were from the first and fourth year levels. Their AQ was below average while their problem solving skills in Mathematics was satisfactory. The age, gender and year level of students did not matter in identifying their level of AQ. On the other hand, the older students had a higher level of problem solving skills in Mathematics than the younger ones and the students in the higher year level had a higher level of problem solving skills in Mathematics than those in the lower year level. Finally, their level of AQ gave a positive influence on their level of problem solving skills in Mathematics. The education system should be aligned with the profile of the students. The teachers would let the students read the book of Paul G. Stoltz, PhD titled “Adversity Quotient: Turning Obstacles into Opportunities”. The students would also reflect on the word of God. Also, the teachers would let the students study the book by George Polya titled “How To Solve It”. The students would also continue to solve various routine problems. Regardless of age, gender and year level, the family and friends of the students should encourage them in every way they can for their better future as they overcome their adversities. Mathematics curriculum makers and teachers work together to improvise teaching and learning Mathematics specifically problem solving for the younger students and those in the lower year level. Future researchers could replicate the study to further verify the results. Research could focus specifically on the CORE dimensions of AQ predicting the level of problem solving skills in Mathematics. (shrink)

A review of Geoffrey B. Saxe, Cultural Development of Mathematical Ideas. Saxe offers a comprehensive treatment of social and linguistic change in the number systems used for economic exchange in the Oksapmin community of Papua New Guinea. By taking the cognition-is-social approach, Saxe positions himself within emerging perspectives that view cognition as enacted, situated, and extended. The approach is somewhat risky in that sociality surely does not exhaust cognition. Brains, bodies, and materiality also contribute to cognition—causally at least, and possibly (...) constitutively as well (as argued by Clark & Chalmers; Renfrew & Malafouris). This omission necessarily excludes the material dimension of numeracy. (shrink)

In this paprer a class of so called mathematically acceptable (shortly MA) languages is introduced First-order formal languages containing natural numbers and numerals belong to that class. MA languages which are contained in a given fully interpreted MA language augmented by a monadic predicate are constructed. A mathematical theory of truth (shortly MTT) is formulated for some of these languages. MTT makes them fully interpreted MA languages which posses their own truth predicates, yielding consequences to philosophy of mathematics. MTT (...) is shown to conform well with the eight norms presented for theories of truth in the paper 'What Theories of Truth Should be Like (but Cannot be)' by Hannes Leitgeb. MTT is also free from infinite regress, providing a proper framework to study the regress problem. (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)

Nền kinh tế nước ta đang chuyển biến mạnh mẽ từ nền kinh tế bao cấp sang kinh tế thị trường, nhất là từ khi nước ta gia nhập WTO. Đảng và chính phủ đã đề ra rất nhiều các chính sách để cải tiến các thể chế quản lý nền kinh tế và tài chính. Thị trường chứng khoán Việt Nam đã ra đời và đang đóng một vai trò quan trọng trong việc huy động vốn phục vụ cho (...) việc phát triển nền kinh tế quốc dân. Việc phân tích tác động của các chính sách đến nền kinh tế vĩ mô và nền tài chính, những đối sách của chính phủ ta và chính phủ các nước đối với cuộc khủng khoảng tài chính toàn cầu là các vấn đề rất thời sự đang thu hút sự chú ý của nhiều nhà kinh tế và toán học. (shrink)

There is growing concern that decision-making informed by machine learning (ML) algorithms may unfairly discriminate based on personal demographic attributes, such as race and gender. Scholars have responded by introducing numerous mathematical definitions of fairness to test the algorithm, many of which are in conflict with one another. However, these reductionist representations of fairness often bear little resemblance to real-life fairness considerations, which in practice are highly contextual. Moreover, fairness metrics tend to be implemented in narrow and targeted toolkits that (...) are difficult to integrate into an algorithm’s broader ethical assessment. In this paper, we derive lessons from ethical philosophy and welfare economics as they relate to the contextual factors relevant for fairness. In particular we highlight the debate around acceptability of particular inequalities and the inextricable links between fairness, welfare and autonomy. We propose Key Ethics Indicators (KEIs) as a way towards providing a more holistic understanding of whether or not an algorithm is aligned to the decision-maker’s ethical values. (shrink)

The paper explicates the stages of the author’s philosophical evolution in the light of Kopnin’s ideas and heritage. Starting from Kopnin’s understanding of dialectical materialism, the author has stated that category transformations of physics has opened from conceptualization of immutability to mutability and then to interaction, evolvement and emergence. He has connected the problem of physical cognition universals with an elaboration of the specific system of tools and methods of identifying, individuating and distinguishing objects from a scientific theory domain. The (...) role of vacuum conception and the idea of existence (actual and potential, observable and nonobservable, virtual and hidden) types were analyzed. In collaboration with S.Crymski heuristic and regulative functions of categories of substance, world as a whole as well as postulates of relativity and absoluteness, and anthropic and self-development principles were singled out. Elaborating Kopnin’s view of scientific theories as a practically effective and relatively true mapping of their domains, the author in collaboration with M. Burgin have originated the unified structure-nominative reconstruction (model) of scientific theory as a knowledge system. According to it, every scientific knowledge system includes hierarchically organized and complex subsystems that partially and separately have been studied by standard, structuralist, operationalist, problem-solving, axiological and other directions of the current philosophy of science. 1) The logico-linguistic subsystem represents and normalizes by means of different, including mathematical, languages and normalizes and logical calculi the knowledge available on objects under study. 2) The model-representing subsystem comprises peculiar to the knowledge system ways of their modeling and understanding. 3) The pragmatic-procedural subsystem contains general and unique to the knowledge system operations, methods, procedures, algorithms and programs. 4) From the viewpoint of the problem-heuristic subsystem, the knowledge system is a unique way of setting and resolving questions, problems, puzzles and tasks of cognition of objects into question. It also includes various heuristics and estimations (truth, consistency, beauty, efficacy, adequacy, heuristicity etc) of components and structures of the knowledge system. 5) The subsystem of links fixes interrelations between above-mentioned components, structures and subsystems of the knowledge system. The structure-nominative reconstruction has been used in the philosophical and comparative case-studies of mathematical, physical, economic, legal, political, pedagogical, social, and sociological theories. It has enlarged the collection of knowledge structures, connected, for instance, with a multitude of theoreticity levels and with an application of numerous mathematical languages. It has deepened the comprehension of relations between the main directions of current philosophy of science. They are interpreted as dealing mainly with isolated subsystems of scientific theory. This reconstruction has disclosed a variety of undetected knowledge structures, associated also, for instance, with principles of symmetry and supersymmetry and with laws of various levels and degrees. In cooperation with the physicist Olexander Gabovich the modified structure-nominative reconstruction is in the processes of development and justification. Ideas and concepts were also in the center of Kopnin’s cognitive activity. The author has suggested and elaborated the triplet model of concepts. According to it, any scientific concept is a dependent on cognitive situation, dynamical, multifunctional state of scientist’s thinking, and available knowledge system. A concept is modeled as being consisted from three interrelated structures. 1) The concept base characterizes objects falling under a concept as well as their properties and relations. In terms of volume and content the logical modeling reveals partially only the concept base. 2) The concept representing part includes structures and means (names, statements, abstract properties, quantitative values of object properties and relations, mathematical equations and their systems, theoretical models etc.) of object representation in the appropriate knowledge system. 3) The linkage unites a structures and procedures that connect components from the abovementioned structures. The partial cases of the triplet model are logical, information, two-tired, standard, exemplar, prototype, knowledge-dependent and other concept models. It has introduced the triplet classification that comprises several hundreds of concept types. Different kinds of fuzziness are distinguished. Even the most precise and exact concepts are fuzzy in some triplet aspect. The notions of relations between real scientific concepts are essentially extended. For example, the definition and strict analysis of such relations between concepts as formalization, quantification, mathematization, generalization, fuzzification, and various kinds of identity are proposed. The concepts «PLANET» and «ELEMENTARY PARTICLE» and some of their metamorphoses were analyzed in triplet terms. The Kopnin’s methodology and epistemology of cognition was being used for creating conception of the philosophy of law as elaborating of understanding, justification, estimating and criticizing legal system. The basic information on the major directions in current Western philosophy of law (legal realism, feminism, criticism, postmodernism, economical analysis of law etc.) is firstly introduced to the Ukrainian audience. The classification of more than fifty directions in modern legal philosophy is suggested. Some results of historical, linguistic, scientometric and philosophic-legal studies of the present state of Ukrainian academic science are given. (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)

The need for revolution in modern physics is a well known and often broached subject, however, the precision and success of current models narrows the possible changes to such a great degree that there appears to be no major change possible. We provide herein, the first step toward a possible solution to this paradox via reinterpretation of the conceptual-theoretical framework while still preserving the modern art and tools in an unaltered form. This redivision of concepts and redistribution of the data (...) can revolutionize expectations of new experimental outcomes. This major change within finely tuned constraints is made possible by the fact that numerous mathematically equivalent theories were direct precursors to, and contemporaneous with, the modern interpretations. In this first of a series of papers, historical investigation of the conceptual lineage of modern theory reveals points of exacting overlap in physical theories which, while now considered cross discipline, originally split from a common source and can be reintegrated as a singular science again. This revival of an an older associative hierarchy, combined with modern insights, can open new avenues for investigation. This reintegration cross-disciplinary theories and tools is defined as the “Neoclassical Interpretation.” . (shrink)

In this paper, I defend traditional Platonic mathematical realism from its contemporary detractors, arguing that numbers, understood as abstract, non-physical objects of rational intuition, are indispensable for the act of counting.

The development of symbolic logic is often presented in terms of a cumulative story of consecutive innovations that led to what is known as modern logic. This narrative hides the difficulties that this new logic faced at first, which shaped its history. Indeed, negative reactions to the emergence of the new logic in the second half of the nineteenth century were numerous and we study here one case, namely logic at Oxford, where one finds Lewis Carroll, a mathematical teacher who (...) promoted symbolic logic, and John Cook Wilson, the Wykeham Professor of Logic who notoriously opposed it. An analysis of their disputes on the topic of logical symbolism shows that their opposition was not as sharp as it might look at first, as Cook Wilson was not so much opposed to the « symbolic » character of logic, but the intrusion of mathematics and what he perceived to be the futility of some of its problems, for logicians and philosophers alike. (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)

The paper considers a new type of objects – blinking fractals – that are not covered by traditional theories studying dynamics of self-similarity processes. It is shown that the new approach allows one to give various quantitative characteristics of the newly introduced and traditional fractals using infinite and infinitesimal numbers proposed recently. In this connection, the problem of the mathematical modelling of continuity is discussed in detail. A strong advantage of the introduced computational paradigm consists of its well-marked numerical (...) character and its own instrument – Infinity Computer – able to execute operations with infinite and infinitesimal numbers. (shrink)

Like most, if not all, of his contemporaries, Spinoza never developed a full-fledged philosophy of mathematics. Still, his numerous remarks about mathematics attest not only to his deep interest in the subject (a point which is also confirmed by the significant presence of mathematical books in his library), but also to his quite elaborate and perhaps unique understanding of the nature of mathematics. At the very center of his thought about mathematics stands a paradox (or, at (...) least, an apparent paradox): mathematics provides Spinoza with an epistemic model. Mathematical knowledge is certain (II/138/9 and II/138/9), clear (IV/261/8), and free from teleological thinking (II/79/33), but the objects of mathematical knowledge – i.e., mathematical entities – are nothing but “auxila imaginationis [aids of the imagination],” (IV/57/16 and II/83/15), entities that are not real and merely assist the imagination in carving the world in manner that is suitable to our limited and distortive cognitive capacities. (shrink)

All humans share a universal, evolutionarily ancient approximate number system (ANS) that estimates and combines the numbers of objects in sets with ratio-limited precision. Interindividual variability in the acuity of the ANS correlates with mathematical achievement, but the causes of this correlation have never been established. We acquired psychophysical measures of ANS acuity in child and adult members of an indigene group in the Amazon, the Mundurucú, who have a very restricted numerical lexicon and highly variable access to (...) class='Hi'>mathematics education. By comparing Mundurucú subjects with and without access to schooling, we found that education significantly enhances the acuity with which sets of concrete objects are estimated. These results indicate that culture and education have an important effect on basic number perception. We hypothesize that symbolic and nonsymbolic numerical thinking mutually enhance one another over the course of mathematics instruction. (shrink)