Proofs and retributions, or: why Sarah can't take limits
type: Item
instance of: scholarly article
title: Proofs and retributions, or: why Sarah can't take limits
zbMATH Open document ID: 1368.00021
published in: Foundations of Science
publication date: 2017-08-17T00:00:00Z
Mathematics Subject Classification ID: 00A30
Mathematics Subject Classification ID: 00A35
Mathematics Subject Classification ID: 26E35
zbMATH DE Number: 6761472
zbMATH Keywords: Errett Bishop
zbMATH Keywords: Abraham Robinson
zbMATH Keywords: infinitesimals
zbMATH Keywords: hyperreals
zbMATH Keywords: intuitionists
zbMATH Keywords: petard
author: Vladimir Kanovei
author: Karin U. Katz
author: Mikhail G. Katz
author: Mary Schaps
MaRDI profile type: Publication
full work available at URL: s10699-013-9340-0
OpenAlex ID: W2121012148
cites work: Is mathematical history written by the victors?
cites work: Fermat, Leibniz, Euler, and the gang: the true history of the concepts of limit and shadow
cites work: Q3679172
cites work: Did Bishop Have a Philosophy of Mathematics?†
cites work: Differentiable manifolds in complex Euclidean space
cites work: Q5573965
cites work: The crisis in contemporary mathematics
cites work: Ten misconceptions from the history of analysis and their debunking
cites work: An integer construction of infinitesimals: toward a theory of eudoxus hyperreals
cites work: Who gave you the Cauchy-Weierstrass tale? The dual history of rigorous calculus
cites work: Differentials, higher-order differentials and the derivative in the Leibnizian calculus
cites work: Noncommutative geometry and reality
cites work: Triangle of thoughts. Translated from the French by Jennifer Gage
cites work: Q4836486
cites work: Q4662658
cites work: The rise of non-Archimedean mathematics and the roots of a misconception. I: The emergence of non-Archimedean systems of magnitudes
cites work: Q4040824
cites work: The wake of Berkeley's analyst: Rigor mathematicae?
cites work: Q4793434
cites work: From a formalist's point of view
cites work: Q3820564
cites work: Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem
cites work: Mathematical Constructivism in Spacetime
cites work: Stochastic calculus with infinitesimals
cites work: Rings of Real-Valued Continuous Functions. I
cites work: Intuitionism. An introduction
cites work: What Does it Take to Prove Fermat's Last Theorem? Grothendieck and the Logic of Number Theory
cites work: Axiomatic foundations for Nonstandard Analysis
cites work: Some remarks on nonstandard theory of classes
cites work: The correctness of Euler's method for the factorization of the sine function into an infinite product
cites work: Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics
cites work: Problems of set-theoretic non-standard analysis
cites work: Q4821145
cites work: A definable nonstandard model of the reals
cites work: The Education of a Pure Mathematician
cites work: A Burgessian critique of nominalistic tendencies in contemporary mathematics and its historiography
cites work: Stevin numbers and reality
cites work: Toward a clarity of the extreme value theorem
cites work: Commuting and Noncommuting Infinitesimals
cites work: Almost Equal: the Method of Adequality from Diophantus to Fermat and Beyond
cites work: Leibniz’s Laws of Continuity and Homogeneity
cites work: Leibniz's infinitesimals: their fictionality, their modern implementations, and their foes from Berkeley to Russell and beyond
cites work: A Cauchy-Dirac delta function
cites work: Letter to the editor
cites work: Q3801804
cites work: The hyperreal line
cites work: Q4100304
cites work: Contemporary debates on the nature of mathematics
cites work: Q4099559
cites work: Infinitesimals
cites work: The roots of contemporary Platonism
cites work: Q3600462
cites work: Hidden lemmas in Euler's summation of the reciprocals of the squares
cites work: Aus den Briefbüchern Georg Cantors
cites work: Internal set theory: A new approach to nonstandard analysis
cites work: A new reading of \textit{Method} proposition 14: Preliminary evidence from the Archimedes Palimpsest. I
cites work: Q4796838

Proofs and retributions, or: why Sarah can't take limits (cites work)
cites work: Q4449115

Proofs and retributions, or: why Sarah can't take limits (cites work)
cites work: Fermat’s Last Theorem for Amateurs

Proofs and retributions, or: why Sarah can't take limits (cites work)
cites work: Q4896357

Proofs and retributions, or: why Sarah can't take limits (cites work)
cites work: Non-standard analysis

Proofs and retributions, or: why Sarah can't take limits (cites work)
cites work: Numbers and models, standard and nonstandard

Proofs and retributions, or: why Sarah can't take limits (cites work)
cites work: Algorithm and proof as \Omega-invariance and transfer: A new model of computation in nonstandard analysis

Proofs and retributions, or: why Sarah can't take limits (cites work)
cites work: Q3395521

Proofs and retributions, or: why Sarah can't take limits (DOI)
DOI: 10.1007/S10699-013-9340-0