- ホーム
- > 洋書
- > 英文書
- > Computer / General
Full Description
This Element is an introduction to classical computability theory and scientific efforts to use computability-theoretic notions to explain empirical phenomena. It is written for advanced undergraduates and graduate students in philosophy, assuming no prior exposure to computability theory. Its goals are threefold: (1) to introduce some important theoretical tools and results from classical computability theory; (2) to survey some of the ways these have been used to support explanatory projects in computer and cognitive science; and (3) to outline a few of the more prominent philosophical debates surrounding these projects.
Contents
1. Introduction; 2. Models of computation; 3. Basic results; 4. From computability theory to computational explanation; 5. Computational explanations of capacities; 6. Limitative explanations; 7. Conclusion; References.



