Una tentazione affascinante

Claudio Bernardi

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

2016-05-09

Abstract:We discuss several aspects of infinity in the history of mathematics.

History and Overview

What problem does this paper attempt to address?

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
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
Un problema da discutere: un inganno con le percentuali

Claudio Bernardi

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

2016-02-24

Abstract:We discuss a non-intuitive situation concerning percentages.

History and Overview
On Infinity in Foundation of Analysis

朱梧槚,肖奚安,宋方敏,顾红芳,宫宁生

DOI: https://doi.org/10.3969/j.issn.0368-6396.2005.01.008

IF: 56.9

2005-01-01

Science

Abstract:Comparing two views on infinity,the authors expose several deeply-hidden paradoxes in the theory of lim- its.They also investigate the origination of these paradoxes.
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.
Gli angoli alla base di un triangolo isoscele

Claudio Bernardi

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

2016-02-23

History and Overview

Abstract:This paper deals with the celebrated Euclidean theorem about isosceles triangles, comparing different proofs.
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.
Un problema da discutere: una rappresentazione geometrica del teorema del coseno

Claudio Bernardi

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

2016-02-23

History and Overview

Abstract:We present, discuss and generalize an elegant geometrical proof of the law of cosines, due to Al Cuoco.
Guido Castelnuovo and his heritage: geometry, combinatorics, teaching

Claudio Fontanari

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

2022-06-14

History and Overview

Abstract:We approach Guido Castelnuovo's intellectual world by focusing on a trilogy of papers published in 1889 and by drawing a few remarks about Castelnuovo's scientific interests and attitudes.
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
Banishing divergence Part 1: Infinite numbers as the limit of sequences of real numbers

David Alan Paterson

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

2011-08-23

General Mathematics

Abstract:Sequences diverge either because they head off to infinity or because they oscillate. Part 1 constructs a non-Archimedean framework of infinite numbers that is large enough to contain asymptotic limit points for non-oscillating sequences that head off to infinity. It begins by defining Archimedean classes of infinite numbers. Each class is denoted by a prototype sequence. These prototypes are used as asymptotes for determining leading term limits of sequences. By subtracting off leading term limits and repeating, limits are obtained for a subset of sequences called here ``smooth sequences". $\mathbb{I}_n$ is defined as the set of ratios of limits of smooth sequences. It is shown that $\mathbb{I}_n$ is an ordered field that includes real, infinite and infinitesimal numbers.
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
A Generalization of the Cantor-Dedekind Continuum with Nilpotent Infinitesimals

José Roquette

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

2017-02-23

Abstract:We introduce a generalization of the Cantor-Dedekind continuum with explicit infinitesimals. These infinitesimals are used as numbers obeying the same basic rules as the other elements of the generalized continuum, in accordance with Leibniz's original intuition, but with an important difference: their product is null, as the Dutch theologian Bernard Nieuwentijt sustained, against Leibniz's opinion. The starting-point is the concept of shadow, and from it we define indiscernibility (the central concept) and monad. Monads of points have a global-local nature, because in spite of being infinite-dimensional real affine spaces with the same cardinal as the whole generalized continuum, they are closed intervals with length 0. Monads and shadows (initially defined for points) are then extended to any subset of the new continuum, and their study reveals interesting results of preservation in the areas of set theory and topology. All these concepts do not depend on a definition of limit in the new continuum; yet using them we obtain the basic results of the differential calculus. Finally, we give two examples illustrating how the global-local nature of the monad of a real number can be applied to the differential treatment of certain singularities.

Logic
Commuting and noncommuting infinitesimals

Mikhail G. Katz,Eric Leichtnam

DOI: https://doi.org/10.4169/amer.math.monthly.120.07.631

2013-04-02

Abstract:Infinitesimals are natural products of the human imagination. Their history goes back to the Greek antiquity. Their role in the calculus and analysis has seen dramatic ups and downs. They have stimulated strong opinions and even vitriol. Edwin Hewitt developed hyperreal fields in the 1940s. Abraham Robinson's infinitesimals date from the 1960s. A noncommutative version of infinitesimals, due to Alain Connes, has been in use since the 1990s. We review some of the hyperreal concepts, and compare them with some of the concepts underlying noncommutative geometry.

History and Overview,Mathematical Physics,Classical Analysis and ODEs,Logic,Operator Algebras
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
On mathematics and knowledge

Daniel Canarutto

2023-10-20

Abstract:A sketch of some of the fundamental notions related to the nature of knowledge is offered, with special focus on the role of mathematics and my own opinions. No single idea exposed here is entirely original; indeed, this topic has been explored by legions of philosophers, mathematicians, and scientists throughout history -- I listed a few related books among the references. I look forward to observations and criticisms that may serve to improve this exposition.

