2 citations · 5 across the 17 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.CC2019
A Formal Axiomatization of Computation
Rasoul Ramezanian
We introduce an axiomatization for the notion of computation. Based on the idea of Brouwer choice sequences, we construct a model, denoted by , which satisfies our axioms and $E…
cs.CC2019
Computer-Simulation Model Theory (P= NP is not provable)
Rasoul Ramezanian
The simulation hypothesis says that all the materials and events in the reality (including the universe, our body, our thinking, walking and etc) are computations, and the reality…
cs.GT2019
A process algebraic form to represent extensive games
Omid Gheibi, Rasoul Ramezanian
In this paper, we introduce an agent-based representation of games, in order to propose a compact representation for multi-party games in game theory. Our method is inspired by con…