Dieses Buch von Dirk Siefkes zeigt wieder einmal mehr, dass die Beschaftigung mit den logischen und systematischen Grundlagen der Theoriebildung in der Informatik das Verstandnis vertiefen und gleichzeitig Freude machen kann. Siefkes Pladoyer fur eine kluge Verwendung "kleiner Systeme" wie auch fur eine "Wende zur Phantasie" belegen, dass auch eingefleischte "Praktiker" unter den Informatikern folgenreiche Anregungen von einem weitblickenden Theoretiker erwarten konnen. Die einzelnen Kapitel des Buches bilden jeweils selbstandige Einheiten, die je nach dem personlichen Interesse des Lesers in beliebige Reihenfolge gelesen werden konnen. Am Ende entsteht so ein Ganzes, das die Arbeit und das Lernen mit "formalisierten Umgebungen" in vielfacher Hinsicht transparent werden lasst.

Dieses Buch dokumentiert einen Diskussionsprozess, der an vielen Orten stattfindet und vom Arbeitskreis "Theorie der Informatik" in der Gesellschaft fur Informatik zusammengefuhrt wird. Das Themenfeld, das festgehalten wird, umfasst wissenschaftstheoretische und philosophische Grundlagen der Informatik, gesellschaftliche, kulturelle, anthropologische und ethische Verankerungen und Perspektiven - Sichtweisen der Informatik von innen, aber auch von aussen. Es wird eine Brucke geschlagen zwischen einer technischen Wissenschaft und den damit unlosbar verbundenen Anwendungen und Auswirkungen.