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.
| Original language | English |
|---|---|
| Pages (from-to) | 193-214 |
| Number of pages | 22 |
| Journal | Logica Universalis |
| Volume | 8 |
| Issue number | 2 |
| DOIs | |
| State | Published - May 2014 |
Keywords
- Benacerraf
- Bishop
- Cauchy
- Kaestner
- Kronecker
- Peirce
- constructive analysis
- continuity
- extreme value theorem
- grades of clarity
- hyperreal
- infinitesimal
- law of excluded middle
- ontology
- principle of unique choice
- procedure
- trichotomy
- uniqueness paradigm
Fingerprint
Dive into the research topics of 'Toward a Clarity of the Extreme Value Theorem'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver