15 04 19 – Introduzione alla logica matematica #2

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.