Turing Machine
Hypothetical computing device introduced in 1936 by the English mathematician and logician Alan M. Turing. Turing originally conceived the machine as a mathematical tool that could infallibly recognize undecidable propositions - i.e., those mathematical statements that, within a given formal axiom system, cannot be shown to be either true or false. (The mathematician
posted by AutomaticBranch @ 5:55 AM
0 Comments:
Post a Comment
<< Home