Realizing Infinity

Maryanthe Malliaris,Assaf Peretz

2023-06-11

Abstract:What happens when mathematics realizes infinity. When are mathematical definitions actually useful?

History and Overview,Logic

What problem does this paper attempt to address?

Mathematical Existence

Penelope Maddy

DOI: https://doi.org/10.2178/bsl/1122038992

2005-09-01

Bulletin of Symbolic Logic

Abstract:Despite some discomfort with this grandly philosophical topic, I do in fact hope to address a venerable pair of philosophical chestnuts: mathematical truth and existence. My plan is to set out three possible stands on these issues, for an exercise in compare and contrast. A word of warning, though, to philosophical purists (and perhaps of comfort to more mathematical readers): I will explore these philosophical positions with an eye to their interconnections with some concrete issues of set theoretic method. Let me begin with a brief look at what to count as ‘philosophy’. To some extent, this is a matter of usage, and mathematicians sometimes classify as ‘philosophical’ any considerations other than outright proofs. So, for example, discussions of the propriety of particular mathematical methods would fall under this heading: should we prefer analytic or synthetic approaches in geometry? Should elliptic functions be treated in terms of explicit representations (as in Weierstrass) or geometrically (as in Riemann)? Should we allow impredicative definitions? Should we restrict ourselves to a logic without bivalence or the law of the excluded middle? Also included in this category would be the trains of thought that shaped our central concepts: should a function always be defined by a formula? Should a group be required to have an inverse for every element? Should ideal divisors be defined contextually or explicitly, treated computationally or abstractly? In addition, there are more general questions concerning mathematical values, aims and goals: Should we strive for powerful theories or low-risk theories? How much stress should be placed on the fact or promise of physical applications? How important are interconnections between the various branches of mathematics? These philosophical questions of method naturally include several peculiar to set theory: should set theorists focus their efforts on drawing consequences for areas of interest to mathematicians outside mathematical logic? Should exploration of the standard axioms of ZFC be preferred to the exploration and exploitation of new axioms? How should axioms for set theory be chosen? What would a solution to the Continuum Problem look like?

mathematics,logic
Metaphors in teaching infinity: Limits, cardinalities, and nonstandard models

Petr Glivický

DOI: https://doi.org/10.48550/arXiv.1812.06943

2018-12-17

History and Overview

Abstract:Mathematical conception of infinite quantities forms a cornerstone of many disciplines of modern mathematics --- from differential calculus to set theory. In fact, it could be argued that the most significant revolutions in mathematics in the modern period were always triggered by a development in our understanding of infinity. From the pedagogical point of view, the students' comprehension of the concept of infinity is a competence of interdisciplinary value, helping them to grasp the reasons why and how individual disciplines of modern mathematics were built up. In this paper we present a number of illustrations, examples, and allegories that illuminate and clarify different aspects of infinity. The author has been using and gradually developing these metaphors for infinity in his undergraduate and graduate courses and popular lectures on mathematical logic, set theory, calculus, and nonstandard analysis during the last decade. The aim of this paper is to share the accumulated didactic know-how.
Realism and the point at infinity: The end of the line?

Oisín Parkinson-Coombs,Rafael Núñez

DOI: https://doi.org/10.1007/s11229-023-04228-w

IF: 1.595

2023-08-31

Synthese

Abstract:Philosophers of mathematics often rely on the historical progress of mathematics in support of mathematical realism. These histories typically build on formal semantic tools to evaluate the changes in mathematics, and on these bases present later mathematical concepts as refined versions of earlier concepts which are taken to be vague. Claiming that this view does not apply to mathematical concepts in general, we present a case-study concerning projective geometry, for which we apply the tools of cognitive linguistics to analyse the developmental trajectory of the domain. On the basis of this analysis, we argue for the existence of two conceptually incompatible inferential structures, occurring at distinct moments in history, both of which yield the same projective geometric theorems; the first invoked by the French mathematicians Girard Desargues (1591–1661) and Jean-Victor Poncelet (1788–1867), and the second characterising a specific modern mode. We demonstrate that neither of these inferential structures can be considered as a refinement of the other. This case of conceptual development presents an issue to the standard account of progress and its bearing on mathematical realism. Our analysis suggests that the features that distinguish the underlying conceptually incompatible inferential structures are invisible to the standard application of the tools of formal semantics. Thus this case-study stands as an example of the manner and necessity of linguistics—specifically cognitive linguistics—to inform the philosophy of mathematics.

