A Formal Axiomatization of Computation

07/04/2019

∙

by   Rasoul Ramezanian, et al.

∙

0

∙

share

We introduce a set of axioms for the notion of computation, and show that P= NP is not derivable from this set of axioms.