Mathematical logic

Alan Turing There is a strong tradition in mathematical logic at Manchester. The first logician at Manchester was Alan Turing, now considered to be the father of artificial intelligence and one of the great visionaries of the twentieth century. Turing was followed at Manchester by his former student, Robin Gandy, who made important contributions to the foundations of proof theory and constructive mathematics. Two of Gandy's students have held chairs in at Manchester, Mike Yates (now retired), and Jeff Paris.