Berechenbarkeit Und Unlosbarkeit

Das Buch behandelt die Frage nach den Moglichkeiten und Grenzen algorithmischer Problemlosung von einem am Grundsatzlichen orientierten Standpunkt aus. Es liegt damit im Uberschneidungsbereich von theoretischer Informatik und mathematischer Grundlagenforschung und gibt eine Einfuhrung in die mittlerweile klassische Theorie der effektiven Berechenbarkeit bis hin zu den grundlegenden Unlosbarkeitsergebnissen von Kleene / Mostowski und Rice.