3 ms·
To me, figuring out the halting behavior of small turing machines is similar in spirit going over all short logical propositions and trying to determine if they
by im3w1l 2y ago
To me, figuring out the halting behavior of small turing machines is similar in spirit going over all short logical propositions and trying to determine if they are true or not.
Like it sounds like it could end up being useful somehow.