Doing Without Turing Machines: Constructivism and Formal Topology

  • Giovanni Sambin
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4497)


We add some new insights, and thus hopefully contribute to give new impetus, to an old theme: constructive mathematics, and topology in particular, can be thought of as an abstract way to deal with computation.


constructive mathematics minimalist foundation pointfree topology formal topology 


  1. 1.
    Bishop, E.: Foundations of constructive analysis. McGraw-Hill Book Co, New York (1967)zbMATHGoogle Scholar
  2. 2.
    Maietti, M.E.: Quotients over minimal type theory (this volume)Google Scholar
  3. 3.
    Maietti, M.E., Sambin, G.: Toward a miminalist foundation for constructive mathematics, in From Sets and Types to Topology and Analysis. In: Crosilla, L., Schuster, P. (eds.) Towards practicable foundations for constructive mathematics, Oxford Logic Guides, pp. 91–114. Clarendon Press, Oxford (2005)Google Scholar
  4. 4.
    Martin-Löf, P.: Notes on Constructive Mathematics, Almqvist & Wiksell (1970)Google Scholar
  5. 5.
    Sambin, G.: Intuitionistic formal spaces – a first communication. In: Skordev, D. (ed.) Mathematical Logic and its Applications, Plenum, pp. 187–204 (1987)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Giovanni Sambin
    • 1
  1. 1.Dipartimento di Matematica Pura ed Applicata, via Trieste 63, 35121 PadovaItaly

Personalised recommendations