À Maneira de Um Colar de Pérolas?
André Porto, “À Maneira de Um Colar de Pérolas?,” Revista Portuguesa de Filosofia 73, no. 3–4 (2017): 1381–1404, DOI 10.17990/RPF/2017_73_3_1381.
André Porto, “À Maneira de Um Colar de Pérolas?,” Revista Portuguesa de Filosofia 73, no. 3–4 (2017): 1381–1404, DOI 10.17990/RPF/2017_73_3_1381.
Type | Journal Article |
---|---|
Author | André Porto |
Rights | © 2018 Aletheia - Associação Científica e Cultural | © 2018 Revista Portuguesa de Filosofia |
Volume | 73 |
Issue | 3-4 |
Pages | 1381-1404 |
Publication | Revista Portuguesa de Filosofia |
ISSN | 0870-5283; 2183-461X |
Date | 2017 |
DOI | 10.17990/RPF/2017_73_3_1381 |
Language | Portuguese |
Abstract | This paper offers an overview of various alternative formulations for Analysis, the theory of Integral and Differential Calculus, and its diverging conceptions of the topological structure of the continuum. We pay particularly attention to Smooth Analysis, a proposal created by William Lawvere and Anders Kock based on Grothendieck’s work on a categorical algebraic geometry. The role of Heyting’s logic, common to all these alternatives is emphasized. |
Date Added | 17/01/2018, 17:51:09 |
Modified | 18/01/2018, 10:34:43 |
Aberth, Oliver. Computable Calculus. San Diego: Academic Press, 2004.
Aristotle. The Works of Aristotle. Tradução de William David Ross. Oxford: Claredon Press, 1962.
Beeson, Michael. Foundations of Constructive Mathematics. Berlin: Springer-Verlag, 1985.
Bell, John. A Primer of Infinitesimal Analysis. Cambridge: Cambridge University Press, 1998.
Bell, John. Intuitionistic Set Theory. Londres: College Publications, 2014.
Bell, John. The Art of the Intelligible – An Elementary Survey of Mathematics in its Conceptual Development. Dordrecht: Kluwer Academic Publishers, 2001.
Bell, John. The Continuous and the Infinitesimal in Mathematics and Philosophy. Milão: Polimétrica, 2006.
Bishop, E., & Bridges, D. Constructive Analysis. Berlin: Sprneger-Verlag, 1985.
Bridges, D., & Richman, F. Varieties do Constructive Mathematics. Cambridge: Cambridge University Press, 1987.
Ewald, William. From Kand to Hilbert: A Souce Book in the Foundations of Mathematics (Vol. 1). Oxford: Oxford University Press, 1996.
Ferrraro, G., & Panza, M. Lagrange’s Theory of Analytical Functions and the ideal of purity of method. Archive for History of Exact Sciences, 66, no.2 (2012): 95-197.
Kock, Anders. Synthetic Differential Geometry. Cambridge: Cambridge University Press, 2006.
Lavendhomme, René. Basic Concepts do Synthetic Differential Geometry. Dordrecht: Kluwer Academic Publishers, 1996.
Lawvere, William. Variable Quantities and Variable Structures in Topoi. In Algebra, Topology and Category Theory, A Collection in Honor of Samuel Eilenberg. Editado por Heller, & Tierney, M, 101-131. Nova Iorque: Academic Press, 1976.
Spivak, Michael. Calculus. Londres: Addison Wesley Publishing Company, 1973.
Van Heijenoort, Jean. From Frege to Gödel: a source book in Mathematical Logic, 1879-1931. Cambridge: Harvard, 1967.