PP-2013-03: Computation as Social Agency: What and How

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

[thumbnail of Full Text]
Text (Full Text)

Download (348kB) | Preview
[thumbnail of Full Text (Mar 2013 version)]
Text (Full Text (Mar 2013 version))

Download (216kB) | Preview


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 View Item