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
View on Springer
2 Citations
Background Citations
1

2 Citations

Citation Type

Citation Type

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.
The reflective practitioner perspective in software engineering education

References

SHOWING 1-4 OF 4 REFERENCES
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.
The varieties of arboreal experience
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…