Apostolado da Oração


À Maneira de Um Colar de Pérolas?

À 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.

Mais detalhes

À venda À venda!
10,00 €


Disponível apenas on-line

À Maneira de Um Colar de Pérolas?

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


  • continuum,
  • infinitesimals,
  • John Bell,
  • Lawvere-Kock axiom,
  • smooth analysis


  • 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.


Sem produtos

Envio 0,00 €
Total 0,00 €

Carrinho Encomendar