Toward a clarity of the extreme value theorem

DOI10.1007/S11787-014-0102-8MaRDI QIDQ2254563zbMATH OpenOpenAlexFDO

Authors Karin U. Katz, Mikhail G. Katz, Taras S. Kudryk

Publication date 5 February 2015

Published in Logica Universalis (Search for Journal in Brave)

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

zbMATH Keywords

BenacerrafBishopCauchyconstructive analysiscontinuityextreme value theoremgrades of clarityhyperrealinfinitesimalKaestnerKroneckerlaw of excluded middleontologyPeirceprinciple of unique choiceproceduretrichotomyuniqueness paradigm

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Constructive and recursive analysis (03F60) Nonstandard analysis (26E35)

Abstract: We apply a framework developed by C. S. Peirce to analyze the concept of clarity, so as to examine a pair of rival mathematical approaches to a typical result in analysis. Namely, we compare an intuitionist and an infinitesimal approaches to the extreme value theorem. We argue that a given pre-mathematical phenomenon may have several aspects that are not necessarily captured by a single formalisation, pointing to a complementarity rather than a rivalry of the approaches.

Recommendations

• The intermediate value theorem is not obvious -- and I am going to prove it to you
• Modern infinitesimals as a tool to match intuitive and formal reasoning in analysis
• scientific article; zbMATH DE number 2212005
• On Weierstrass extreme value theorem
• scientific article; zbMATH DE number 510782

Cites work

• A Burgessian critique of nominalistic tendencies in contemporary mathematics and its historiography
• A Cauchy-Dirac delta function
• A direct proof of the equivalence between Brouwer's fan theorem and König's lemma with a uniqueness hypothesis
• A nonstandard proof of a lemma from constructive measure theory
• Almost equal: the method of adequality from Diophantus to Fermat and beyond
• An introduction to the theory of numbers. Edited and revised by D. R. Heath-Brown and J. H. Silverman. With a foreword by Andrew Wiles
• An omniscience principle, the König Lemma and the Hahn‐Banach theorem
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Brouwer's fan theorem and unique existence in constructive analysis
• Calculus is Algebra
• Cauchy et Bolzano
• Computable functionals
• Constructivism in mathematics. An introduction. Volume II
• Continuity and Lipschitz constants for projections
• Definite values of infinite sums: Aspects of the foundations of infinitesimal analysis around 1820
• Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation
• Eine Erweiterung der Infinitesimalrechnung
• Fermat, Leibniz, Euler, and the gang: the true history of the concepts of limit and shadow
• Galileo and German thinkers: Leibniz
• Galileo's quanti: understanding infinitesimal magnitudes
• scientific article; zbMATH DE number 1799297 (Why is no real title available?)
• scientific article; zbMATH DE number 2134675 (Why is no real title available?)
• scientific article; zbMATH DE number 5285446 (Why is no real title available?)
• scientific article; zbMATH DE number 5652610 (Why is no real title available?)
• scientific article; zbMATH DE number 3900744 (Why is no real title available?)
• scientific article; zbMATH DE number 3961557 (Why is no real title available?)
• scientific article; zbMATH DE number 4069225 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 3739803 (Why is no real title available?)
• scientific article; zbMATH DE number 3775461 (Why is no real title available?)
• scientific article; zbMATH DE number 3621713 (Why is no real title available?)
• scientific article; zbMATH DE number 2038315 (Why is no real title available?)
• scientific article; zbMATH DE number 1795229 (Why is no real title available?)
• scientific article; zbMATH DE number 1867340 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• Infinitesimals
• Internal logic. Foundations of mathematics from Kronecker to Hilbert
• Is mathematical history written by the victors?
• Kronecker in contemporary mathematics, general arithmetic as a foundational programme
• Kronecker's algorithmic mathematics
• Leibniz's infinitesimals: their fictionality, their modern implementations, and their foes from Berkeley to Russell and beyond
• Leibniz's rigorous foundation of infinitesimal geometry by means of Riemannian sums
• Mathematical Constructivism in Spacetime
• Non-standard analysis
• Nonstandard analysis and constructivism?
• Operational semantics for timed systems. A non-standard approach to uniform modeling of timed and hybrid systems.
• Problems, solutions, and completions
• Real numbers, generalizations of the reals, and theories of continua
• Reuniting the antipodes---constructive and nonstandard views of the continuum. Symposium proceedings, San Servolo, Venice, Italy, May 16--22, 1999
• Rings of Real-Valued Continuous Functions. I
• Sequences of real functions on [0,1] in constructive reverse mathematics
• Synthetic differential geometry
• The crisis in contemporary mathematics
• The fan theorem and unique existence of maxima
• The hyperreal line
• The rise of non-Archimedean mathematics and the roots of a misconception. I: The emergence of non-Archimedean systems of magnitudes
• The shape of inner space. String theory and the geometry of the universe's hidden dimensions
• The wake of Berkeley's analyst: Rigor mathematicae?
• Unique solutions
• Who gave you the Cauchy-Weierstrass tale? The dual history of rigorous calculus

Cited in

(3)

• A footnote to ``The crisis in contemporary mathematics
• Proofs and retributions, or: why Sarah can't take limits
• scientific article; zbMATH DE number 1188958 (Why is no real title available?)

This page was built for publication: Toward a clarity of the extreme value theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2254563)