Alan Turing

  ⇱ Correttezza, completezza, decidibilità    – Approfondimento: Alan Turing

    Alan Mathison Turing
(Londra, 23 giugno 1912 – Manchester, 7 giugno 1954)

 
 
 
 
 
Matematico, logico, crittografo e filosofo.
E’ considerato uno dei padri dell’informatica e uno dei più grandi matematici del XX° secolo.
      VITA
 
  Ebbe vasta influenza sulla nascita della disciplina dell’informatica, grazie alla sua formalizzazione dei concetti di algoritmo e calcolo mediante l’omonima macchina, che a sua volta costitui’ un significativo passo avanti nell’evoluzione verso il moderno computer.
Considerato il padre della scienza informatica e dell’intelligenza artificiale, da lui teorizzate gia’ negli anni trenta del ‘900, ed anche uno dei piu’ brillanti crittoanalisti che operarono nel Regno Unito durante la seconda guerra mondiale, per decifrare i messaggi scambiati da diplomatici e militari delle Potenze dell’Asse.
Turing ha lavorato a Bletchley Park, il principale centro di crittoanalisi del Regno Unito, dove ha ideato una serie di tecniche per violare i cifrari tedeschi.
Porta all’ideazione di una macchina elettromeccanica (chiamata “Bomba”) in grado di decodificare codici creati dalla macchina crittografica tedesca Enigma.
Muore suicida a soli 41 anni, in seguito alle persecuzioni subite da parte delle autorità britanniche a causa della sua omosessualità.
      LAVORI
    I propose to consider this sentence: « Are machines capable of thinking? »
Propongo di considerare questa frase: « Le macchine sono in grado di pensare? »
 
Those who can imagine anything, can create the impossible.
Coloro che possono immaginare qualsiasi cosa possono creare l’impossibile.
 

Computing Machinery and Intelligence (1950)
The new form of the problem can be described in terms of a game which we call the “imitation game.”
It is played with three people, a man (A), a woman (B), and an interrogator (C) who may be of either sex.
The interrogator stays in a room apart front the other two.
The object of the game for the interrogator is to determine which of the other two is the man and which is the woman.
He knows them by labels X and Y, and at the end of the game he says either “X is A and Y is B” or “X is B and Y is A.”
The interrogator is allowed to put questions to A and B… We now ask the question:
“What will happen when a machine takes the part of A in this game?”
Will the interrogator decide wrongly as often when the game is played like this as he does when the game is played between a man and a woman?
These questions replace our original, “Can machines think?”