Numero di prenotazioni: 0/900 (0% degli studenti)
Attività: S5 e l’esistenza di Dio.
Quando: Giovedì 12 febbraio (8.45-10.50)
Dove:Aula disegno 2
Intorno al 1970 Kurt Gödel rende pubblica una dimostrazione dall'esistenza di Dio derivata dall'argomento ontologico di Anselmo d'Aosta.Non si tratta di un'argomentazione filosofica, ma di una dimostrazione formale di logica matematica che fa uso di una logica modale, nota con il nome S5. Lo scopo di questa lezione è quello di introdurre i concetti fondamentali della logica modale in generale e di S5 in particolare e di vedere come questi concetti si applicano nella dimostrazione di Gödel. Relatore: Prof. Mauri
Partecipanti: 0/50