À Maneira de Um Colar de Pérolas?

Revista Portuguesa de Filosofia 73 (3-4):1381-1404 (2017)
  Copy   BIBTEX

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.

Similar books and articles

Mathematical Pluralism: The Case of Smooth Infinitesimal Analysis.Geoffrey Hellman - 2006 - Journal of Philosophical Logic 35 (6):621-651.
REVIEWS-Synthetic differential geometry.A. Kock & John L. Bell - 2007 - Bulletin of Symbolic Logic 13 (2).
What is a Line?D. F. M. Strauss - 2014 - Axiomathes 24 (2):181-205.
A. Kock, Synthetic differential geometry.J. L. Bell - 2007 - Bulletin of Symbolic Logic 13 (2):244.

Analytics

Added to PP
2018-01-19

Downloads
424 (#42,171)

6 months
67 (#57,721)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

André Porto
Universidade Federal de Goiás

Citations of this work

No citations found.

Add more citations