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

Поделиться
HTML-код
  • Опубликовано: 30 июл 2024
  • НаукаНаука

Комментарии • 42

  • @ACETOakaBELTA
    @ACETOakaBELTA 5 месяцев назад +5

    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 Месяц назад

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

  • @alfredoimbellone5303
    @alfredoimbellone5303 2 года назад +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

  • @eneaxy
    @eneaxy 2 года назад +8

    Un discorso molto consistente

  • @Stendle
    @Stendle 2 года назад +10

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

    • @wikipiano3799
      @wikipiano3799 2 года назад +1

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

    • @Stendle
      @Stendle 2 года назад

      @@wikipiano3799 ma come... 😁

    • @goertzpsychiatry9340
      @goertzpsychiatry9340 2 года назад

      ruclips.net/video/voWzbIE6ZRs/видео.html

    • @FantaClown
      @FantaClown 4 месяца назад

      @@wikipiano3799 Pure io...

  • @giusepperiviera4776
    @giusepperiviera4776 2 года назад +3

    molto ben spiegato ,grazie professore

  • @vittoriopatricia7919
    @vittoriopatricia7919 2 года назад +2

    Il signor odifreddi?un grande.👍

  • @FantaClown
    @FantaClown 4 месяца назад

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

  • @francescodamele5226
    @francescodamele5226 2 года назад

    26 minuti di parole eccezionali e meravigliose . Eccezionale Piergiorgio Odifreddi

  • @benderbender988
    @benderbender988 Год назад

    Gentzen's consistency proof

  • @_Alieno_
    @_Alieno_ 2 года назад +8

    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 : ruclips.net/video/r6FdDadfgJ4/видео.html

  • @cristianbalducci4662
    @cristianbalducci4662 Год назад +1

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

  • @CamataEmanuele
    @CamataEmanuele 2 года назад

    2021.10.11 L

  • @renzobarnart6083
    @renzobarnart6083 2 года назад +15

    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 года назад +1

      @@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 года назад +1

      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.

  • @dialmformurder9071
    @dialmformurder9071 2 года назад +4

    me misero: non c'ho capito assolutamente nulla

    • @ilguqindicasalecchio2991
      @ilguqindicasalecchio2991 Год назад

      Qui lo spiega per davvero : ruclips.net/video/r6FdDadfgJ4/видео.html

    • @FantaClown
      @FantaClown 4 месяца назад

      Tranqui ragazzo,non sei solo....

  • @valterm.5669
    @valterm.5669 2 года назад +1

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

  • @giu_capone
    @giu_capone 9 месяцев назад

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

  • @SalvatoreAntoine
    @SalvatoreAntoine 2 года назад +2

    Questo ragazzo lo spiega meglio, in pratica Odifreddi non fa capire una mazza!
    ruclips.net/video/r6FdDadfgJ4/видео.html

  • @fullcompositionalcoaching
    @fullcompositionalcoaching 2 года назад

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

    • @michigervasi7856
      @michigervasi7856 Год назад

      In che senso?

    • @fullcompositionalcoaching
      @fullcompositionalcoaching Год назад +1

      @@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 Год назад +1

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

    • @fullcompositionalcoaching
      @fullcompositionalcoaching Год назад

      @@michigervasi7856 ruclips.net/video/X3xmpuKoJRI/видео.html

  • @carloparacelso6119
    @carloparacelso6119 2 года назад +1

    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 2 года назад

      Ehilà cretinetti, Ehilà..

  • @nicolettabozzi9752
    @nicolettabozzi9752 2 года назад

    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 2 года назад

      Vergognati, maledetto