research
∙
07/04/2019
A Formal Axiomatization of Computation
We introduce a set of axioms for the notion of computation, and show tha...
share
research
∙
06/20/2019
Computer-Simulation Model Theory (P= NP is not provable)
The simulation hypothesis says that all the materials and events in the ...
research
∙
04/27/2019
A process algebraic form to represent extensive games
In this paper, we introduce an agent-based representation of games, in o...
research
∙
01/18/2018