Les màquines de Turing

Turing Bomber Machine Codebreaker

Alan Turing és probablement l'ultim d'una llarga saga de pensadors que van formar part d'una edat d'or de la lògica formal: Leibniz, Boole, Frege, Peano, Hilbert, Russell ... Però va fer una cosa que cap altre lògic havía fet abans: guanyar una guerra. Tots els experts coincideixen que de no haver estat per la màquina de Turing, la Segona Guerra Mundial no s'hagués pogut guanyar fins a almenys dos anys més tard, si es que s'hagués pogut guanyar.

Turing va ser un estudiant de Cambridge, atret pels Principia Mathematica de Russell i l'intent de resolució de la seva paradoxa. De la mateixa manera que Gödel va voler analitzar el funcionament dels sistemes axiomàtics, però a diferència de tots els altres lògics, Turing va centrar-se en el fet que la lògica és un mecanisme, i va idear una màquina teòrica capaç de calcular qualsevol deducció formal. Aquesta màquina teòrica es coneix com a Màquina Universal de Turing. Amb ella no sols va confirmar els resultats de Gödel, sinó que va establir les bases per al naixement d'una nova disciplina: la Intel·ligència Artificial, de la que parla a un dels seus articles més famosos: Poden pensar les màquines?

Poc després d'esclatar la Segona Guerra Mundial, el govern britànic va cridar a Turing perquè s'unís l'equip de trenca codis, encarregant-li el desxiframent de l'áparell d'encriptació més gran fins llavors: la màquina Enigma de la marina nazi. Turing va fer construir una versió de la seva Màquina Universal, la Turing Bomber Machine Codebreaker, que va esdevenir el primer ordinador de la història.