history & philosophy of science
Alternative Mathematics without Actual Infinity

Toru Tsujishita

DOI: https://doi.org/10.48550/arXiv.1204.2193

2012-06-13

Abstract:An alternative mathematics based on qualitative plurality of finiteness is developed to make non-standard mathematics independent of infinite set theory. The vague concept "accessibility" is used coherently within finite set theory whose separation axiom is restricted to definite objective conditions. The weak equivalence relations are defined as binary relations with sorites phenomena. Continua are collection with weak equivalence relations called indistinguishability. The points of continua are the proper classes of mutually indistinguishable elements and have identities with sorites paradox. Four continua formed by huge binary words are examined as a new type of continua. Ascoli-Arzela type theorem is given as an example indicating the feasibility of treating function spaces. The real numbers are defined to be the points on the linear continuum and have indefiniteness. Exponentiation is introduced by the Eulerian style and basic properties are established. Basic calculus is developed and the differentiability is captured by the behavior on a point. Main tools of Lebesgue measure theory is obtained in a similar way as Loeb measure. Differences from the current mathematics are examined, such as the indefiniteness of natural numbers, qualitative plurality of finiteness, mathematical usage of vague concepts, the continuum as a primary inexhaustible entity and the hitherto disregarded aspect of "internal measurement" in mathematics.

General Mathematics
Some paradoxes of Infinity revisited

Yaroslav D. Sergeyev

DOI: https://doi.org/10.1007/s00009-022-02063-w

2022-12-08

Abstract:In this article, some classical paradoxes of infinity such as Galileo's paradox, Hilbert's paradox of the Grand Hotel, Thomson's lamp paradox, and the rectangle paradox of Torricelli are considered. In addition, three paradoxes regarding divergent series and a new paradox dealing with multiplication of elements of an infinite set are also described. It is shown that the surprising counting system of an Amazonian tribe, Pirahã, working with only three numerals (one, two, many) can help us to change our perception of these paradoxes. A recently introduced methodology allowing one to work with finite, infinite, and infinitesimal numbers in a unique computational framework not only theoretically but also numerically is briefly described. This methodology is actively used nowadays in numerous applications in pure and applied mathematics and computer science as well as in teaching. It is shown in the article that this methodology also allows one to consider the paradoxes listed above in a new constructive light.

General Mathematics
Embodiment of infinity in mathematics

Omid Khatin-Zadeh,Danyal Farsani,Zahra Eskandari

DOI: https://doi.org/10.3389/fpsyg.2023.1321940

IF: 3.8

2024-01-25

Frontiers in Psychology

Abstract:In this article, we discuss the embodiment of infinity as one of fundamental concepts in mathematics. In contrast to the embodiment of many other mathematical concepts, the embodiment of infinity is an endless dynamic process. In embodying +∞, an object moves rightward toward a previously-set limit and passes it. Then, a new limit is set on the right side of the moving object. The moving object continues its movement and passes it as well. The moving object can pass any limit. In other words, there is no impassable limit for it. In embodying -∞, a similar process happens but the movement is leftward. Embodiment of infinitely small quantities has a basic similarity to the embodiment of infinitely large quantities, although it is different in some respects. We call the embodiment of infinity as iterative embodiment . It is iterative because the process of setting a new limit and passing it is repeated endlessly. Finally, it is suggested that in the process of embodying infinitely large and infinitely small quantities, the visual system and the motor system play important roles, as this process involves spatial concepts and movement.

