{"id":7822,"date":"2026-05-27T22:01:58","date_gmt":"2026-05-27T19:01:58","guid":{"rendered":"https:\/\/www.schooler.org.ua\/uk-uamatematichnij-dokaz-u-bud-jakij-sistemi-ye-dirki-ru\/"},"modified":"2026-05-27T22:01:58","modified_gmt":"2026-05-27T19:01:58","slug":"uk-uamatematichnij-dokaz-u-bud-jakij-sistemi-ye-dirki-ru","status":"publish","type":"post","link":"https:\/\/www.schooler.org.ua\/it\/uk-uamatematichnij-dokaz-u-bud-jakij-sistemi-ye-dirki-ru\/","title":{"rendered":"La prova matematica che ogni cosa ha un buco"},"content":{"rendered":"

I miei colleghi mi chiedono aiuto con i numeri. Conosco la matematica, presumono. L’ironia della sorte \u00e8 che faccio schifo in aritmetica mentale. <\/p>\n

Le persone sbagliano i calcoli. Pensano che siano somme veloci, sottrazioni fatte a mente mentre compri il caff\u00e8. No. La vera matematica riguarda la costruzione di mondi<\/em>. <\/p>\n

Il mito della fondazione<\/h3>\n

Inizi con le regole. Assiomi. Verit\u00e0 fondamentali su cui sei d’accordo solo cos\u00ec il gioco pu\u00f2 iniziare. Da l\u00ec, accumuli cose. Gli insiemi diventano numeri, i numeri diventano funzioni, le funzioni si trasformano in geometria. Tutto poggia su quel piano iniziale. <\/p>\n

Per molto tempo i matematici hanno giocato un pericoloso gioco di equilibrio. Volevano meno regole possibili, ma sufficienti per descrivere l’universo moderno. E quelle regole dovevano sembrare giuste<\/em>. Intuitivo. Come dire “esiste un insieme vuoto”. Ha semplicemente senso. <\/p>\n

Nel 1900 tutti scelsero ZFC. Teoria degli insiemi di Zermelo-Fraen con scelta. Nove regole. Questo \u00e8 tutto. Quello era il fondamento. <\/p>\n

O almeno cos\u00ec pensavano. <\/p>\n

G\u00f6del rompe tutto<\/h3>\n

I matematici amavano le loro fondamenta. Sognavano un sistema che fosse due cose contemporaneamente: <\/p>\n

    \n
  1. Completo.<\/strong> Ogni verit\u00e0 pu\u00f2 essere dimostrata. <\/li>\n
  2. Coerente.<\/strong> Non sono ammesse contraddizioni. <\/li>\n<\/ol>\n

    Arriva il 1931. Entra Kurt G\u00f6del. Venticinque anni. Lancia una bomba che spacca le fondamenta. <\/p>\n

    Il suo primo teorema di incompletezza \u00e8 brutale. Dice che in qualsiasi sistema forte e coerente ci sono affermazioni che non possono essere dimostrate vere o false. Periodo. Poi arriva il Secondo Teorema. Ancora peggio. Il sistema non pu\u00f2 dimostrare che sia coerente. <\/p>\n

    Sembra accademico, certo. Roba di logica astratta. I suoi colleghi speravano che fosse una stranezza. Uno strano errore teorico senza denti. Si sbagliavano. <\/p>\n

    \n

    G\u00f6del ha dimostrato che la certezza ha un limite. Non puoi sapere tutto, anche all’interno delle regole che hai stabilito. <\/p>\n<\/blockquote>\n

    Prendi il sistema ZFC stesso. \u00c8 pieno di cose non dimostrabili. L\u2019ipotesi del continuo \u00e8 quella pi\u00f9 importante. Esiste un infinito tra numeri interi e numeri reali? Non lo sappiamo. E non potremo mai dimostrarlo, utilizzando i nostri strumenti attuali. La domanda… resta l\u00ec. <\/p>\n

    Irrisolto. Anche irrisolvibile. <\/p>\n

    Quindi s\u00ec, puoi costruire mondi partendo da assiomi. Puoi passare da insiemi semplici a topologie complesse. Ma la struttura ha dei buchi. Punti ciechi incorporati dove si nasconde la verit\u00e0, per sempre fuori portata. <\/p>\n

    Perch\u00e9 la mente brama il completamento se il completamento \u00e8 impossibile?<\/p>\n","protected":false},"excerpt":{"rendered":"

    I miei colleghi mi chiedono aiuto con i numeri. Conosco la matematica, presumono. L’ironia della sorte \u00e8 che faccio schifo in aritmetica mentale. Le persone sbagliano i calcoli. Pensano che siano somme veloci, sottrazioni fatte a mente mentre compri il caff\u00e8. No. La vera matematica riguarda la costruzione di mondi. Il mito della fondazione Inizi […]<\/p>\n","protected":false},"author":1,"featured_media":7821,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"tdm_status":"","tdm_grid_status":""},"categories":[1],"tags":[],"amp_enabled":true,"_links":{"self":[{"href":"https:\/\/www.schooler.org.ua\/it\/wp-json\/wp\/v2\/posts\/7822"}],"collection":[{"href":"https:\/\/www.schooler.org.ua\/it\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.schooler.org.ua\/it\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.schooler.org.ua\/it\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.schooler.org.ua\/it\/wp-json\/wp\/v2\/comments?post=7822"}],"version-history":[{"count":0,"href":"https:\/\/www.schooler.org.ua\/it\/wp-json\/wp\/v2\/posts\/7822\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.schooler.org.ua\/it\/wp-json\/wp\/v2\/media\/7821"}],"wp:attachment":[{"href":"https:\/\/www.schooler.org.ua\/it\/wp-json\/wp\/v2\/media?parent=7822"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.schooler.org.ua\/it\/wp-json\/wp\/v2\/categories?post=7822"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.schooler.org.ua\/it\/wp-json\/wp\/v2\/tags?post=7822"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}