Skip to main content
SpringerLink
Log in
Book cover

Foundational Theories of Classical and Constructive Mathematics pp 209–225Cite as

Proofs and Constructions

  • Chapter
  • First Online:

Part of the book series: The Western Ontario Series in Philosophy of Science ((WONS,volume 76))

Abstract

A critical examination of notions associated with mathematical intuitionism, with attention to mathematical practice, internal vs. external negations, constructive meaning, weak counterexamples, and theories of constructions. The article includes a theory of constructions based on nonstandard realizability.

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

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

  • Heyting, A. (1956) Intuitionism: An Introduction, Studies in Logic and the Foundations of Mathematics, Amsterdam: North-Holland Publishing Co., VIII+133.

    Google Scholar 

  • Kleene, S.C. (1945) On the Interpretation of Intuitionistic Number Theory, The Journal of Symbolic Logic, 10, 109–124.

    Article  MathSciNet  MATH  Google Scholar 

  • McCarty, C. (2008) Intuitionism and Logical Syntax, Philosophia Mathematica, Series III, 16(1), Special Issue on Legacies of Logical Positivism, N. Tennant (ed.), 56–77.

    Article  MathSciNet  MATH  Google Scholar 

  • Oliveira e Silva, T. (2009) Goldbach Conjecture Verification, http://www.ieeta.pt/~tos/goldbach.html, April 2009.

  • Rogers, H., Jr. (1987) Theory of Recursive Functions and Effective Computability, Second Edition, Cambridge: MIT Press, xxi+482.

    Google Scholar 

  • Troelstra, A. (1973) Metamathematical Investigation of Intuitionistic Arithmetic and Analysis, Springer Lecture Notes in Mathematics, Volume 344, Berlin: Springer, xvii+486.

    Google Scholar 

  • Troelstra, A. (1980) Intuitionistic Extensions of the Reals, Nieuw Archief Voor Wiskunde, Volume XXVIII, 63–113.

    MathSciNet  Google Scholar 

  • Troelstra, A. and van Dalen, D. (1988) Constructivism in Mathematics: An Introduction. Volume I, Amsterdam: North-Holland, xx+342+XIV.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Philosophy, Indiana University, Bloomington, Indiana, USA

    Charles McCarty

Authors
  1. Charles McCarty
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Charles McCarty .

Editor information

Editors and Affiliations

  1. Dépt. d'Informatique, Université de Fribourg, bd. de Pérolles 90, Fribourg, 1700, Switzerland

    Giovanni Sommaruga

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer Science+Business Media B.V.

About this chapter

Cite this chapter

McCarty, C. (2011). Proofs and Constructions. In: Sommaruga, G. (eds) Foundational Theories of Classical and Constructive Mathematics. The Western Ontario Series in Philosophy of Science, vol 76. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-0431-2_11

Download citation

Publish with us

Policies and ethics

Search

Navigation