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

Sdílet
Vložit

Komentáře • 41

  • @ACETOakaBELTA
    @ACETOakaBELTA Před 4 měsíci +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 🤷‍♂️😅

  • @alfredoimbellone5303
    @alfredoimbellone5303 Před 2 lety +10

    [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
    @Stendle Před 2 lety +9

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

    • @wikipiano3799
      @wikipiano3799 Před 2 lety +1

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

    • @Stendle
      @Stendle Před 2 lety

      @@wikipiano3799 ma come... 😁

    • @goertzpsychiatry9340
      @goertzpsychiatry9340 Před 2 lety

      czcams.com/video/voWzbIE6ZRs/video.html

    • @FantaClown
      @FantaClown Před 2 měsíci

      @@wikipiano3799 Pure io...

  • @eneaxy
    @eneaxy Před 2 lety +6

    Un discorso molto consistente

  • @giusepperiviera4776
    @giusepperiviera4776 Před 2 lety +3

    molto ben spiegato ,grazie professore

  • @vittoriopatricia7919
    @vittoriopatricia7919 Před 2 lety +2

    Il signor odifreddi?un grande.👍

  • @FantaClown
    @FantaClown Před 2 měsíci

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

  • @_Alieno_
    @_Alieno_ Před 2 lety +8

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

    • @alexveri4166
      @alexveri4166 Před 2 lety

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

    • @ilguqindicasalecchio2991
      @ilguqindicasalecchio2991 Před rokem

      Qui lo spiega per davvero : czcams.com/video/r6FdDadfgJ4/video.html

  • @benderbender988
    @benderbender988 Před rokem

    Gentzen's consistency proof

  • @renzobarnart6083
    @renzobarnart6083 Před 2 lety +14

    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 Před 2 lety +1

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

    • @francescosammartino4685
      @francescosammartino4685 Před 2 lety

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

    • @vitovittucci9801
      @vitovittucci9801 Před 2 lety +1

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

    • @pierovannuccini937
      @pierovannuccini937 Před 2 lety

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

  • @francescodamele5226
    @francescodamele5226 Před 2 lety

    26 minuti di parole eccezionali e meravigliose . Eccezionale Piergiorgio Odifreddi

  • @cristianbalducci4662
    @cristianbalducci4662 Před rokem +1

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

  • @valterm.5669
    @valterm.5669 Před 2 lety +1

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

  • @dialmformurder9071
    @dialmformurder9071 Před 2 lety +4

    me misero: non c'ho capito assolutamente nulla

  • @CamataEmanuele
    @CamataEmanuele Před 2 lety

    2021.10.11 L

  • @giu_capone
    @giu_capone Před 7 měsíci

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

  • @SalvatoreAntoine
    @SalvatoreAntoine Před 2 lety +2

    Questo ragazzo lo spiega meglio, in pratica Odifreddi non fa capire una mazza!
    czcams.com/video/r6FdDadfgJ4/video.html

  • @fullcompositionalcoaching

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

  • @carloparacelso6119
    @carloparacelso6119 Před 2 lety +1

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

  • @nicolettabozzi9752
    @nicolettabozzi9752 Před 2 lety

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

    • @michelewasef
      @michelewasef Před 2 lety

      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 Před rokem

      Vergognati, maledetto