Abstract and Keywords
This chapter deals with those fields that study computing systems. Among these computational sciences are computer science, computational cognitive science, computational neuroscience, and artificial intelligence. In the first part of the chapter, it is shown that there are varieties of computation, such as human computation, algorithmic machine computation, and physical computation. There are even varieties of versions of the Church-Turing thesis. The conclusion is that different computational sciences are often about different kinds of computation. The second part of the chapter discusses three specific philosophical issues. One is whether computers are natural kinds. Another issue is the nature of computational theories and explanations. The last section of the chapter relates remarkable results in computational complexity theory to problems of verification and confirmation.
Keywords: computational sciences, human computation, algorithm, machine computation, physical computation, Church-Turing thesis, universal realizability, computational explanation, computational complexity theory
Access to the complete content on Oxford Handbooks Online requires a subscription or purchase. Public users are able to search the site and view the abstracts and keywords for each book and chapter without a subscription.
If you have purchased a print title that contains an access token, please see the token for information about how to register your code.