Skip to main content
SpringerLink
Log in

Costruttivismo Oltre i luoghi comuni

  • Published:
Lettera Matematica Pristem

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Bibliografia

  1. Bishop E., Foundations of constructive analysis, McGraw-Hill, 1967.

    MATH  Google Scholar 

  2. Enriques F., Problemi della scienza, Zanichelli, 1906.

    MATH  Google Scholar 

  3. Maietti M.E., Sambin G., “Toward a minimalist foundation for constructive mathematics”, in From Sets and Types to Topology and Analysis. Towards Practicable Foundations for Constructive Mathematics, Crosilla L. e Schuster P. (eds.), Oxford Logic Guides 48, Clarendon, 2005, pp. 91–114.

    Chapter  Google Scholar 

  4. Martin-Löf P., Notes on Constructive Mathematics, Almqvist & Wiksell, Stockholm, 1970.

    MATH  Google Scholar 

  5. Martin-Löf P., Intuitionistic type theory. Notes by G. Sambin of a series of lectures given in Padua, June 1980, Bibliopolis, Napoli, 1984.

    MATH  Google Scholar 

  6. Sambin G., “Intuitionistic formal spaces - a first communication”, in Mathematical Logic and its Applications, Skordev D. (ed.), Plenum, 1987, pp. 187–204.

    Chapter  Google Scholar 

  7. Sambin G., “Per una dinamica nei fondamenti”, in Atti del congresso “Nuovi problemi della Logica e della Filosofia della scienza”, Corsi G. e Sambin G. (eds.), vol. 2, CLUEB, 1991, pp. 163–210.

    Google Scholar 

  8. Sambin G., Positive Topology and the Basic Picture. New structures emerging from Constructive Mathematics, Oxford Logic Guides, Oxford University Press, 2018, in corso di pubblicazione.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Università di Padova, Padova, Italia

    Giovanni Sambin

Authors
  1. Giovanni Sambin
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Giovanni Sambin.

Additional information

Insegna Logica matematica presso l'Università di Padova e fa ricerca in Logica e Matematica costruttiva e i loro fondamenti (si interessa in particolare di Topologia formale, Basic Picture, Basic Logic). Collabora da diversi anni con team internazionali in Paesi europei ed extraeuropei, tra cui Germania, Svezia, Giappone e Nuova Zelanda. È in corso di pubblicazione presso Oxford University Press il suo ultimo lavoro sulla Topologia costruttiva.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Sambin, G. Costruttivismo Oltre i luoghi comuni. Lett. Mat. Pristem 100, 16–21 (2017). https://doi.org/10.1007/s10031-017-0004-z

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10031-017-0004-z

Search

Navigation