Autore:
Prof. Piergiorgio Odifreddi
Con questa lezione iniziamo a conoscere i più grandi logici matematici che hanno segnato con il loro nome la storia di questa materia. Il primo di questi personaggi è l'inglese George Boole, che ha portato nella logica l'aspetto del calcolo
Autore:
Prof. Piergiorgio Odifreddi
Lezione 10: In questa lezione si parla del tedesco Frege che ha fatto conoscere al mondo contemporaneo la distinzione tra senso e significato. I suoi contributi, dei quali il prof. Odifreddi tratterà, sono contenuti nelle sue tre opere principali “Ideografia”, “Fondamenti dell’Aritmetica”, “Principi dell’aritmetica”
Autore:
Prof. Piergiorgio Odifreddi
Una lezione dedicata ad uno dei personaggi più interessanti della logica matematica Bertrand Russell, famoso non solo per aver ricevuto il premio Nobel per la letteratura nel 1950, ma anche per il paradosso di Russell "L'insieme di tutti gli insiemi che non appartengono a se stessi appartiene a se stesso se e solo se non appartiene a se stesso"
Autore:
Prof. Piergiorgio Odifreddi
Questa nuova lezione è dedicata all’analisi della figura del logico e noto filosofo austriaco Ludwig Wittgenstein allievo di Bertrand Russell.
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.
