Help


from Wikipedia
« »  
Gurevich: "... Turing's informal argument in favor of his thesis justifies a stronger thesis: every algorithm can be simulated by a Turing machine ... according to Savage, an algorithm is a computational process defined by a Turing machine ".

1.974 seconds.