On the Foundations of Computing

Erscheinungsjahr 2020
ISBN: 978-0-19-883564-6
Verlag: Oxford University Press

Buch, Englisch, 318 Seiten, Format (B × H): 156 mm x 234 mm, Gewicht: 621 g

Computing, today more than ever before, is a multi-faceted discipline which collates several methodologies, areas of interest, and approaches: mathematics, engineering, programming, and applications. Given its enormous impact on everyday life, it is essential that its debated origins are understood, and that its different foundations are explained. On the Foundations of Computing offers a comprehensive and critical overview of the birth and evolution of computing, and it presents some of the most important technical results and philosophical problems of the discipline, combining both historical and systematic analyses.

The debates this text surveys are among the latest and most urgent ones: the crisis of foundations in mathematics and the birth of the decision problem, the nature of algorithms, the debates on computational artefacts and malfunctioning, and the analysis of computational experiments. By covering these topics, On the Foundations of Computing provides a much-needed resource to contextualize these foundational issues.

For practitioners, researchers, and students alike, a historical and philosophical approach such as what this volume offers becomes essential to understand the past of the discipline and to figure out the challenges of its future.

Autoren/Hrsg.

Primiero, Giuseppe

Fachgebiete

• Geisteswissenschaften Geschichtswissenschaft Geschichtliche Themen Wissenschafts- und Universitätsgeschichte
• Mathematik | Informatik EDV | Informatik EDV & Informatik Allgemein
• Interdisziplinäres Wissenschaften Wissenschaften: Allgemeines Geschichte der Naturwissenschaften, Formalen Wissenschaften & Technik
• Mathematik | Informatik EDV | Informatik Informatik
• Geisteswissenschaften Philosophie Wissenschaftstheorie, Wissenschaftsphilosophie

Über Autor(innen)

Giuseppe Primiero is Associate Professor of Logic at the Department of Philosophy, University of Milan (Italy). He acts as President of the DHST Commission for the History and Philosophy of Computing (HaPoC) and Secretary General of the Association Computability in Europe (CiE). His research interests are primarily in Logic and Computation, Philosophy of Computing and Information.