- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Historians and Philosophers of Logic: Are They Compatible? The Bolzano-Weierstrass Theorem as a Case Study
History and Philosophy of Logic 20 (3-4):169-180 (1999)
Abstract
This paper combines personal reminiscences of the philosopher John Corcoran with a discussion of certain conflicts between historians of logic and philosophers of logic. Some mistaken claims about the history of the Bolzano-Weierstrass Theorem are analyzed in detail and correctedOther Versions
No versions found
My notes
Similar books and articles
The Bolzano–Weierstrass Theorem is the jump of Weak Kőnig’s Lemma.Vasco Brattka, Guido Gherardi & Alberto Marcone - 2012 - Annals of Pure and Applied Logic 163 (6):623-655.
Addendum to: “The Bolzano–Weierstrass theorem is the jump of weak Kőnig's lemma” [Ann. Pure Appl. Logic 163 (6) (2012) 623–655]. [REVIEW]Vasco Brattka, Andrea Cettolo, Guido Gherardi, Alberto Marcone & Matthias Schröder - 2017 - Annals of Pure and Applied Logic 168 (8):1605-1608.
From Bolzano‐Weierstraß to Arzelà‐Ascoli.Alexander P. Kreuzer - 2014 - Mathematical Logic Quarterly 60 (3):177-183.
On the computational content of the Bolzano-Weierstraß Principle.Pavol Safarik & Ulrich Kohlenbach - 2010 - Mathematical Logic Quarterly 56 (5):508-532.
Ideal convergence of bounded sequences.Rafał Filipów, Recław Ireneusz, Mrożek Nikodem & Szuca Piotr - 2007 - Journal of Symbolic Logic 72 (2):501-512.
Elements of Intuitionistic Analysis II the Stone‐Weierstrass Theorem and Ascoli's Theorem.H. de Swart - 1976 - Mathematical Logic Quarterly 22 (1):501-508.
Beth definability and the Stone-Weierstrass Theorem.Luca Reggio - 2021 - Annals of Pure and Applied Logic 172 (8):102990.
Billing J.. A failure of the Bolzano-Weierstrass lemma. Arkiv för matematik, astronomi och fysik, vol. 34B , no. 11, 2 pp. [REVIEW]Alonzo Church - 1947 - Journal of Symbolic Logic 12 (3):94-94.
On Robust Theorems Due to Bolzano, Weierstrass, Jordan, and Cantor.Dag Normann & Sam Sanders - 2024 - Journal of Symbolic Logic 89 (3):1077-1127.
Analytics
Added to PP
2010-08-10
Downloads
88 (#265,047)
6 months
14 (#301,958)
2010-08-10
Downloads
88 (#265,047)
6 months
14 (#301,958)
Historical graph of downloads
References found in this work
Mathematical Thought from Ancient to Modern Times.M. Kline - 1978 - British Journal for the Philosophy of Science 29 (1):68-87.
Zermelo's Axiom of Choice. Its Origins, Development, and Influence.Gregory H. Moore - 1984 - Journal of Symbolic Logic 49 (2):659-660.
Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory.Gregory H. Moore - 1980 - History and Philosophy of Logic 1 (1-2):95-137.
Gesammelte Abhandlungen: Mathematischen und Philosophischen Inhalts.Georg Cantor, Richard Dedekind & Abraham Adolf Fraenkel - 1932 - Springer.
Review of Thomas S. Kuhn The Essential Tension: Selected Studies in Scientific Tradition and Change. [REVIEW]David Zaret - 1981 - Philosophical Review 90 (1):146.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6dc498764b-nlds7 uwo