Filósofo y matemático, pionero de la informática, que inició una exitosa doctrina entre sus colegas y unos años después la declaró falsa.