PP-2013-03: van Benthem, Johan (2013) Computation as Social Agency: What and How. [Report]
Preview |
Text (Full Text)
PP-2013-03.text.pdf Download (348kB) | Preview |
Preview |
Text (Full Text (Mar 2013 version))
PP-2013-03.text-Mar-2013.pdf Download (216kB) | Preview |
Abstract
We survey the history of computation since Turing, emphasizing the difference between the `what question' as to what can be computed and the `how question' of what behavior can be produced. We then look at social agency as a model for interactive computation, and investigate systematic ways of 'epistemizing' and 'gamifying' classical algorithmic tasks. This does not extend the realm of what can be computed, but it does extend the ways how we can compute, getting closer to the realities of modern hybrid computing systems of humans and machines, such as the Internet and its users. We also discuss what these developments mean for a modern understanding of the great foundational questions about computing: the search for a Universal Machine, Church's Thesis, and the Turing Test.
Note: This is a light paper behind a series of talks given on this subject at Stanford, the ASL Logic Colloquium in Manchester, the ESSLLI Summer School in Opole, Amsterdam, and JAIST (Kanazawa, Japan), and the Strachey Lecture given at Oxford 2015. It will appear in "Information and Computation", 2016.
| Item Type: | Report |
|---|---|
| Report Nr: | PP-2013-03 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2013 |
| Uncontrolled Keywords: | computation, agency, Turing machine, information,, interaction, epistemization, gamification |
| Subjects: | Computation |
| Depositing User: | Johan van Benthem |
| Date Deposited: | 12 Oct 2016 14:37 |
| Last Modified: | 18 Nov 2021 23:34 |
| URI: | https://eprints.illc.uva.nl/id/eprint/475 |
Actions (login required)
 |
View Item |
