Title
The Central Role of Mathematical Logic in Computer Science
Document Type
Article
Publication Date
2-1990
Abstract
A fascinating and largely unheralded development accompanying the rise of computer science and computer technology has been the increasing applicability of the two most fervently “pure” branches of mathematics: number theory and mathematical logic. Unexpected mere decades ago are present opportunities for number theorists and logicians in this most applied of the mathematical sciences. Indeed, advertisements for both academic and industrial positions in the ACM Communications, for example, call for expertise in these fields. Martin Davis expresses the surprise at this new status of mathematical logic.
Editor
James E. Miller & Daniel T. Joyce
DOI
10.1145/319059.319071
Publisher
Association for Computing Machinery
City
New York, NY
Repository Citation
Myers, J. P., Jr. (1990). The central role of mathematical logic in computer science. SIGCSE Bulletin, 22(1), 22-26. https://doi.org/10.1145/319059.319071
Publication Information
SIGCSE Bulletin
Comments
The SIGCSE is the Association for Computing Machinery's Special Interest Group on Computer Science Education.
This paper was also published in the SIGCSE '90 Proceedings of the Twenty-first SIGCSE Technical Symposium on Computer Science Education, p. 22-26, Washington, D.C. ISBN: 0897913469