Computation as Conversation
Johan van Benthem

Abstract:
Against the backdrop of current research into 'logical dynamics' of information, we discuss two-way connections between conversation and computation. This leads to a broader perspective on both, using ideas from both computational and philosophical logic. In particular, we discuss merges between computation and conversation (or more general interaction) by means of three transformations on given algorithms: 'epistemization', 'dynamification', and 'gamification'.

Keywords: 
computation, conversation, communication, complexity, knowledge, interaction.