A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
From Hilbert's Program to a Logic Toolbox
[chapter]
Logic for Programming, Artificial Intelligence, and Reasoning
In this paper I discuss what, according to my long experience, every computer scientists should know from logic. We concentrate on issues of modeling, interpretability and levels of abstraction. We discuss what the minimal toolbox of logic tools should look like for a computer scientist who is involved in designing and analyzing reliable systems. We shall conclude that many classical topics dear to logicians are less important than usually presented, and that less known ideas from logic may be
doi:10.1007/978-3-540-75560-9_1
dblp:conf/lpar/Makowsky07
fatcat:jbt2boybbfevledq725hw3c6ga