Document worth reading: “Computer-Simulation Model Theory (P= NP is not provable)”

The simulation hypothesis says that every one the provides and events throughout the actuality (along with the universe, our physique, our pondering, strolling and and lots of others) are computations, and the very fact is a laptop simulation program like a on-line recreation. All works we do (talking, reasoning, seeing and and lots of others) are computations carried out by the universe-computer which runs the simulation program. Inspired by the view of the simulation hypothesis (nevertheless neutral of this hypothesis), we recommend a model new strategy of logical reasoning named ‘Computer-Simulation Model Theory’, CSMT. Computer-Simulation Model Theory is an extension of Mathematical Model Theory the place in its place of mathematical-structures, computer-simulations are modified, and the train of reasoning and computing of the reasoner is moreover simulated throughout the model. (CSMT) argues that: For a parts $phi$, assemble a laptop simulation model $S$, such that 1- $phi$ does not preserve in $S$, and 2- the reasoner $I$ $($human being, the one who lives inside the very fact$)$ can not distinguish $S$ from the very fact $(R)$, then $I$ can not present $phi$ in fact. Although $mathrm{CSMT}$ is impressed by the simulation hypothesis, nevertheless this reasoning method is neutral of the acceptance of this hypothesis. As we argue on this half, one may do not accept the simulation hypothesis, nevertheless is conscious of $mathrm{CSMT}$ a sound reasoning method. As an utility of Computer-Simulation Model Theory, we study the well-known disadvantage P vs NP. We let $phi equivmathrm{ [P= NP]} $ and assemble a laptop simulation model $E$ such that $mathrm{P= NP}$ does not preserve in $E$. Computer-Simulation Model Theory (P= NP is not provable)