Autore:
Prof. Piergiorgio Odifreddi
Se le precedenti lezioni hanno esaminato l’influsso dei filosofi sulla logica matematica in questo e nel prossimo incontro l’attenzione viene rivolta su due grandi matematici che hanno lasciato il loro segno nella matematica del 900 ma anche nella logica matematica: il tedesco David Hilbert associato alla corrente del formalismo e di cui si parlerà in questa lezione e l' olandese Luitzen Brouwer.
Autore:
Prof. Piergiorgio Odifreddi
Questa lezione è dedicata all’analisi della figura dell ’olandese Luitzen Brouwer divenuto leader del movimento dell’ intuizionismo basato sulla filosofia Kantiana
Autore:
Prof. Piergiorgio Odifreddi
Questa lezione inizierà ad approfondire la figura del matematico austriaco Kurt Gödel attraverso la sua vita e le sue opere accennando al teorema di Gödel . Noto soprattutto per i suoi lavori sull'incompletezza delle teorie matematiche è ritenuto uno dei maggiori logici di tutti i tempi insieme ad Aristotele, le sue ricerche ebbero un significativo impatto, oltre che sul pensiero matematico e informatico, anche sul pensiero filosofico del XX secolo.
Autore:
Prof. Piergiorgio Odifreddi
Seconda lezione dedicata alla figura di Kurt Gödel dove viene approfondito il “teorema di Gödel” cercando di spiegare che cosa dice veramente e successivamente scavando nei meccanismi che regolano il teorema.
Autore:
Prof. Piergiorgio Odifreddi
Lezione dedicata al “problema della verità” che introduce la figura di Alfred Tarski altro importante pilastro della logica matematica considerato il risolutore del paradosso del mentitore.
Autore:
Prof. Piergiorgio Odifreddi
Ultima lezione dedicata all’analisi dei personaggi della logica. Viene approfondita la figura dei personaggi più interessanti della logica matematica Alan Turing matematico, logico e filosofo britannico, considerato uno dei padri dell'informatica e uno dei più grandi matematici del XX secolo
Autore:
Prof. Piergiorgio Odifreddi
Questa lezione analizza ciò che succede oggi nella logica. La lezione è divisa nelle 4 parti in cui viene oggi divisa la logica: Teoria dei modelli, teoria della dimostrazione, teoria della ricorsività teoria degli insiemi.
Autore:
Prof. Piergiorgio Odifreddi
Lezione conclusiva in cui si discute sull’aspetto della logica matematica come fondamento della matematica.
