La logica 17. Il teorema di incompletezza di Gödel

[@ACETOakaBELTA]

Guardo questo video ogni volta che sto a letto con la febbre ...non so perché proprio questo, ma oramai sono anni e tant'è, mi sdraio e ascolto la voce di Odifreddi che mi coccola 🤷‍♂️😅

[@mark6491]

anchio riesco ad essere piu concentrato quando sono a letto mezzo malato.. assurdo

[@Stendle]

L'avrò ascoltata almeno 5 volte. E ogni volta la trovo ugualmente interessante, seppur già nota.

[@wikipiano3799]

Io lho ascoltato 5 volte perché non ci ho capito niente 😁

[@Stendle]

@@wikipiano3799 ma come... 😁

[@goertzpsychiatry9340]

kzbin.info/www/bejne/rKC6q5V_epuNiNU

[@FantaClown]

@@wikipiano3799 Pure io...

[@JackT13]

Questo è molto buono per praticare il mio italiano perché unisce i miei interessi matematici con questa bellissima lingua Grazie

[@alfredoimbellone5303]

[00:26] come Godel dimostrò il teorema di incompletezza? [01:48] quali sono gli enunciati dei teoremi di incompletezza? [03:44] primo teorema di incompletezza [04:03] secondo teorema di incompletezza [05:08] l’importanza del primo teorema di Godel per gli sviluppi della logica [06:08] l’importanza del secondo teorema di Godel per gli sviluppi della logica [06:55] la lista dei problemi aperti della matematica di Hilbert [07:59] il problema della consistenza dell’aritmetica [08:57] le origini del problema della consistenza: Euclide [10:51] il quinto assioma di Euclide: l’assioma delle parallele [14:07] Gerolamo Saccheri, la negazione dell’assioma delle parallele e le sue conseguenze [15:45] i quadrilateri di Saccheri [17:05] la somma angolare dei triangoli [18:15] la geometria iperbolica [19:35] ipotesi di Eugenio Beltrami [22:10] il problema della consistenza della geometria euclidea: la crisi dei fondamenti [23:11] la reazione dei matematici riguardo la consistenza dell’aritmetica

[@eneaxy]

Un discorso molto consistente

[@giusepperiviera4776]

molto ben spiegato ,grazie professore

[@vittoriopatricia7919]

Il signor odifreddi?un grande.👍

[@_Alieno_]

Ma si, non l'ho per capito 35 volte, facciamo 36 dai

[@alexveri4166]

ma no, tranquillo, Godel non si studia a parole...e nemmeno la Matematica.

[@ilguqindicasalecchio2991]

Qui lo spiega per davvero : kzbin.info/www/bejne/qGeplXeXmcuagJY

[@FantaClown]

E' incredibile...Non ci ho Capito Nulla di Cio' che il Professore ha Enunciato....

[@francescodamele5226]

26 minuti di parole eccezionali e meravigliose . Eccezionale Piergiorgio Odifreddi

[@renzobarnart6083]

OK. Solo un'sservazione linguistica. Quando studiai matematica (anni 70) per indicare la non contraddittorietà si usava il termine "coerenza" e non "consistenza". Questo è un anglicismo che si è diffuso negli ultimi 25-30 anni e che viene usato non solo in matematica ma ovunque nella scienza. Non che sia un reato, ma non vi è ragione di adottare termini inglesi quando già ne esistono in italiano e sono persino più precisi. "Consistente" ha una sfumatura quasi depistante. Allo stesso modo le 'prove' sono diventate le "evidenze", così come i rischi prima 'si correvano' adesso "si prendono" ... Povero Dante...

[@francescosammartino4685]

@@matteosavoldi6936 La DC é disseminata di altissima poesia che sempre mi riempie il cuore di meraviglia. Preciso che non sono credente.

[@francescosammartino4685]

@@matteosavoldi6936 La DC é disseminata di altissima poesia che sempre mi riempie il cuore di meraviglia. Preciso che non sono credente.

[@vitovittucci9801]

E per una misura si parla di intevallo di confidenza invece che di fiducia..

[@pierovannuccini937]

@@francescosammartino4685 sì, e oltre alla poesia a saperle leggere ci sono metafore strabilianti sulla fisica e concetto di spazio e di dimensioni. Se non sei credente questo ti interesserà meno, ma ci sono anche visioni psicospirituali e teologiche di tutto rispetto e per quel secolo francamente eretiche.

[@benderbender988]

Gentzen's consistency proof

[@cristianbalducci4662]

quello che dice alla ine della fiera e che la matematica ha qualcosa che non va... che non torna

[@valterm.5669]

A quando un video sul problema dei generali bizantini e dei sistemi distribuiti :)))

[@giulio_capone]

180 gradi in radianti è pi greco, non 2 pi greco

[@CaravaggioRoma]

Con tutto il rispetto, odifreddi spiega malissimo. cercatevi un video su KZbin alternativo

[@SalvatoreAntoine]

Questo ragazzo lo spiega meglio, in pratica Odifreddi non fa capire una mazza! kzbin.info/www/bejne/qGeplXeXmcuagJY

[@CamataEmanuele]

2021.10.11 L

[@fullcompositionalcoaching]

Se ci sono verità che sono tali ma sono indimostrabili, che cos'è l'ateismo?

[@michigervasi7856]

In che senso?

[@fullcompositionalcoaching]

@@michigervasi7856 nel senso che non si può dimostrare che Dio non esista. Dio può esistere al di là della possibilità o meno di dimostrarne l'esistenza.

[@michigervasi7856]

si ma infatti anche l'ateismo è un po' un atto di fede

[@fullcompositionalcoaching]

@@michigervasi7856 kzbin.info/www/bejne/jmTbnqOrgNR9iKs

[@carloparacelso6119]

A quando un video su l'acqua calda che cura il cancro ?

[@carloparacelso6119]

@@matteosavoldi6936 il mio nome scritto vale meno di un suo peto, non si affanni !

[@carloparacelso6119]

@@matteosavoldi6936 felice per asserle stato utile.

[@matteocicaloni]

Ehilà cretinetti, Ehilà..

[@nicolettabozzi9752]

Il signor Odifreddi? IL SIGNOR NESSUNO capre che lo venerate come un Dio

[@michelewasef]

Credo che sia lei la capra, perché un è un articolo indeterminativo, non può ammettere un nome proprio, ma poi, cosa capre? Tu vieni qui ad insultare a cazzo?😂Dice più su di te che sugli altri

[@matteocicaloni]

Vergognati, maledetto

[@dialmformurder9071]

me misero: non c'ho capito assolutamente nulla

[@ilguqindicasalecchio2991]

Qui lo spiega per davvero : kzbin.info/www/bejne/qGeplXeXmcuagJY

[@FantaClown]

Tranqui ragazzo,non sei solo....