psychology, multidisciplinary
Intuitive but Non-Rigorous Explanations of Infinite Numbers

Steven R. Cranmer

2024-01-15

Abstract:The mathematical study of infinity seems to have the ability to transport the mind to lofty and unusual realms. Decades ago, I was transported in this way by Rudy Rucker's book Infinity and the Mind. Despite much subsequent learning and teaching of mathematics in the service of physics and astronomy, there remained quite a few aspects of the "higher infinities" that I was still far from comprehending. Thus, I wanted to dive back in to understand those ideas and to find good ways to explain them to other non-specialists. These notes are an attempt to do this. They begin by discussing huge (but still describable) finite numbers, then they proceed to the concepts of fixed points, Cantor's countably infinite ordinals, transfinite cardinals and the continuum hypothesis, and then to more recent attempts to define still-larger infinities called large cardinals. I should warn the reader that the author is an astrophysicist, so these pedagogic explanations may not be satisfying (or anywhere nearly sufficiently rigorous) to a mathematician. Still, I hope these explanations provide some intuitive insights about concepts that are too large to fit in the physical universe.

History and Overview
Definability in the Real Universe

S. Barry Cooper

DOI: https://doi.org/10.48550/arXiv.1109.1416

2011-09-07

Abstract:Logic has its origins in basic questions about the nature of the real world and how we describe it. This article seeks to bring out the physical and epistemological relevance of some of the more recent technical work in logic and computability theory. "If you are receptive and humble, mathematics will lead you by the hand. Again and again, when I have been at a loss how to proceed, I have just had to wait until I have felt the mathematics lead me by the hand. It has led me along an unexpected path, a path where new vistas open up, a path leading to new territory, where one can set up a base of operations, from which one can survey the surroundings and plan future progress." - Paul Dirac, 27 November, 1975. In Paul A. M. Dirac Papers, Florida State University Libraries, Tallahassee, Florida, USA, No. 2/29/17.

Logic,History and Philosophy of Physics
Une initiation au concept de l'infini

Michel Ades,David Guillemette,Serge B. Provost

2024-02-10

Abstract:In this article, we explore the notion of infinity by studying Cantor's contribution to this field. A brief history of set theory is given. As an example of infinity, we consider Hilbert's famous hotel. A graphical construction is used to demonstrate the countability of rationals. Cantor's diagonal procedure is explored, demonstrating that the infinity of real numbers is greater than that of integers. There is therefore a hierarchy of infinities, enabling us to elaborate on the continuum hypothesis, which remains an unsolved problem in mathematics.

History and Overview
Fermat Reals - Nilpotent Infinitesimals and Infinite Dimensional Spaces

Paolo Giordano

DOI: https://doi.org/10.48550/arXiv.0907.1872

2009-07-11

Abstract:F.: Good morning Hermann, I would like to talk with you about infinitesimals. G.: Tell me Pierre. F.: I'm fed up of all these slanders about my attitude to be non rigorous, so I've started to study nonstandard analysis (NSA) and synthetic differential geometry (SDG). G.: Yes, I've read something ... F.: Ok, no problem about their rigour. But, when I've seen that the sine of an infinite in NSA is infinitely near to a real number I was astonished: what is the intuitive meaning of this number, if any? Then, I've seen that to work in SDG I must learn to work in intuitionistic logic ... You know, I love margins of books, and I don't want to loose too much time, I have many things to do ... G.: In SDG they also say that every infinitesimal is at the same time positive and negative, what is the meaning of all these? And why does the square of a first order infinitesimal equal zero, whereas the product of two first order infinitesimals is not necessarily zero? And do you know that from any single infinitesimal in NSA is possible to construct a non measurable set? Without using the axiom of choice! F.: Yes, I know, I know ... Ok, listen: why cannot we start from standard real functions of one real variable and use ... This work is the ideal continuation of this dialogue: a theory of actual infinitesimals that do not need a background of formal logic to be understood, with a clear intuitive meaning and with non trivial applications to differential geometry of both finite and infinite dimensional spaces.

