Section outline

  • 25 maggio 2016, h.16--18, aula 5C edificio H2bis

    I risultati limitativi cui si riferisce il titolo di questa sezione sono:

    1. Indecidibilita` della logica predicativa diadica del prim'ordine (teorema di Church alla luce del lavoro seminale di Turing)
    2. Indecidibilita` essenziale dell'aritmetica di Peano (e anche di aritmetiche molto piu` deboli di essa) e di una teoria degli insiemi priva dell'assioma dell'infinito

    Solo il primo di questi due temi sara` trattato a lezione; i lucidi sul secondo vengono ripresi---solo per completezza---dal materiale dell'insegnamento di Logica 2014/2015