Application of computer science ideas to the presentation of mathematical theorems and proofs-Reference-Cited by-同舟云学术

Application of computer science ideas to the presentation of mathematical theorems and proofs

Published:2003-06 Issue:2 Volume:35 Page:38-42
ISSN:0097-8418
Container-title:ACM SIGCSE Bulletin
language:en
Short-container-title:SIGCSE Bull.

Author:

Hazzan Orit¹

Affiliation:

1. Technion - Israel Institute of Technology 1 Haifa, Israel

Abstract

Based on the analogy between mathematical proofs and computer programs 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. The following three methodologies are discussed: stepwise refinement, abstraction, and program verification.

Publisher

Association for Computing Machinery (ACM)

Link

https://dl.acm.org/doi/pdf/10.1145/782941.782976

Reference20 articles.

1. Abelson H. and Sussman G. J. (1986). Structure and Interpretation of Computer Programs MIT Press and McGraw-Hill.]] Abelson H. and Sussman G. J. (1986). Structure and Interpretation of Computer Programs MIT Press and McGraw-Hill.]]

2. De Millo R. A. Lipton R. J. and Perlis A. J. (1979). Social processes and proofs of theorems and programs. Communications of the ACM22(5) pp. 271--280.]] 10.1145/359104.359106 De Millo R. A. Lipton R. J. and Perlis A. J. (1979). Social processes and proofs of theorems and programs. Communications of the ACM22(5) pp. 271--280.]] 10.1145/359104.359106

3. Dijkstra E. W. (1972). Notes on structured programming. In Dahl O. J. Hoare C. A. R. and Dijkstra E. W. (eds.). Structured Programming Academic Press New-York.]] Dijkstra E. W. (1972). Notes on structured programming. In Dahl O. J. Hoare C. A. R. and Dijkstra E. W. (eds.). Structured Programming Academic Press New-York.]]

4. Dijkstra E.W. (1986). On a cultural gap. The Mathematical Intelligencer8(1) pp. 48--52.]] Dijkstra E.W. (1986). On a cultural gap. The Mathematical Intelligencer8(1) pp. 48--52.]]