Numero di prenotazioni: 0/900 (0% degli studenti)

Cerca uno studente per visualizzare la sua prenotazione

Seleziona un'attività per elencare i partecipanti

Giovedì 12 febbraio (8.45-10.50) Giovedì 12 febbraio (11.10-13.15)
[0/200] Concerto

Giovedì 12 febbraio (8.45-10.50) – S5 e l’esistenza di Dio

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