Autore:
Prof. Piergiorgio Odifreddi
In questa lezione viene analizzato cosa è stato fatto nell’ambito della logica matematica nel periodo “intermedio” tra i greci, di cui si è trattato nelle precedenti lezioni e i moderni di cui si inizierà a parlare dal prossimo incontro.
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
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
Lezione conclusiva in cui si discute sull’aspetto della logica matematica come fondamento della matematica.
Autore:
Prof. Piergiorgio Odifreddi
Lezione introduttiva del Prof. Piergiorgio Odifreddi di un ciclo di prestigiose lezioni dedicate alla logica matematica, partendo dalla logica, ovvero dalla scienza del ragionamento.
Autore:
Prof. Piergiorgio Odifreddi
In questa lezione, viene esaminata dal prof. Odifreddi la figura di Aristotele, il più grande logico di tutti i tempi.
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
Il Prof. Odifreddi in questa lezione ci introduce sempre di più nel mondo della matematica parlando dell’influsso di uno dei più grandi matematici della storia “Pitagora”.
