Abstract
This essay is a reflection on the roles which logic played and can play in computer science. We recall the obvious merits of mathematical logic as a parent discipline of computer science, from which many fields in theoretical computer science emerged, but then address some unresolved issues in connection with the engineering tasks of computer science. We argue that logic has good perspectives here, following a tradition which is closer to Leibniz than to Hilbert and Gödel.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
S. Abramsky, D. M. Gabbay, T.S.E. Maibaum (eds.) Handbook of Logic in Computer Science, Vols. I–IV, Clarendon Press, Oxford 1992-1995.
J. Barwise (ed.), Handbook of Mathematical Logic, North-Holland, Amsterdam 1977.
Y. Gurevich, Logic and the challenge of computer science, in: Current Trends in Theoretical Computer Science (E. Börger, ed.), Computer Science Press, 1988, pp. 1–57.
R. Milner, Elements of interaction–Turing Award Lecture, Comm. ACM 36(1), 1993, pp. 78–89.
G.W. Leibniz, Anfangsgründe einer allgemeinen Charakteristik (Latin original untitled), in: Die philosophischen Schriften von Gottfried Wilhelm Leibniz (C. I. Gerhardt, ed.), Vol. VII, Berlin 1890, p. 185 ff.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Thomas, W. (2001). Logic for Computer Science: The Engineering Challenge. In: Wilhelm, R. (eds) Informatics. Lecture Notes in Computer Science, vol 2000. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44577-3_18
Download citation
DOI: https://doi.org/10.1007/3-540-44577-3_18
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41635-7
Online ISBN: 978-3-540-44577-7
eBook Packages: Springer Book Archive