Seminario - Completezza ed incompletezza: il metodo assiomatico da Euclide a Gödel

alle ore 10.00, in aula 25, il Prof. Ugo de'Liguoro (Dipartimento di Informatica - Università di Torino) terrà una lezione dal titolo: "Completezza ed incompletezza: il metodo assiomatico da Euclide a Gödel".