SpringerLink
Log in

What is constructive mathematics?

  • Articles
  • Published:
The Mathematical Intelligencer Aims and scope Submit manuscript

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

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or Ebook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Beeson, M. (1978) Some Relations between Classical and Constructive Mathematics, J. Symbolic Logic, 43, 228- 246.

    Article  MATH  MathSciNet  Google Scholar 

  2. Bishop, Errett (1967) Foundations of Constructive Analysis, New York: McGraw-Hill.

    MATH  Google Scholar 

  3. Bishop, Errett, and Henry Cheng (1972) Constructive Measure Theory, Memoirs of the Amer. Math. Soc, 116.

  4. Bridges, D. S., A. Calder, W. Julian, R. Mines, and F. Richman (1982) Picard’s Theorem, Trans. Amer. Math. Soc, Vol. 269, No. 2, 513–520.

    MATH  MathSciNet  Google Scholar 

  5. Bridges, D. S. (1982) Recent Progress in Constructive Approximation Theory, North-Holland: The L. E. J. Centenary Symposium (A. S. Troelstra and D. van Dalen, eds.).

    Google Scholar 

  6. Bridges, D. S. (1981) A Constructive Analysis of the Remes Algorithm, J. Approximation Theory, Vol. 32, No. 4, 257–270.

    Article  MATH  MathSciNet  Google Scholar 

  7. Bridges, D. S. (1982) Lipschitz Constants and Moduli of Continuity for the Chebyshev Projection, Proc. Amer. Math. Soc, Vol. 85, No. 4, 557–561.

    Article  MATH  MathSciNet  Google Scholar 

  8. Brouwer, L. E. J., and B. de Loor (1975) Intuitionistischer Beweis der Fundamentalsatzes der Algebra, North-Holland: Collected works of L. E. J. Brouwer, Vol. 1 (ed. A. Heyting).

  9. Dummett, M. A. E. (1977) Elements of Intuitionism, Oxford: Clarendon Press.

    MATH  Google Scholar 

  10. Feferman, S. (1979) Constructive Theories of Functions and Classes, North-Holland: Logic Colloquium ’78 (M. Buffa, D. van Dalen, and K. McAloon, eds.).

    Google Scholar 

  11. Goodman, N. D. (1979) Mathematics as an Objective Science, Amer. Math. Monthly, Vol. 86, 540–551.

    Article  MATH  MathSciNet  Google Scholar 

  12. Hersch, R. (1979) Some Proposals for Reviving the Philosophy of Mathematics, Advances in Math., Vol. 31, 31–50.

    Article  Google Scholar 

  13. Julian, W., R. Mines, and F. Richman (1978) Algebraic Numbers, a Constructive Development, Pacific J. Math., Vol. 74, 91–102.

    Article  MATH  MathSciNet  Google Scholar 

  14. Julian, W., R. Mines, F. Richman, and A. Calder (1979) є-covering Dimension, Pacific J. Math, Vol. 95, No. 2, 257–262.

    MathSciNet  Google Scholar 

  15. Kronecker, L. (1882) Grundzüge einer arithmetischer Theorie der algebraischen Grossen, J. Reine Angew. Math., Vol. 92, 1–222.

    MATH  Google Scholar 

  16. Meinardus, G. (1967) Approximation of Functions: Theory and Numerical Methods, Tracts in Natural Philosophy, 13, Berlin: Springer Verlag.

    Google Scholar 

  17. Mines, R., and F. Richman (1982) Separability and Factoring Polynomials, Rocky Mountain J. Math., Vol. 12, No. 1, 43–54.

    Article  MATH  MathSciNet  Google Scholar 

  18. Seidenberg, A. (1978) Constructions in a Polynomial Ring over the Ring of Integers, Amer. J. Math., Vol. 100, 678–703.

    Article  MathSciNet  Google Scholar 

  19. Shanin, N. (1963) On the Constructive Interpretation of Mathematical Judgments, Amer. Math. Soc. Translations, (2), 23, 109–189.

    MATH  Google Scholar 

  20. Snapper, E. (1979) What is Mathematics? Amer. Math. Monthly, Vol. 86, 551–557.

    Article  MATH  MathSciNet  Google Scholar 

  21. van der Waerden, B. L. (1930) Eine Bemerkung über die Unzerlegbarkeit von Polynomen. Math. Ann., Vol 102, 738–739.

    Article  MATH  MathSciNet  Google Scholar 

  22. van der Waerden, B. L. (1953) Modern Algebra (second edition), Ungar.

Download references

Author information

Authors and Affiliations

  1. The University of Buckingham, MK18 1EG, Buckingham, England

    Douglas Bridges

  2. New Mexico State University, 88003, Las Cruces, New Mexico, USA

    Ray Mines

Authors
  1. Douglas Bridges
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ray Mines
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bridges, D., Mines, R. What is constructive mathematics?. The Mathematical Intelligencer 6, 32–38 (1984). https://doi.org/10.1007/BF03026734

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF03026734

Keywords

Search

Navigation