He did this by thinking of proof in terms of mechanical operations. Turing made his fundamental contribution shortly after graduating in mathematics from King's College Cambridge, with papers on computable numbers (1936-1937) in which he proved that there are classes of mathematical problems that cannot be proved by any fixed definite process or procedures. Working almost entirely independently, they not only set the stage, they built the scenery and wrote the script for the Computer Revolution, and for descriptions of mind in terms of computing procedures. The other parent was the American mathematician John von Neumann.
Perception, 1983/volume 12, pages 647-649Īlan Turing was one of the two key figures in the creation of electronic digital computers and Artificial Intelligence (AI).
0 kommentar(er)
