Computer programs and mathematical proofs

@article{Gray1991ComputerPA,
  title={Computer programs and mathematical proofs},
  author={Robert Gray},
  journal={The Mathematical Intelligencer},
  year={1991},
  volume={13},
  pages={45-48}
}
  • R. Gray
  • Published 1 September 1991
  • Computer Science
  • The Mathematical Intelligencer
Application of computer science ideas to the presentation of mathematical theorems and proofs
TLDR
This paper illustrates how it is possible to apply methodologies from computer science, used in the development and presentation of computer programs, for the presentation of mathematical theorems and proofs through stepwise refinement, abstraction, and program verification.

References

SHOWING 1-3 OF 3 REFERENCES
Towards a Theory of Mathematical Research Programmes (II)
  • Michael Hallett
  • Mathematics
    The British Journal for the Philosophy of Science
  • 1979
The main aim of the methodology of scientific research programmes (henceforth MSRP) is to set out clear, general desiderata for distinguishing between progressive and degenerating science which are
On a cultural gap
Data Structures and Algorithms
TLDR
The basis of this book is the material contained in the first six chapters of the earlier work, The Design and Analysis of Computer Algorithms, and has added material on algorithms for external storage and memory management.