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

Рет қаралды 31,449

Күн бұрын

Пікірлер: 42

@ACETOakaBELTA 4 ай бұрын

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 17 күн бұрын

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

@alfredoimbellone5303 2 жыл бұрын

[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 2 жыл бұрын

Un discorso molto consistente

@Stendle 2 жыл бұрын

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

@wikipiano3799 2 жыл бұрын

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

@Stendle 2 жыл бұрын

@@wikipiano3799 ma come... 😁

@goertzpsychiatry9340 2 жыл бұрын

kzfaq.info/get/bejne/rNWHrcV6qpy-gqc.html

@FantaClown 3 ай бұрын

@@wikipiano3799 Pure io...

@giusepperiviera4776 2 жыл бұрын

molto ben spiegato ,grazie professore

@vittoriopatricia7919 2 жыл бұрын

Il signor odifreddi?un grande.👍

@_Alieno_ 2 жыл бұрын

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

@alexveri4166 2 жыл бұрын

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

@ilguqindicasalecchio2991 Жыл бұрын

Qui lo spiega per davvero : kzfaq.info/get/bejne/qJx2l6eSyczLemg.html

@renzobarnart6083 2 жыл бұрын

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 2 жыл бұрын

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

@francescosammartino4685 2 жыл бұрын

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

@vitovittucci9801 2 жыл бұрын

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

@pierovannuccini937 2 жыл бұрын

@@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

@FantaClown 3 ай бұрын

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

@francescodamele5226 2 жыл бұрын

26 minuti di parole eccezionali e meravigliose . Eccezionale Piergiorgio Odifreddi

@cristianbalducci4662 Жыл бұрын

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

@dialmformurder9071 2 жыл бұрын

me misero: non c'ho capito assolutamente nulla

@ilguqindicasalecchio2991 Жыл бұрын

Qui lo spiega per davvero : kzfaq.info/get/bejne/qJx2l6eSyczLemg.html

@FantaClown 3 ай бұрын

Tranqui ragazzo,non sei solo....

@CamataEmanuele 2 жыл бұрын

2021.10.11 L

@valterm.5669 2 жыл бұрын

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

@giu_capone 8 ай бұрын

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

@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 kzfaq.info/get/bejne/jpmooNOmsNWugn0.html

@SalvatoreAntoine 2 жыл бұрын

Questo ragazzo lo spiega meglio, in pratica Odifreddi non fa capire una mazza! kzfaq.info/get/bejne/qJx2l6eSyczLemg.html

@carloparacelso6119 2 жыл бұрын

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

@carloparacelso6119 2 жыл бұрын

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

@carloparacelso6119 2 жыл бұрын

@@matteosavoldi6936 felice per asserle stato utile.

@matteocicaloni Жыл бұрын

Ehilà cretinetti, Ehilà..

@nicolettabozzi9752 2 жыл бұрын

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

@michelewasef 2 жыл бұрын

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