may seem extreme arguments favor hard refute ref name minsky ref gurevich turing 's informal argument favor thesis justifies stronger thesis every algorithm simulated turing machine according savage algorithm computational process defined turing machine blockquote turing machines define computational processes terminate informal definitions algorithms generally require algorithm always terminates requirement renders task deciding whether formal procedure algorithm impossible general case due major theorem computability
Formal science Computer science Algorithms