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.

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

Document Object Identifier (DOI)

10.1145/319059.319071

Editor

James E. Miller & Daniel T. Joyce

Publisher

Association for Computing Machinery

City

New York, NY

Publication Information

SIGCSE Bulletin

Share

COinS