Publication:4208003
From MaRDI portal
zbMath0904.26014MaRDI QIDQ4208003
Publication date: 31 August 1998
non-standard analysis; toposes; smooth infinitesimal calculus; smooth toposes; square zero infinitesimals; smooth worlds
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
26-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to real functions
03H05: Nonstandard models in mathematics
26E35: Nonstandard analysis
Related Items
Differential Calculus and Nilpotent Real Numbers, THE CLASSICAL CONTINUUM WITHOUT POINTS, Leibniz's syncategorematic infinitesimals, Infinitesimals without logic, Structures and logics: a case for (a) relativism, Fermat-Reyes method in the ring of Fermat reals, Collimation processes in quantum mechanics interpreted in quantum real numbers, Are instantaneous velocities real and really instantaneous?: An argument for the affirmative, Mathematical pluralism: The case of smooth infinitesimal analysis, Paraconsistency everywhere, Boolean connection algebras: A new approach to the Region-Connection Calculus, The role of a posteriori mathematics in physics, The ring of Fermat reals, Asymptotic linear -- nonlinear duality, indeterminism and mathematical intelligence, Translating logical terms, A new interpretation of Carnap's logical pluralism, The structure of visual spaces, Natural Numbers and Infinitesimals, Logic in Category Theory, Pitholes in Space-Time: Structure and Ontology of Physical Geometry, Mathematics in Philosophy, Philosophy in Mathematics: Three Case Studies