History and Overview,Mathematical Physics,History and Philosophy of Physics
La forma dello spazio profondo

Shing-Tung Yau,Steve Nadis

2011-01-01

Abstract:Sembra impossibile che spazi più piccoli di quelli che si possono umanamente immaginare, spazi a sei dimensioni, un milione di milioni di milioni di volte più piccoli di un elettrone, siano in grado di esercitare un’influenza tanto profonda su ogni parte dell’Universo da diventarne un tratto distintivo e caratterizzante. Eppure è così. Per la teoria delle stringhe le dimensioni dell’Universo sono dieci: quattro sono le dimensioni spazio-temporali contemplate dalla teoria della relatività generale, le restanti sei (le cosiddette «dimensioni extra») danno forma alle varietà di Calabi-Yau. Nel 1976 Shing-Tung Yau ha conquistato la Medaglia Fields, il premio Nobel dei matematici, per aver dimostrato l’esistenza di queste forme complesse che portano il suo nome, spazi invisibili la cui geometria può essere la chiave definitiva per comprendere i più importanti fenomeni fisici. La forma dello spazio profondo ripercorre le tappe del percorso scientifico che ha portato Yau alla formulazione di una teoria rivoluzionaria, con una nuova possibile immagine dell’Universo. Troppo bello per essere vero: così, spesso, gli scettici hanno liquidato le astrazioni della nuova geometria. L’ipotesi delle dimensioni extra, che riguarda fisica, matematica e geometria, suggerisce non solo che i nuovi spazi possano essere veri, ma che la realtà, ancora una volta, è più affascinante dell’immaginazione.
The legacy of Bolzano-Miranda-Poincaré intermediate value theorem

Wojciech Kryszewski

DOI: https://doi.org/10.3934/mcrf.2024048

2024-10-01

Mathematical Control and Related Fields

Abstract:This article is dedicated to presenting and discussing various results, including several new findings, directly or indirectly related to Bolzano's theorem, famously known as the intermediate value theorem, and its multi- or infinite-dimensional versions. We aim to provide a unified approach to these issues, consistently relying on the concept of tangency. The paper seeks to justify that tangency, a geometric property, firmly supported by appropriate topological arguments, constitutes one of the central tools in nonlinear functional analysis. Our objective is to demonstrate that the legacy of Bolzano and his followers remains significant and vibrant, constituting one of the cornerstones of contemporary mathematics.

mathematics, applied
Fermat's dilemma: Why did he keep mum on infinitesimals? and the European theological context

Jacques Bair,Mikhail G. Katz,David Sherry

DOI: https://doi.org/10.1007/s10699-017-9542-y

2018-01-01

Abstract:The first half of the 17th century was a time of intellectual ferment when wars of natural philosophy were echoes of religious wars, as we illustrate by a case study of an apparently innocuous mathematical technique called adequality pioneered by the honorable judge Pierre de Fermat, its relation to indivisibles, as well as to other hocus-pocus. Andre Weil noted that simple applications of adequality involving polynomials can be treated purely algebraically but more general problems like the cycloid curve cannot be so treated and involve additional tools--leading the mathematician Fermat potentially into troubled waters. Breger attacks Tannery for tampering with Fermat's manuscript but it is Breger who tampers with Fermat's procedure by moving all terms to the left-hand side so as to accord better with Breger's own interpretation emphasizing the double root idea. We provide modern proxies for Fermat's procedures in terms of relations of infinite proximity as well as the standard part function. Keywords: adequality; atomism; cycloid; hylomorphism; indivisibles; infinitesimal; jesuat; jesuit; Edict of Nantes; Council of Trent 13.2

History and Overview,Classical Analysis and ODEs,Logic

Una tentazione affascinante

Une initiation au concept de l'infini

Fermat Reals - Nilpotent Infinitesimals and Infinite Dimensional Spaces

Realizing Infinity

Un problema da discutere: un inganno con le percentuali

On Infinity in Foundation of Analysis

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

Gli angoli alla base di un triangolo isoscele

Tension between Intuitive Infinitesimals and Formal Mathematical Analysis

Un problema da discutere: una rappresentazione geometrica del teorema del coseno

Guido Castelnuovo and his heritage: geometry, combinatorics, teaching

Some paradoxes of Infinity revisited

Banishing divergence Part 1: Infinite numbers as the limit of sequences of real numbers

Embodiment of infinity in mathematics

A Generalization of the Cantor-Dedekind Continuum with Nilpotent Infinitesimals

Commuting and noncommuting infinitesimals

Intuitive but Non-Rigorous Explanations of Infinite Numbers

On mathematics and knowledge

La forma dello spazio profondo

The legacy of Bolzano-Miranda-Poincaré intermediate value theorem

Fermat's dilemma: Why did he keep mum on infinitesimals? and the European theological context