¿Topología de la esencia o esencia de la topología?

Referencias

[1] Hans Andersen, Cuentos, Edilux Ediciones, 1990. [2] Ren´e Avil´es, Fantas´ıas en carrusel, Fondo de Cultura Economica, 1995. [3] , Toposes and local set theories, an introduction, Calrendon Press, 1988. [4] Paul Bencerraf, &, Hilary Putnam, Philosophy of mathematics, selected readings, Cambridge University Press, 1985. [5] Erret Bishop,The crisis in contemporary mathematics, Historia Mathematica 2 (1975), 507-517. [6] , &, Bridge Duglas, Constructive analysis, Springer-Verlag, 1985. [7] Thierry Coquand,A direct proof of the localic Hahn-Banach theorem, prepublicaci´on (2000). [8] , Formal Topology with posets, prepublicaci´on (1996). [9] Bonnie Gold, What is the philosophy of mathematics, and what should it be?, The Mathematical Intelligencer vol 16 N◦ 3 (1994), 20-24. [10] Robert Goldblatt, Topoi, the categorical analysis of logic, North Holland Publishing Company, 1979. [11] Arend Heyting, Introducci´on al intuicionismo, Editorial Tecnos, 1976. [12] Peter Johnston, The point of pointless topology, Bulletin of the American Mathematical Society vol 8 N◦ 1 (1983), 41-53. [13] , Topos theory, Academic Press, 1977. [14] Stefan Kahrs, A formalist perspective of mathematics, prepublicaci´on (1999). [15] W Tait, Beyond the axioms: The question of objectivity in mathematics, prepublicaci´on (1999). [16] Ra´ul Leal, & Hernando P´erez, Introducci´on a la topolog´ıa formal, XIX Coloquio Distrital de Matem´aticas y Estad´ıstica (2003). [17] l¨of, per Martin, Intuitionistic type theory, notes by Giovanni Sambin, Bibliopolis, 1984. [18] , & ,Joan Pelletier, A globalization of the Hahn-Banach theorem, Advances in Mathematics vol 89 N◦ 1 (1991), 1-59. [19] Sara Negri, Constructive analysis via formal topology, prepublicaci´on (1997). [20] , & Thierry Coquand, & ,Jan Cedersquist, The Hahn-Banach theorem in type theory, prepublicaci´on (1997). [21] Edward Nelson, Mathehmatics and faith, prepublicaci´on (1999). [22] Hernando P´erez, & Raul Leal, Geometr´ıa y grupos parad´ojicos, XII Encuentro de Geometria y sus Aplicaciones, 2001. [23] Giovanni Sambin, Steps towards a dynamic constructivism, prepublicaci ´on (2001). [24] , &,Silvio Valentini, Bulding up a toolbox for Martin-l¨o f’s type theory. Part I Subset Theory, prepublicaci´on (2000). [25] , The basic picture, a structure for topology. The basic picture, I, prepublicaci´on (2001). [26] . & ,Silvia Gebellato, The esence of continuity. The basic picture, II, prepublicaci´on (2001). [27] , & ,Silvia Gebellato, A preview of the basic picture, prepublicaci ´on (1999). [28] , Some points in formal topology, prepublicaci´on (2002). [29] , Intuitionistic formal spaces, prepublicaci´on (1987). [30] Agust´ın S´anchez, Dal´ı, Sociedad Editorial Electa, 1999. [31] Ernst Snapper, What do we do When we do mathematics?, The Mathematical Intelligencer vol 10 N◦4 (1988), 53-58.