Weyl and Intuitionistic Infinitesimals
From MaRDI portal
Publication:3297255
DOI10.1007/978-3-030-11527-2_5zbMath1486.03008arXiv1803.05014OpenAlexW2793079167MaRDI QIDQ3297255
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
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