Toward a Clarity of the Extreme Value Theorem

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


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



    Upload a copy of this work     Papers currently archived: 84,049

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.


Added to PP

46 (#277,670)

6 months
6 (#146,649)

Historical graph of downloads
How can I increase my downloads?

References found in this work

What numbers could not be.Paul Benacerraf - 1965 - Philosophical Review 74 (1):47-73.
Non-standard Analysis.Gert Heinz Müller - 1966 - Princeton University Press.
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.
A Primer of Infinitesimal Analysis.John L. Bell - 1998 - Cambridge University Press.

View all 42 references / Add more references