Notice bibliographique
- Notice
Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation
Titre(s) : Philosophical explorations of the legacy of AlanTuring [Texte imprimé] : Turing 100 / Juliet Floyd, Alisa Bokulich, editors
Publication : Cham ; Boston (Mass.) : Springer, copyright 2017
Description matérielle : 1 vol. (xvii-361 p.) : illustrations ; 24 cm
Collection : Boston studies in the philosophy and history of science ; 324
Lien à la collection : Boston studies in the philosophy of science
Note(s) : Bibliogr. en fin de contributions. Notes bibliogr. Index
This volume presents an historical and philosophical revisiting of the foundational
character of Turing's conceptual contributions and assesses the impact of the work
of Alan Turing on the history and philosophy of science. Written by experts from a
variety of disciplines, the book draws out the continuing significance of Turing's
work. The centennial of Turing's birth in 2012 led to the highly celebrated "Alan
Turing Year", which stimulated a world-wide cooperative, interdisciplinary revisiting
of his life and work. Turing is widely regarded as one of the most important scientists
of the twentieth century: He is the father of artificial intelligence, resolver of
Hilbert's famous Entscheidungsproblem, and a code breaker who helped solve the Enigma
code. His work revolutionized the very architecture of science by way of the results
he obtained in logic, probability and recursion theory, morphogenesis, the foundations
of cognitive psychology, mathematics, and cryptography. Many of Turing's breakthroughs
were stimulated by his deep reflections on fundamental philosophical issues. Hence
it is fitting that there be a volume dedicated to the philosophical impact of his
work. One important strand of Turing's work is his analysis of the concept of computability,
which has unquestionably come to play a central conceptual role in nearly every branch
of knowledge and engineering
Autre(s) auteur(s) : Floyd, Juliet (1960-....). Éditeur scientifique
Bokulich, Alisa. Éditeur scientifique
Sujet(s) : Turing, Alan Mathison (1912-1954)
Intelligence artificielle
Enigma (machine à chiffrer)
Mathématiques
Philosophie et sciences
Cryptographie
Indice(s) Dewey :
510.92 (23e éd.) = Mathématiques - Biographie
Identifiants, prix et caractéristiques : ISBN 9783319532806 (erroné). - ISBN 3319532804 (erroné). - ISBN 3319532782. - ISBN
9783319532783
Identifiant de la notice : ark:/12148/cb45621400z
Notice n° :
FRBNF45621400
(notice reprise d'un réservoir extérieur)
Table des matières : Preface; Acknowledgments; Contents; About the Editors and Authors; About the Editors;
About the Authors; Chapter 1: Introduction; 1.1 Overview of This Volume; 1.2 Turing's
Life and Works: A Survey; 1.3 Précis of Essays in This Volume; 1.3.1 Logic and Mathematics
to Philosophy; 1.3.2 The Universal Machine: From Music to Morphogenesis; 1.3.3 Human,
Machine, and Mind; 1.3.4 Concluding Précis; 1.4 Bibliographical Remarks; References;
Part I: Logic and Mathematics to Philosophy; Chapter 2: Turing, the Mathematician;
2.1 Solving the Entscheidungsproblem; 2.2 Puzzles vs. Calculable Functions.
2.2.1 Substitution Puzzles2.2.2 Calculable Functions; 2.2.3 Church's Thesis; 2.3 Mechanical
Procedures; 2.3.1 Turing's Analysis; 2.3.2 Abstract Concepts; 2.4 The Universal Turing
Machine; 2.4.1 The Digitization of Turing Machines; 2.4.2 Construction of the Universal
Machine; 2.5 Polynomial Time; 2.6 NP-Completeness; 2.6.1 Reductions and NP-Complete
Problems; 2.6.2 Relative Intractability; 2.7 Final Remarks; References; Chapter 3:
Turing, Gödel and the "Bright Abyss"; 3.1 Introduction; 3.2 Different Notions of
Computability Emerge in the 1930s.
3.2.1 The "Scope Problem": How General Are the Incompleteness Theorems?3.2.2 Turing's
Analysis of Computability; 3.2.3 Gödel's Immediate Reaction to Turing's Work; 3.2.4
Gödel's 1946 Princeton Bicentennial Lecture; 3.2.5 Provability; 3.2.6 Definability;
3.2.7 Inner Models from Extended Logics; 3.3 Conclusion; Appendix: Deviant Encodings;
References; Chapter 4: Justified True Belief: Plato, Gettier, and Turing; 4.1 Introduction;
4.2 The Nature of Justification; 4.3 Wittgenstein; 4.4 Agent Based Justification;
4.5 Pragmatic Encroachment; 4.6 Conclusion; 4.7 Addendum.
4.7.1 Does One Know Then That There Is Fire on the Mountain?References; Chapter 5:
Turing on "Common Sense": Cambridge Resonances; 5.1 Introduction; 5.2 The Human Interface;
5.3 Turing's Path to "On Computable Numbers", 1931-1935; 5.3.1 Turing's Way in to
Logic; 5.3.2 "Common Sense" at Cambridge; 5.3.3 Turing and Wittgenstein; 5.4 Turing's
Moral Sciences Club Lecture, December 1933; 5.5 Turing's "On Computable Numbers" (1936/1937):
The "Do-What-You-Do Machine"; 5.6 Turing 1939: Wittgenstein's Cambridge Lectures;
5.7 Turing's "The Reform of Mathematical Notation and Phraseology" (1944/1945).
5.8 Turing's "Solveable and Unsolveable Problems" (1954)5.9 Concluding Remark; References
; Part II: The Universal Machine: From Music to Morphogenesis; Chapter 6: Universality
Is Ubiquitous; 6.1 Introduction; 6.2 Practical Universality; 6.3 Anachronistic Universality;
6.4 Artificial Intelligence; 6.5 Universality in Nature; References; Chapter 7: The
Early History of Voice Encryption; 7.1 Invertors ; Better Than Nothing; 7.2 The
A-3 Scrambler ; Protection Against Nosy Neighbors; 7.3 The Cost of Insecurity; 7.4
A Solution from the Past; 7.5 SIGSALY; 7.6 Plan B; 7.7 SIGSALY in Action.
