Matematica28 video trovati
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.
