1

This paper gives an execution trace set based account of computability by imposing restrictions on sets of arbitrary sequences of …

Incompleteness and undecidability have been used for many years as arguments against automatising the practice of mathematics. The …

A Boolean Network Game is a game played on a network structure. Players choose actions depending on the actions of those in their …