Logic for Computer Science: The Engineering Challenge

  • Authors:

  • Wolfgang Thomas

  • Affiliations:

  • -

  • Venue:
  • Informatics - 10 Years Back. 10 Years Ahead.
  • Year:
  • 2001

  • From logic to games

    FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science

Quantified Score

Hi-index 0.00

Visualization

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.