Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics

DOI10.1007/s10699-012-9316-5zbMath1392.03012arXiv1211.0244OpenAlexW2153206462WikidataQ60162901 ScholiaQ60162901MaRDI QIDQ1654210

Thomas Mormann, Mikhail G. Katz, Kanovei, Vladimir

Publication date: 7 August 2018

Published in: Foundations of Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1211.0244

zbMATH Keywords

Hahn-Banach theoremnoncommutative geometryinfinitesimalultrafilterDixmier traceaxiom of choicePlatonisminaccessible cardinalGödel's incompleteness theoremLeibnizP-pointSolovay modelshyperrealKlein-Fraenkel criterionSkolem's non-standard integers

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Nonstandard models in mathematics (03H05) Nonstandard analysis (26E35)

Related Items

Is Leibnizian calculus embeddable in first order logic? ⋮ Gregory's sixth operation ⋮ Cauchy's infinitesimals, his sum theorem, and foundational paradigms ⋮ A footnote to ``The crisis in contemporary mathematics ⋮ The Mathematical Intelligencer flunks the Olympics ⋮ To be or not to be constructive, that is not the question ⋮ From Nonstandard Analysis to Various Flavours of Computability Theory ⋮ A non-standard analysis of a cultural icon: the case of Paul Halmos ⋮ Proofs and retributions, or: why Sarah can't take limits ⋮ Controversies in the foundations of analysis: comments on Schubring's \textit{Conflicts} ⋮ Reverse formalism 16 ⋮ On mathematical realism and applicability of hyperreals

Cites Work

• Who gave you the Cauchy-Weierstrass tale? The dual history of rigorous calculus
• Stevin numbers and reality
• Ten misconceptions from the history of analysis and their debunking
• Leibniz's infinitesimals: their fictionality, their modern implementations, and their foes from Berkeley to Russell and beyond
• Fermat's ``adæquare -- no end in sight?
• Measure theory in noncommutative spaces
• Hilbert's fifth problem for local groups
• Hankel operators and the Dixmier trace on strictly pseudoconvex domains
• Fully symmetric functionals on a Marcinkiewicz space are Dixmier traces
• An integer construction of infinitesimals: toward a theory of eudoxus hyperreals
• Homogeneity problems in the theory of Cech compactifications
• The rise of non-Archimedean mathematics and the roots of a misconception. I: The emergence of non-Archimedean systems of magnitudes
• Measures from Dixmier traces and zeta functions
• Can you take Solovay's inaccessible away?
• Set theory. An introduction to independence proofs
• Proper forcing
• Classification of injective factors. Cases \(\mathrm{II}_1\), \(\mathrm{II}_\infty\), \(\mathrm{III}_\lambda\), \(\lambda\neq 1\)
• The mysteries of adaequare: A vindication of Fermat
• Spontaneous symmetry breaking and geometry from the spectral viewpoint
• Spectral flow and Dixmier traces
• Non-Archimedean probability
• A Burgessian critique of nominalistic tendencies in contemporary mathematics and its historiography
• \(\zeta \)-function and heat kernel formulae
• Fair infinite lotteries
• A new look at e.g. Björling and the Cauchy sum theorem
• On Isaiah Kantor (1936--2006)
• A model of set-theory in which every set of reals is Lebesgue measurable
• An isomorphism theorem for real-closed fields
• A short survey of noncommutative geometry
• Commuting and Noncommuting Infinitesimals
• THE SET-THEORETIC MULTIVERSE
• Noncommutative residues and a characterisation of the noncommutative integral
• A DICHOTOMY FOR THE NUMBER OF ULTRAPOWERS
• Stable group theory and approximate subgroups
• What Is Nonstandard Analysis?
• The Strength of Nonstandard Analysis
• The Nonstandard Treatment of Hilbert's Fifth Problem
• Internal laws of probability, generalized likelihoods and Lewis' infinitesimal chances–A response to Adam Elga
• Natural Numbers and Infinitesimals: A Discussion between Benno Kerry and Georg Cantor
• On Cauchy's Notion of Infinitesimal
• Consistency results about filters and the number of inequivalent growth types
• Homogeneous Universal Models.
• THE SET OF ALL ANALYTICALLY DEFINABLE SETS OF NATURAL NUMBERS CAN BE DEFINED ANALYTICALLY
• The Hahn-Banach theorem implies the existence of a non-Lebesgue measurable set
• The Hahn-Banach theorem implies the Banach-Tarski paradox
• Undecidable hypotheses in Edward Nelson's internal set theory
• Axiomatic foundations for Nonstandard Analysis
• Internal set theory: A new approach to nonstandard analysis
• Abstract Mathematical Tools and Machines for Mathematics†
• Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen
• Continuous Lattices and Domains
• Noncommutative geometry and reality
• Traces on symmetrically normed operator ideals
• THE FILTER DICHOTOMY AND MEDIAL LIMITS
• Cauchy's Continuum
• Almost Equal: the Method of Adequality from Diophantus to Fermat and Beyond
• Frege: The Royal Road from Geometry
• A definable nonstandard model of the reals
• The Absolute Arithmetic Continuum and the Unification Of all Numbers Great and Small
• Leibniz’s Laws of Continuity and Homogeneity
• On the consistency of some propositions of the descriptive theory of sets
• Cauchy et Bolzano
• The Mordell-Lang conjecture for function fields
• On the restricted ordinal theorem
• Consistency of the Continuum Hypothesis. (AM-3)
• Non-standard analysis
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item