Philosophy of Information

Philosophy of Information

Volume 8
Handbook of the Philosophy of Science
2008, Pages 483-549
Philosophy of Information

INFORMATION, PROCESSES AND GAMES

https://doi.org/10.1016/B978-0-444-51726-5.50017-0Get rights and content

First page preview

First page preview
Click to open first page preview

References (0)

Cited by (29)

  • Execution trace sets for real computation

    2023, Theoretical Computer Science
    Citation Excerpt :

    Here, we turn the focus back to the algorithm as a process: instead of treating algorithms as iteratively applied functions, we consider them in terms of the behaviour observed during execution. This perspective has had little development in analysing algorithms specifically, though it draws parallels with game semantics and structural operational semantics for programming languages [1,11,23], as well as work on traces for primitive recursive functions [7,8].1 The key idea is this: when run, algorithms generate an execution trace set, a set of sequences over some domain.

  • Computation as social agency: What, how and who

    2018, Information and Computation
    Citation Excerpt :

    A conspicuous newcomer is co-algebra, a theory of computing on infinite streams, tied to fixed-point logics and category theory, [99]. Another striking new take on multi-agent distributed computing has been game semantics, [1], [2], and related areas in logic, leading to new encounters between computer science, logic, and game theory, [81].2 Artificial intelligence A final development of note has been the rise of Artificial Intelligence since the 1950s.

  • Reconciling Shannon and Scott with a Lattice of Computable Information

    2023, Proceedings of the ACM on Programming Languages
  • Compositionality in Context

    2023, Outstanding Contributions to Logic
View all citing articles on Scopus
View full text