Differential Geometry,General Mathematics
A Renunciation of Axiom, A New Conception of Logic

Eitan Wander

DOI: https://doi.org/10.48550/arXiv.2311.12587

2023-11-21

Abstract:Mathematicians invented Mathematics to escape from words, but at last they depend on them just as much as everybody else. At the end, all basic definitions will be reliant on words, yet the mathematician believes that he's elevated from them by use of axioms, only that just postpones the problem and later becomes more serious Gödelian problems due to the countability of the axiomatic array. I think we should do our best to rid ourselves of axioms, and in this paper, I revisit what's called "Naïve Set Theory", which is set theory that is fully reliant on verbal definitions, and resolve the problems that were once found with it in the form of paradoxes, most notably, Russell's Paradox. I believe that by this, a new approach to mathematics as a whole is presented, an approach that refers to mathematics as the science of definitions. The question "how do you define definition?" will not be a part of Mathematics but of Metamathematics and to it many of the problems known about Naïve Set Theory will be funneled. A thorough yet concise treatment of the matter will be given in this paper.

Logic
Tension between Intuitive Infinitesimals and Formal Mathematical Analysis

Mikhail G. Katz,David Tall

DOI: https://doi.org/10.48550/arXiv.1110.5747

2011-10-26

History and Overview

Abstract:We discuss the repercussions of the development of infinitesimal calculus into modern analysis, beginning with viewpoints expressed in the nineteenth and twentieth centuries and relating them to the natural cognitive development of mathematical thinking and imaginative visual interpretations of axiomatic proof.
Elementary submodels, coding strategies, and an infinite real number game

Will Brian,Steven Clontz

DOI: https://doi.org/10.48550/arXiv.2209.02593

2022-08-09

Abstract:Matthew Baker investigated, in previous work, an elegant, infinite-length game that may be used to study subsets of real numbers. We present two accessible examples of how an important technique from set theory, or a different technique from infinite game theory, may be used to answer Baker's question on whether this game provides a precise characterization for countable subsets of real numbers, and we connect this game to the well-studied Banach-Mazur game from topology.

Logic
Mathematics: abstraction and reality. A sketch toward deeper analysis

Radoslav Dimitric

DOI: https://doi.org/10.48550/arXiv.1612.04254

2016-12-11

General Mathematics

Abstract:This paper establishes grounds for deeper exploration into the question of dual nature of mathematics as an abstract discipline and as a concrete science. It is argued, as one of the consequences of the discussion, that the division into "pure" and "applied" mathematics is artificial. The criterion of creativity and applicability outside of the original context is used as a litmus test. It is emphasized that great societies and cultural environments produce great mathematics and individual mathematicians.
The paradoxes and the infinite dazzled ancient mathematics and continue to do so today

Fairouz Kamareddine,Jonathan Seldin

2024-01-05

Abstract:This paper looks at how ancient mathematicians (and especially the Pythagorean school) were faced by problems/paradoxes associated with the infinite which led them to juggle two systems of numbers: the discrete whole/rationals which were handled arithmetically and the continuous magnitude quantities which were handled geometrically. We look at how approximations and mixed numbers (whole numbers with fractions) helped develop the arithmetization of geometry and the development of mathematical analysis and real numbers.

History and Overview,Logic in Computer Science
AlephZero and Mathematical Experience

Simon DeDeo

DOI: https://doi.org/10.1090/bull/1824

2023-09-08

Abstract:This essay explores the impact of automated proof construction on three key areas of mathematical cognition: on how we judge the role one piece of mathematics plays in another, on how we make mistakes in reasoning about mathematical objects, and on how we understand what our theorems are truly about. It concludes by speculating on a new form of mathematical experience that these methods could make possible: ``glitching'', a game-like search for uncanny consequences of our definitions.

