Turing, Alan Mathison - 1912–54, British mathematician and computer theorist. While studying at Cambridge Univ. he began work in predicate logic that lead to a proof (1937) that some mathematical problems are not susceptible to solution by automated computation; in arriving at this, he postulated a universal machine, now called a Turing machine, that was the theoretical prototype of the |
by Andrew Hodges. 588 pgs.
by P. J. R. Millican, A. F. Clark. 297 pgs.
by A. Clark, P. J. R. Millican. 281 pgs.
by Stuart Goldkind. 142 pgs.
by F. H. Hinsley, Alan Stripp. 330 pgs.
by Selmer Bringsjord, David A. Ferrucci. 232 pgs.
by Colin McGinn. 242 pgs.
by Jaegwon Kim. 260 pgs.
by Rand Aj Spiro. 778 pgs.
by Barbara Hannan. 140 pgs.
by David Hodgson. 486 pgs.
by Gerald M. Edelman. 288 pgs.
by Maurice Estabrooks. 269 pgs.
by Charles Crawford, Dennis L. Krebs. 670 pgs.
by John L. Casti, Werner DePauli-Schimanovich. 218 pgs.
by Douglas R. Hofstadter. 854 pgs.