Lezione conclusiva in cui si discute sull’aspetto della logica matematica come fondamento della matematica. --- Send in a voice message: https://podcasters.spotify.com/pod/show/vito-rodolfo-albano7/message
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. --- Send in a voice message: https://podcasters.spotify.com/pod/show/vito-rodolfo-albano7/message
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. --- Send in a voice message: https://podcasters.spotify.com/pod/show/vito-rodolfo-albano7/message
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. --- Send in a voice message: https://podcasters.spotify.com/pod/show/vito-rodolfo-albano7/message
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. --- Send in a voice message: https://podcasters.spotify.com/pod/show/vito-rodolfo-albano7/message
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. --- Send in a voice message: https://podcasters.spotify.com/pod/show/vito-rodolfo-albano7/message
Questa lezione è dedicata all’analisi della figura dell’olandese Luitzen Brouwer divenuto leader del movimento dell’intuizionismo basato sulla filosofia Kantiana. --- Send in a voice message: https://podcasters.spotify.com/pod/show/vito-rodolfo-albano7/message
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. --- Send in a voice message: https://podcasters.spotify.com/pod/show/vito-rodolfo-albano7/message
Questa nuova lezione è dedicata all’analisi della figura del logico e noto filosofo austriaco Ludwig Wittgenstein allievo di Bertrand Russell. --- Send in a voice message: https://podcasters.spotify.com/pod/show/vito-rodolfo-albano7/message
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" . --- Send in a voice message: https://podcasters.spotify.com/pod/show/vito-rodolfo-albano7/message
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”. --- Send in a voice message: https://podcasters.spotify.com/pod/show/vito-rodolfo-albano7/message
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. --- Send in a voice message: https://podcasters.spotify.com/pod/show/vito-rodolfo-albano7/message
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. --- Send in a voice message: https://podcasters.spotify.com/pod/show/vito-rodolfo-albano7/message
Questa lezione chiude il periodo arcaico della logica matematica, il periodo greco. Partendo dal famoso dipinto di Raffaello “La scuola di Atene” si parlerà della terza delle tre scuole di Atene. Dopo l’ Accademia fondata da Platone, il Liceo fondato da Aristotele Odifreddi dedica questo incontro alla conoscenza della “Stoa” fondata da Zenone di Cipro. --- Send in a voice message: https://podcasters.spotify.com/pod/show/vito-rodolfo-albano7/message
In questa lezione, viene esaminata dal prof. Odifreddi la figura di Aristotele, il più grande logico di tutti i tempi. --- Send in a voice message: https://podcasters.spotify.com/pod/show/vito-rodolfo-albano7/message
In questo nuovo incontro vengono approfonditi gli aspetti matematici della filosofia di Platone, primo grande filosofo delle Grecia, che aveva una concezione della filosofia come matematica. --- Send in a voice message: https://podcasters.spotify.com/pod/show/vito-rodolfo-albano7/message
Il Prof. Odifreddi in questa quarta lezione ci introduce sempre di più nel mondo della matematica parlando dell’influsso di uno dei più grandi matematici della storia “Pitagora”. --- Send in a voice message: https://podcasters.spotify.com/pod/show/vito-rodolfo-albano7/message
Questa terza lezione è dedicata ad uno dei famosi paradossi di Zenone “Achille e la Tartaruga”. --- Send in a voice message: https://podcasters.spotify.com/pod/show/vito-rodolfo-albano7/message
Seconda lezione di logica matematica del Prof. Piergiorgio Odifreddi dedicata al paradosso del mentitore. “Il naso di Pinocchio” titolo della lezione scelto come simbolo della menzogna. --- Send in a voice message: https://podcasters.spotify.com/pod/show/vito-rodolfo-albano7/message
Nella primavera del 2000 Odifreddi ha registrato per il Consorzio Interuniversitario Nettuno un corso di Logica Matematica in 20 videolezioni di 40 minuti l’una, trasmesse molte volte nel corso degli anni da RaiSatNettuno. Oggi pubblichiamo la "Lezione introduttiva" del Prof. Piergiorgio Odifreddi, la prima di questo ciclo di prestigiose lezioni dedicate alla logica matematica, partendo dalla logica, ovvero dalla scienza del ragionamento. --- Send in a voice message: https://podcasters.spotify.com/pod/show/vito-rodolfo-albano7/message