Guglielmo Tamburrini, Alan Turing e i programmi di ricerca dell'Intelligenza Artificiale