Weyl and Intuitionistic Infinitesimals

DOI10.1007/978-3-030-11527-2_5zbMath1486.03008arXiv1803.05014OpenAlexW2793079167MaRDI QIDQ3297255

Mark van Atten

Publication date: 3 July 2020

Published in: Studies in History and Philosophy of Science (Search for Journal in Brave)

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

zbMATH Keywords

nonstandard analysisintuitionismconstructivismphysicsinfinitesimalsA. RobinsonG. ReebR. Vesley

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Nonstandard models in mathematics (03H05) Intuitionistic mathematics (03F55)

Cites Work

• 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
• Constructivity and computability in historical and philosophical perspective
• Essays on Gödel's reception of Leibniz, Husserl, and Brouwer
• Le moiré
• A functional interpretation for nonstandard arithmetic
• Eine Erweiterung der Infinitesimalrechnung
• The rise of non-Archimedean mathematics and the roots of a misconception. I: The emergence of non-Archimedean systems of magnitudes
• The syntax of nonstandard analysis
• Constructivism in mathematics. An introduction. Volume II
• Wang's paradox
• Reverse mathematics and parameter-free transfer
• To be or not to be constructive, that is not the question
• Intuitionistic nonstandard bounded modified realisability and functional interpretation
• Approaches to analysis with infinitesimals following Robinson, Nelson, and others
• The creating subject, the Brouwer-Kripke schema, and infinite proofs
• A constructive approach to nonstandard analysis
• Nonstandardness and the bounded functional interpretation
• Conflicts between generalization, rigor and intuition. Number concepts underlying the development of analysis in 17th--19th century France and Germany
• The philosophical Background of Weyl's Mathematical Constructivism†
• Children of the Cosmos
• L.E.J. Brouwer's ‘Unreliability of the Logical Principles’: A New Translation, with an Introduction
• BLICK VON DER INTUITIONISTISCHEN WARTE
• Non-standard analysis and representation of reality
• Internal set theory: A new approach to nonstandard analysis
• Developments in Constructive Nonstandard Analysis
• A note on Mathematics of infinity
• Mathematics and Phenomenology: The Correspondence between O. Becker and H. Weyl
• Brouwer and Weyl: The Phenomenology and Mathematics of the Intuitive Continuumt†
• La physique dans la recherche en mathématiques constructives
• Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session
• Recursive Functions and Constructive Mathematics
• Points and Spaces
• Non-standard analysis