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

Ғылым және технология

Пікірлер: 42

  • @ACETOakaBELTA
    @ACETOakaBELTA5 ай бұрын

    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

    @mark6491

    22 күн бұрын

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

  • @alfredoimbellone5303
    @alfredoimbellone53032 жыл бұрын

    [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

  • @Stendle
    @Stendle2 жыл бұрын

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

  • @wikipiano3799

    @wikipiano3799

    2 жыл бұрын

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

  • @Stendle

    @Stendle

    2 жыл бұрын

    @@wikipiano3799 ma come... 😁

  • @goertzpsychiatry9340

    @goertzpsychiatry9340

    2 жыл бұрын

    kzread.info/dash/bejne/qKOL3MSCdZnAgtY.html

  • @FantaClown

    @FantaClown

    3 ай бұрын

    @@wikipiano3799 Pure io...

  • @eneaxy
    @eneaxy2 жыл бұрын

    Un discorso molto consistente

  • @giusepperiviera4776
    @giusepperiviera47762 жыл бұрын

    molto ben spiegato ,grazie professore

  • @vittoriopatricia7919
    @vittoriopatricia79192 жыл бұрын

    Il signor odifreddi?un grande.👍

  • @_Alieno_
    @_Alieno_2 жыл бұрын

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

  • @alexveri4166

    @alexveri4166

    2 жыл бұрын

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

  • @ilguqindicasalecchio2991

    @ilguqindicasalecchio2991

    Жыл бұрын

    Qui lo spiega per davvero : kzread.info/dash/bejne/pGp6xqaalMnNepc.html

  • @benderbender988
    @benderbender988 Жыл бұрын

    Gentzen's consistency proof

  • @FantaClown
    @FantaClown3 ай бұрын

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

  • @renzobarnart6083
    @renzobarnart60832 жыл бұрын

    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

    @francescosammartino4685

    2 жыл бұрын

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

  • @francescosammartino4685

    @francescosammartino4685

    2 жыл бұрын

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

  • @vitovittucci9801

    @vitovittucci9801

    2 жыл бұрын

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

  • @pierovannuccini937

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

  • @cristianbalducci4662
    @cristianbalducci4662 Жыл бұрын

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

  • @francescodamele5226
    @francescodamele52262 жыл бұрын

    26 minuti di parole eccezionali e meravigliose . Eccezionale Piergiorgio Odifreddi

  • @CamataEmanuele
    @CamataEmanuele2 жыл бұрын

    2021.10.11 L

  • @dialmformurder9071
    @dialmformurder90712 жыл бұрын

    me misero: non c'ho capito assolutamente nulla

  • @ilguqindicasalecchio2991

    @ilguqindicasalecchio2991

    Жыл бұрын

    Qui lo spiega per davvero : kzread.info/dash/bejne/pGp6xqaalMnNepc.html

  • @FantaClown

    @FantaClown

    3 ай бұрын

    Tranqui ragazzo,non sei solo....

  • @valterm.5669
    @valterm.56692 жыл бұрын

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

  • @giu_capone
    @giu_capone8 ай бұрын

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

  • @SalvatoreAntoine
    @SalvatoreAntoine2 жыл бұрын

    Questo ragazzo lo spiega meglio, in pratica Odifreddi non fa capire una mazza! kzread.info/dash/bejne/pGp6xqaalMnNepc.html

  • @carloparacelso6119
    @carloparacelso61192 жыл бұрын

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

  • @carloparacelso6119

    @carloparacelso6119

    2 жыл бұрын

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

  • @carloparacelso6119

    @carloparacelso6119

    2 жыл бұрын

    @@matteosavoldi6936 felice per asserle stato utile.

  • @matteocicaloni

    @matteocicaloni

    Жыл бұрын

    Ehilà cretinetti, Ehilà..

  • @fullcompositionalcoaching
    @fullcompositionalcoaching Жыл бұрын

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

  • @michigervasi7856

    @michigervasi7856

    Жыл бұрын

    In che senso?

  • @fullcompositionalcoaching

    @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

    @michigervasi7856

    Жыл бұрын

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

  • @fullcompositionalcoaching

    @fullcompositionalcoaching

    Жыл бұрын

    @@michigervasi7856 kzread.info/dash/bejne/imesz9Kue9Kwgqw.html

  • @nicolettabozzi9752
    @nicolettabozzi97522 жыл бұрын

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

  • @michelewasef

    @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

    @matteocicaloni

    Жыл бұрын

    Vergognati, maledetto

Келесі