Ciclo di 3 incontri incentrati sulla logica matematica.
In questo incontro: abbiamo le prime definizioni per poterci muovere. Vediamo ora come lavorano i matematici, come vengono dimostrati i teoremi. Enunceremo alcuni risultati di base e vedremo come la logica proposizionale risulti coerente e sufficientemente potente. Tutto molto bello ma a cosa serve? Chiuderemo introducendo gli sviluppi futuri e lasciando spazio nell’ultimo incontro ad una particolare applicazione.