La Logica ha dei Limiti?

Il 7 settembre del 1930, il 24-enne Kurt Gödel, matematico e logico austriaco, durante la Seconda Conferenza sull'Epistemologia delle Scienze esatte organizzata a Königsberg, espone il suo primo risultato sull'incompletezza di un particolare sistema formale matematico noto con il nome di Principia Mathematica (PM). L'esistenza di proposizioni indecibili è un risultato significativo, in quanto dimostra formalmente la differenza tra il concetto di dimostrazione formale ed il concetto di verità matematica. Gödel ha dimostrato che in contesti non banali della matematica, esistono proposizioni il cui valore di verità (vero o falso) non può essere dimostrato all'interno di un sistema formale. Negli anni, i Teoremi di Incomplezza di Gödel sono riusciti a penetrare la sfera sociale più generale, e hanno acquisito un certo livello di popolarità. L'obiettivo di questa serie di video è far capire in profondità quali sono stati i contributi di Gödel al mondo della logica-matematica e dell'informatica. Sforzandosi nel capire l'incompletezza di Gödel si finisce nel comprendere meglio che cosa si intende esattamente per ragionamento formale. Questa conoscenza è fondamentale in tanti campi, tra cui in particolare la matematica e l'informatica. Questo primo video è un'introduzione alla serie. ------------------------- TIMESTAMP 00:00 Introduzione 00:40 Il primo Teorema di Incomplezza di Gödel 10:14 La differenza tra Dimostrabilità e Verità 13:40 Proposizioni Indecidibili 15:31 Sulla Completezza dei Sistemi Formali 17:40 John Von Neumann 18:10 Il secondo Teorema di Incomplezza di Gödel 22:50 Sulla Coerenza dei Sistemi Formali 25:45 La nascita dell'Informatica 29:47 Perché ha senso studiare queste cose? 34:20 Una sorprendente popolarità 36:30 Riferimenti 38:46 Conclusione ------------------------- RIFERIMENTI - Material: https://github.com/LeonardoE95/yt-it/tree/main/src/2024-07-05-matematica-teoremi-di-incompletezza-i-limiti-della-logica - Gödel, Escher, Bach: un'eterna ghirlanda brillante, Douglas Hofstadter - Tutti pazzi per Gödel! La guida completa al teorema di incompletezza, Francesco Berto. - Il Sentiero dei Problemi Impossibili, Miriam di Ianni. ------------------------- CONTATTI - Blog: https://blog.leonardotamiano.xyz/ - Github: https://github.com/LeonardoE95?tab=repositories - Support: https://www.paypal.com/donate/?hosted_button_id=T49GUPRXALYTQ