Implementing mathematics with the Nuprl proof development system
Implementing mathematics with the Nuprl proof development system
Discrete mathematics (2nd ed.)
Discrete mathematics (2nd ed.)
Ten Years of Hoare's Logic: A Survey—Part I
ACM Transactions on Programming Languages and Systems (TOPLAS)
Algorithms in modern mathematics and computer science
Proceedings on Algorithms in Modern Mathematics and Computer Science
On a connection between programming and mathematics
ACM SIGCSE Bulletin
The central role of mathematical logic in computer science
SIGCSE '90 Proceedings of the twenty-first SIGCSE technical symposium on Computer science education
| Hi-index | 0.00 |
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.