On the Foundations of Computing
Oxford University Press, 19 de nov. 2019 - 320 pàgines
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.
Què en diuen els usuaris - Escriviu una ressenya
No hem trobat cap ressenya als llocs habituals.
Altres edicions - Mostra-ho tot
according algorithm allows analysis applied approach appropriate argument artefact aspects behaviour Chapter circuits complexity computational system computer science conceptual considered consists construction correctness corresponding defined Definition determining discipline effectively efficiency elements engineering equivalent errors essential establish example execution Exercise exists experimental experiments Explain expressed Figure formal foundation function given hypothesis identity implementation input instructions integrated intended interpretation language laws levels of abstraction limits logical machine mathematical means memory method nature notion objects offered operations output parallel particular performed physical physical computing positive possible prediction present Primiero principles problem procedure produced proof properties recursive refers relation reliability represented respect result satisfying semantic simulation specification standard step structure target system testing Theorem theory Thesis translation Turing Machine understanding University validity variables verification