Skip to main content
SpringerLink
Log in

Logic for Computer Science: The Engineering Challenge

  • Chapter
  • First Online:
Informatics

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2000))

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
eBook
USD 16.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. S. Abramsky, D. M. Gabbay, T.S.E. Maibaum (eds.) Handbook of Logic in Computer Science, Vols. I–IV, Clarendon Press, Oxford 1992-1995.

    Google Scholar 

  2. J. Barwise (ed.), Handbook of Mathematical Logic, North-Holland, Amsterdam 1977.

    Google Scholar 

  3. 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.

    Google Scholar 

  4. R. Milner, Elements of interaction–Turing Award Lecture, Comm. ACM 36(1), 1993, pp. 78–89.

    Article  Google Scholar 

  5. 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. RWTH Aachen, Lehrstuhl für Informatik VII, 52056, Aachen, Germany

    Wolfgang Thomas

Authors
  1. Wolfgang Thomas
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. FR Informatik, Universität des Saarlandes, Postfach 15 11 50, 66041, Saarbrücken, Germany

    Reinhard Wilhelm

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation