http://it.wikipedia.org/wiki/Alan_Turing

Alan Mathison Turing (Londra, 23 giugno 1912 – Wilmslow, 7 giugno 1954) è stato un matematico, logico e crittanalista britannico, considerato uno dei padri dell'informatica e uno dei più grandi matematici del XX secolo. Egli introdusse la macchina ideale e il test che portano il suo nome. Fu anche uno dei più brillanti decrittatori che operavano in Inghilterra, durante la seconda guerra mondiale, per decifrare i messaggi scambiati da diplomatici e militari delle Potenze dell'Asse. Omosessuale, morì suicida a soli 41 anni in seguito a una persecuzione omofobica condotta nei suoi confronti da parte del governo britannico. In suo onore la Association for Computing Machinery (ACM) ha creato nel 1966 il Turing Award, massima riconoscenza nel campo dell'informatica, dei sistemi intelligenti e dell'intelligenza artificiale.

http://it.wikipedia.org/wiki/Godel

Kurt Gödel (Brno, 28 aprile 1906 – Princeton, 14 gennaio 1978) è stato un matematico, logico e filosofo austriaco naturalizzato statunitense, noto soprattutto per i suoi lavori sull'incompletezza delle teorie matematiche. Gödel è ritenuto uno dei più grandi logici di tutti i tempi insieme a Frege e Aristotele; le sue ricerche ebbero un significativo impatto, oltre che sul pensiero matematico e informatico, anche sul pensiero filosofico del XX secolo.