Toward a Clarity of the Extreme Value Theorem

Logica Universalis 8 (2):193-214 (2014)
  Copy   BIBTEX

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Developments in constructive nonstandard analysis.Erik Palmgren - 1998 - Bulletin of Symbolic Logic 4 (3):233-272.
A Cauchy-Dirac Delta Function.Mikhail G. Katz & David Tall - 2013 - Foundations of Science 18 (1):107-123.
Some axioms for constructive analysis.Joan Rand Moschovakis & Garyfallia Vafeiadou - 2012 - Archive for Mathematical Logic 51 (5-6):443-459.
Toward a constructive theory of unbounded linear operators.Feng Ye - 2000 - Journal of Symbolic Logic 65 (1):357-370.
On the Cauchy completeness of the constructive Cauchy reals.Robert S. Lubarsky - 2007 - Mathematical Logic Quarterly 53 (4‐5):396-414.
Stevin Numbers and Reality.Karin Usadi Katz & Mikhail G. Katz - 2012 - Foundations of Science 17 (2):109-123.

Analytics

Added to PP
2014-05-02

Downloads
52 (#293,581)

6 months
4 (#698,851)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Non-standard Analysis.Gert Heinz Müller - 2016 - Princeton University Press.
What numbers could not be.Paul Benacerraf - 1965 - Philosophical Review 74 (1):47-73.
Constructivism in mathematics: an introduction.A. S. Troelstra - 1988 - New York, N.Y.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.. Edited by D. van Dalen.
Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
Constructive Analysis.Errett Bishop & Douglas Bridges - 1987 - Journal of Symbolic Logic 52 (4):1047-1048.

View all 42 references / Add more references