www.uninettunouniversity.net   seguici su facebook

Benvenuto su UNINETTUNO.tv la web tv della Universita' Telematica Internazionale UNINETTUNO
Uno strumento libero creato per diffondere cultura e democratizzare l'accesso al sapere
I piu' visti 1279 video trovati
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
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
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 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
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 conclusiva in cui si discute sull’aspetto della logica matematica come fondamento della matematica.
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
Copyright © 2011 Università Telematica Internazionale UNINETTUNO. Tutti i diritti riservati.