(03/03/2022 h.11/13, Aula 3 Edificio C5) Completamento dell'esposizione sui sistemi di logica formale. Cenni introduttivi sul 10.o problema di Hilbert
Schema della sezione
-
-
(Con messa a fuoco particolare sul ruolo che rivestí Julia Robinson nella risoluzione, negativa, del problema proposto da Hilbert a Parigi nell'anno 1900)
-