Alan Mathison Turing

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? ( veure referència ↓). 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.

Referència bibliogràfica ↓

Cf. Pot pensar una màquina?, trad. de Computing Machinery and Intelligence, («Mind», 59 n. 236 [1950]), en «Teorema», València 1974, p. 11-12. També: Pot pensar una màquina?, en Turing, A. m., Putnam, H. i Davidson, D. (eds.), Ments i màquines, Tecnos, Madrid 1985, p. 15-60.