Inf , , , / . , .
, . , , . , : , - , , .
: . , , , , , . , . , NP. NP ? , P!= NP, , . , P!= NP , .
P!= NP . , NP , . , NP . , ? - , , : while (1) {print "still running!"}. , ? , . , , P!= NP.
. , . ? , ? , , Turing , , Turing. , , .
We can go on and discuss our assumptions like: Are all signals equivalent? Is it possible that a liquid or mechanical computer is fundamentally different from an electronic computer? And this will lead us to such things as Shannon’s information theory and Boolean algebra, etc., And each assumption that we reveal is more fundamental than what is above it.
source
share