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/...
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=re...
Support: https://www.paypal.com/donate/?hosted...