Algorithms and proofs: mathematics in the computing curriculum

ABSTRACT

Computing has supplied mathematics with a new vocabulary of algorithms and is holding out the promise that mathematics can be implemented. Algorithms and proofs can now be seen as the same type of object. This new vision of mathematics as a very high level programming language suggests that mathematics may be transformed so that it is more in harmony with the spirit of computing, and has profound implications for the way in which mathematics is taught. Such harmony would be particularly beneficial for students of computing, who often find little of relevance in their mathematics courses.

REFERENCES

• 1: Krzysztof R. Apt, Ten Years of Hoare's Logic: A Survey—Part I, ACM Transactions on Programming Languages and Systems (TOPLAS), v.3 n.4, p.431-483, Oct. 1981 [doi>10.1145/357146.357150]
• 2: Bishop, E., Foundations of Constructive Analysis, McGraw-Hill, 1967. {Revised edition: Bishop, E. and Bridges, D., Constructive Analysis, Springer-Verlag, 1985.}
• 3: Brouwer, L. E. J., Collected Works, Vol. 1 - Philosophy and Foundations of Mathematics, North-Holland, 1975.
• 4: R. L. Constable , S. F. Allen , H. M. Bromley , W. R. Cleaveland , J. F. Cremer , R. W. Harper , D. J. Howe , T. B. Knoblock , N. P. Mendler , P. Panangaden , J. T. Sasaki , S. F. Smith, Implementing mathematics with the Nuprl proof development system, Prentice-Hall, Inc., Upper Saddle River, NJ, 1986
• 5: Denning, P. J., et al., Report of the ACM Task Force on the Core of Computer Science, ACM, 1988.
• 6: Edsger W Dijkstra, Mathematicians and computing scientists: the cultural gap, Abacus, v.4 n.4, p.26-31, June 1987
• 7: Greenleaf, N., Liberal constructive set theory, Constructive Mathematics, Richman, F., Ed., Springer Lecture Notes in Mathematics, Vol. 873, 1981.
• 8: Donald E. Knuth, Algorithms in modern mathematics and computer science, Proceedings on Algorithms in Modern Mathematics and Computer Science, p.82-99, September 16-22, 1979
• 9: Martin-L~f, P., Constructive mathematics and computer programming, Sixth International Congress for Logic, Methodology, and Philosophy of Science, Cohen, L. J. et al., Eds., North-Holland, 1982.
• 10: Kenneth A. Ross , Charles R. B. Wright, Discrete mathematics (2nd ed.), Prentice-Hall, Inc., Upper Saddle River, NJ, 1988

INDEX TERMS

Primary Classification:
  K. Computing Milieux
  K.3 COMPUTERS AND EDUCATION
      K.3.2 Computer and Information Science Education
          Subjects: Curriculum

Additional Classification:
  F. Theory of Computation
  F.2 ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY

  I. Computing Methodologies
  I.1 SYMBOLIC AND ALGEBRAIC MANIPULATION

General Terms:
Algorithms, Theory