Skip to main content
SpringerLink
Log in

Computer programs and mathematical proofs

  • Article
  • 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

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

Instant access to the full article PDF.

Institutional subscriptions

References

  1. A. V. Aho, J. E. Hopcroft, and J. D. Ullman,Data Structures and Algorithms, Addison-Wesley, Reading, Massachusetts, 1983.

    MATH  Google Scholar 

  2. E. W. Dijkstra, On a cultural gap,The Mathematical Intelligencer 8 (1986), 48–52.

    Article  MATH  Google Scholar 

  3. R. Gray, A programmer’s view of elementary analysis, unpublished.

  4. M. F. Hallett, Towards a theory of mathematical research programmes,British Journal for the Philosophy of Science 30 (1979), 1–25 and 135-159.

    Article  MATH  MathSciNet  Google Scholar 

  5. S. G. Simpson, Reverse mathematics,Proceedings of Symposia in Pure Mathematics, vol. 42, Amer. Math. Soc, (1985), 461–471.

    Article  Google Scholar 

  6. C. Smoryński, The varieties of arboreal experience,The Mathematical Intelligencer 4 (1982), 182–189.

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Prime Computer, Inc., 500 Old Connecticut Path, 01701, Framingham, MA, USA

    Robert Gray

Authors
  1. Robert Gray
    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

Gray, R. Computer programs and mathematical proofs. The Mathematical Intelligencer 13, 45–48 (1991). https://doi.org/10.1007/BF03028342

Download citation

  • Published:

  • Issue Date:

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

Keywords

Search

Navigation