Skip to main content

Brouwer, Dummett and the Bar Theorem

  • Chapter
  • First Online:
  • 328 Accesses

Part of the book series: Logic, Epistemology, and the Unity of Science ((LEUS,volume 42))

Abstract

It is criticised Dummett’s refutation of Brouwer’s dogma. It is argued that his criticism rests on an erroneous interpretation of Brouwer’s idea of “canonical proof”.

with P. Giaretta

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

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  • Brouwer, L. (1924a). Bemerkungen zum Beweis der gleichmässigen Stetigkeit voller Funktionen. Verhandelingen der Koninklijke Nederlandsche Akademie van Wetenschappen te Amsterdam, 27, 644–646.

    Google Scholar 

  • Brouwer, L. (1924b). Beweis, dass jede volle Funktion gleichmässig stetig ist. Verhandelingen der Koninklijke Nederlandsche Akademie van Wetenschappen te Amsterdam, 24, 189–193.

    Google Scholar 

  • Brouwer, L. (1926). Zur Begrüdndung der intuitionistischen Mathematik III. Mathematische Annalen, 96, 451–488.

    Article  Google Scholar 

  • Brouwer, L. (1927). Über Definitionsbereiche von Funktionen. Mathematische Annalen, 97, 60–75. English translation in From Frege to Gödel, Cambridge MA, 1967, pp. 446–463.

    Article  Google Scholar 

  • Brouwer, L. (1954). Points and spaces. Canadian Journal of Mathematics, 6, 1–17.

    Article  Google Scholar 

  • Dummett, M. (1977). Elements of intuitionism. Oxford: Clarendon Press.

    Google Scholar 

  • Heyting, A. (1956). Intuitionism: an introduction. Amsterdam: North-Holland Publishing Company.

    Google Scholar 

  • Kleene, S. C., & Vesley, R. E. (1965). The Foundations of intuitionistic mathematics. Amsterdam: North-Holland Publishing Company.

    Google Scholar 

  • Troelstra, A. (1969). Principles of intuitionism. Berlin: Springer.

    Book  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Enrico Martino .

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Martino, E. (2018). Brouwer, Dummett and the Bar Theorem. In: Intuitionistic Proof Versus Classical Truth. Logic, Epistemology, and the Unity of Science, vol 42. Springer, Cham. https://doi.org/10.1007/978-3-319-74357-8_1

Download citation

Publish with us

Policies and ethics