Computability in Europe 2008
Logic and Theory of Algorithms

Print current page  Print this page

Regular Talk:
From Hilbert's Program to a Logic Toolbox

Edit abstract data

Speaker: Johann Makowsky
Slot: Thu, 11:40-12:00, Amphitheater B (col. 2)

Abstract

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 how 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 more useful for the working computer scientist.

websites: Arnold Beckmann 2008-05-19 Valid HTML 4.01! Valid CSS!