PP201303: van Benthem, Johan (2013) Computation as Social Agency: What and How. [Report]

Text (Full Text)
PP201303.text.pdf Download (348kB)  Preview 

Text (Abstract)
PP201303.abstract.txt~ Download (1kB) 


Text (Full Text (Mar 2013 version))
PP201303.textMar2013.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:  PP201303 
Series Name:  Prepublication (PP) Series 
Year:  2013 
Uncontrolled Keywords:  computation, agency, Turing machine, information,, interaction, epistemization, gamification 
Subjects:  Computation 
Depositing User:  Johan Benthem 
Date Deposited:  12 Oct 2016 14:37 
Last Modified:  12 Oct 2016 14:37 
URI:  https://eprints.illc.uva.nl/id/eprint/475 
Actions (login required)
View Item 