To scrutinize notions of computation and time complexity, we introduce and
formally define an interactive model for computation that we call it the
\emph{computation environment}. A computation environment consists of two main
parts: i) a universal processor and ii) a computist who uses the computability
power of the universal processor to perform effective procedures. The notion of
computation finds it meaning, for the computist, through his
\underline{interaction} with the universal processor.
We are interested in those computation environments which can be considered
as alternative for the real computation environment that the human being is its
computist. These computation environments must have two properties: 1- being
physically plausible, and 2- being enough powerful.
Based on Copeland' criteria for effective procedures, we define what a
\emph{physically plausible} computation environment is.
We construct two \emph{physically plausible} and \emph{enough powerful}
computation environments: 1- the Turing computation environment, denoted by
ETβ, and 2- a persistently evolutionary computation environment, denoted by
Eeβ, which persistently evolve in the course of executing the computations.
We prove that the equality of complexity classes P and
NP in the computation environment Eeβ conflicts with the
\underline{free will} of the computist.
We provide an axiomatic system T for Turing computability and
prove that ignoring just one of the axiom of T, it would not be
possible to derive P=NP from the rest of axioms.
We prove that the computist who lives inside the environment ETβ, can never
be confident that whether he lives in a static environment or a persistently
evolutionary one.Comment: 33 pages, interactive computation, P vs N