Alan Mathison Turing
De Wikisofia
La revisió el 23:16, 4 març 2015 per Jorcor (discussió | contribucions)
Avís: El títol a mostrar «Alan Mathison Turing» sobreescriu l'anterior títol a mostrar «Turing, Alan Mathison».
Matemàtic anglès, nascut a Londres, els estudis del qual sobre lògica matemàtica li col·loquen -malgrat la seva curta vida- a l'altura de les grans renovadors en aquesta matèria. El seu estudi més important referent a això és On Computable Numbers [Sobre nombres computables], aparegut en 1937, amb el qual respon a la qüestió plantejada per Hilbert sobre si existeix un algorisme capaç de determinar si un enunciat és decidible -computable- en un sistema donat. La seva resposta a la qüestió, igualment negativa com la formulada una mica abans i independentment per Alonzo Church, és coneguda com tesi de Church-Turing i al procediment ideal construït per Turing per demostrar-la, màquina de Turing; «algorisme» passa a significar el mateix que «computable», i «màquina de Turing» el mateix que «procediment algorítmic». Interessat pels computadors electrònics des del moment de la seva aparició, construeix -amb altres científics- durant la Segona Guerra Mundial el «Colossus», computador destinat a desxifrar codis secrets, i treballa després en computadors a la universitat de Manchester i en el National Physical Laboratory, on construeix el seu Automatic Computing Engine (ACE). En 1950 publica Computing machinery and Inteligence, («Mind», 59, n. 236 [1950]) i publicat després en World of Mathematics IV (Nova York 1956), i traduït al castellà com Pot pensar una màquina? . L'experiment que suggereix dur a terme per decidir la qüestió rep el nom de «test de Turing».
Els estudis lògic-matemàtics de Turing representen el fonament teòric de la ciència dels computadors.