History and Overview
Geometrically finite and infinite Kleinian Groups

Mahan Mj

DOI: https://doi.org/10.48550/arXiv.1507.04165

2015-07-15

Abstract:This is a summary of the material for 3 lectures on geometrically finite and infinite Kleinian groups delivered by the author at a workshop held at Tata Institute of Fundamental Research in April 2014.

Geometric Topology
Mathematics as an Exact and Precise Language of Nature

Afsar Abbas

DOI: https://doi.org/10.48550/arXiv.physics/0511042

2005-11-05

General Physics

Abstract:One of the outstanding problems of philosophy of science and mathematics today is whether there is just "one" unique mathematics or the same can be bifurcated into "pure" and "applied" categories. A novel solution for this problem is offered here. This will allow us to appreciate the manner in which mathematics acts as an exact and precise language of nature. This has significant implications for Artificial Intelligence.
Mathemagical 2014 - An Indian Perspective

Patrick Das Gupta

DOI: https://doi.org/10.48550/arXiv.1508.06988

2016-01-14

Abstract:Mathematics is probably the only subject that can be classified both as art as well as science - former, because it is not constrained by the real world and latter because it is a logical system with precisely defined rules as well as primitives that lead to unambiguous nontrivial theorems. Indian (and of Indian origin) mathematicians have continued to do seminal work till present times, culminating in Manjul Bhargava receiving the Fields Medal last year. In such fabulous times, a non-mathematician ponders about the nature of mathematics, and revisits the question: why are fundamental laws of Nature inherently mathematical?

History and Philosophy of Physics
Der Code der Mathematik

Stefan Müller-Stach

2024-07-12

Abstract:This text summarizes and expands the content of a general audience talk given in 2018 at the University of Mainz. Motivated by recent developments in dependent type theory and infinity category theory, it presents a history of ideas around the concepts of truth, proof, equality, and equivalence as well as their relation to human thought. We describe a few selected ideas of Platon, Aristoteles, Leibniz, Kant, Frege and others and then pass to the results of Gödel and Tarski about incompleteness, undecidability and truth in deductive systems and their semantic models. The main focus of this text, however, is the development of dependent type theory through the work of Per Martin--Löf and recent developments in homotopy type theory, i.e., the univalent foundations program of Vladimir Voevodsky and others. These theories allow the notion of identity types, which gives new possibilities for handling equality, symmetry, equivalence and isomorphisms in a conceptual way. Martin--Löf type theories have semantic models in (infinity,1)-categories, which are related to simplicial localizations of Quillen model categories. The interaction of type theory with infinity category theory is a new paradigm for a structural view on mathematics which is superior to set theory. It also supports the recent emerging trend for computer assisted proofs in mathematics and verification of algorithms and software in computer science.

History and Overview

Realizing Infinity

Mathematical Existence

Metaphors in teaching infinity: Limits, cardinalities, and nonstandard models

Realism and the point at infinity: The end of the line?

Alternative Mathematics without Actual Infinity

Some paradoxes of Infinity revisited

Embodiment of infinity in mathematics

Intuitive but Non-Rigorous Explanations of Infinite Numbers

Definability in the Real Universe

Une initiation au concept de l'infini

Fermat Reals - Nilpotent Infinitesimals and Infinite Dimensional Spaces

A Renunciation of Axiom, A New Conception of Logic

Tension between Intuitive Infinitesimals and Formal Mathematical Analysis

Elementary submodels, coding strategies, and an infinite real number game

Mathematics: abstraction and reality. A sketch toward deeper analysis

The paradoxes and the infinite dazzled ancient mathematics and continue to do so today

AlephZero and Mathematical Experience

Geometrically finite and infinite Kleinian Groups

Mathematics as an Exact and Precise Language of Nature

Mathemagical 2014 - An Indian Perspective

Der Code der Mathematik