Il diavolo in cattedra. La logica matematica da Aristotele a Kurt Gödel