"What can we compute--even with unlimited resources? Is everything within reach? Or are computations necessarily drastically limited, not just in practice, but theoretically? These questions are at the heart of computability theory. The goal of this book is to give the reader a …
In the 1930s a series of seminal works published by Alan Turing, Kurt Gödel, Alonzo Church, and others, established the theoretical basis for computability. This work, advancing precise characterizations of effective, algorithmic computability, was the culmination of intensive i…
by Smith, Peter
fromCambridge introductions to philosophy
Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this concise undergraduate textbook covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic. The b…
Das Buch richtet sich an Studierende der Informatik oder verwandter Studiengänge und enthält Übungsaufgaben mit Lösungen aus Gebieten, die typischerweise in den ersten Semestern als Grundlagen behandelt werden. Ausgenommen ist der Bereich des Programmierens. Das Buch ergänzt den…
