{"id":2481,"date":"2012-02-23T15:47:45","date_gmt":"2012-02-23T14:47:45","guid":{"rendered":"https:\/\/xmau.com\/wp\/ilpost\/?p=2481"},"modified":"2022-10-11T10:35:14","modified_gmt":"2022-10-11T08:35:14","slug":"quando-i-matematici-sbagliano","status":"publish","type":"post","link":"https:\/\/xmau.com\/ilpost\/2012\/02\/23\/quando-i-matematici-sbagliano\/","title":{"rendered":"Quando i matematici sbagliano"},"content":{"rendered":"

A quanto pare i neutrini non vanno pi\u00f9 veloci della luce: o perlomeno dal Cern hanno appena comunicato<\/a> che nelle misurazioni \u00abc’era un problema con il cavo in fibra ottica che connette il ricevitore gps usato per registrare i tempi di spostamento dei neutrini con una scheda nel computer\u00bb. Cose da non credere. Ma non penserete mica che i matematici siano immuni da questo tipo di errori? Macch\u00e9! La storia della matematica presenta tanti esempi di dimostrazioni che non lo erano affatto, o di assunzioni talmente tanto ovvie da risultare poi false. Non sto parlando delle fallacie che nascono apposta per “dimostrare” qualcosa di errato, come quelle che mostrano come 1=2 oppure che \u03c0 = 2<\/a>; e nemmeno delle congetture che poi si \u00e8 scoperto essere false, visto che la definizione stessa di congettura lascia spazio ai dubbi. No, intendo proprio teoremi la cui dimostrazione \u00e8 stata poi scoperta essere falsa; a volte si \u00e8 riusciti a metterci una pezza, altre volte no.<\/p>\n

Il caso pi\u00f9 eclatante, o almeno noto anche a chi matematico non \u00e8, \u00e8 forse quello dell’ultimo Teorema di Fermat. Pierre de Fermat aveva semplicemente affermato di avercela, una dimostrazione, ma visto che non l’ha scritta da nessuna parte in realt\u00e0 i matematici sono sempre partiti dall’ipotesi che il teorema fosse da dimostrare: ma quando nel 1993 Andrew Wiles pubblic\u00f2 la sua dimostrazione dovette poi riconoscere che c’era un errore, e passarono altri quindici mesi prima di trovare una nuova dimostrazione accettata dalla comunit\u00e0 matematica. Peggio ancora and\u00f2 con il teorema dei quattro colori<\/a>: le due dimostrazioni essenzialmente distinte di Kempe e Tait del 1879 e 1880 rispettivamente furono mostrate entrambe errate undici anni dopo, e si dovette aspettare fino al 1977 per una dimostrazione definitiva… almeno per chi accetta che sia un computer e non un umano a verificare un numero stratosferico di possibilit\u00e0. <\/p>\n

Neppure la geometria \u00e8 immune da tutto questo: pur riconoscendo che i matematici non hanno mai dato troppo peso all’affermazione di Girolamo Saccheri di aver vendicato Euclide da ogni macchia<\/a>, e quindi non considerando la creazione delle geometrie non euclidee come la conseguenza di avere trovato una dimostrazione errata, l’ottimo matematico ellenista si era comunque dimenticato qualcosa: ho gi\u00e0 raccontato<\/a> di come nel 1882 il matematico svizzero Moritz Pasch not\u00f2 che con i postulati euclidei non si era in grado di dimostrare che una retta che taglia un lato di un triangolo debba necessariamente tagliarne anche un altro, oppure passare per il vertice comune agli altri due lati. Duemila anni per accorgersi di un sistema assiomatico incompleto non sono affatto pochi, vero? \u00c8 andata meglio con l’analisi matematica, dove l’assunzione che una funzione continua fosse anche derivabile \u00e8 resistita solo per un centinaio di anni, prima di trovare controesempi sempre pi\u00f9 pazzi come il fiocco di neve di Koch che \u00e8 continua in tutti i suoi punti ma non \u00e8 derivabile in alcuno di essi. <\/p>\n

Tornando alla geometria, il problema di Malfatti<\/a> consiste nell’inscrivere tre cerchi in un triangolo in modo che abbiano l’area complessiva massima: la soluzione proposta nel 1803 da Gian Francesco Malfatti, vale a dire tre cerchi ognuno dei quali \u00e8 tangente a due lati diversi del triangolo e agli altri due cerchi, fu poi provata falsa in casi sempre nuovi fino a che nel 1967 Michael Goldberg ha dimostrato che era sempre<\/b> errata. Il problema di Kakeya<\/a>, trovare la figura di area minore all’interno della quale un segmento unitario poteva ruotare di 180 gradi, ha una soluzione abbastanza facile se si impone che la figura sia convessa: un triangolo equilatero di lato<\/s>altezza 1. Ma in generale si pu\u00f2 far di meglio, e si era “dimostrato” che una ipocicloide, una specie di triangolo con i lati concavi, era la superficie richiesta… fino a quando il matematico russo Besicovitch mostr\u00f2 che l’area poteva essere resa piccola a piacere! Per la precisione bisogn\u00f2 aspettare che Besicovitch emigrasse dalla Russia. Ai tempi non c’era ancora internet, cos\u00ec il giapponese Kakeya, il russo Besicovitch e i matematici europei, americani, indiani mica sapevano cosa facevano i loro colleghi!<\/p>\n

Ma allora la matematica \u00e8 tutta una bufala? Com’\u00e8 che si possono avere dimostrazioni errate senza che nessuno se ne accorga per mesi, per anni, per millenni? Beh, la risposta \u00e8 semplice. I matematici sono esseri umani, che quindi sbagliano come tutti. Una dimostrazione \u00e8 sempre un compromesso: non si pu\u00f2 pretendere di dedicare cento e pi\u00f9 pagine a dimostrare che 1+1=2, come fecero Russell e Whitehead nei Principia Mathematica<\/i>, e quindi il testo di una dimostrazione lascia sempre qualcosa al lettore. Il lettore stesso pu\u00f2 essere di bocca pi\u00f9 o meno buona: per me le “sketch of proof” che ogni tanto ho trovato erano assolutamente complete, ma credo di essere in minoranza. Tutto questo significa che pu\u00f2 sempre darsi il caso che prima o poi si scopra qualcosa che non va, e quindi bisogna rivedere le proprie certezze. Vediamo le cose dal lato positivo: anche la matematica non \u00e8 cos\u00ec disumana!<\/p>\n","protected":false},"excerpt":{"rendered":"

Perch\u00e9 preoccuparsi delle smentite in fisica? Persino in matematica una dimostrazione non \u00e8 sempre corretta.<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"default","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","ast-disable-related-posts":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"activitypub_content_warning":"","activitypub_content_visibility":"","activitypub_max_image_attachments":4,"activitypub_interaction_policy_quote":"anyone","activitypub_status":"","footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":true,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2},"jetpack_post_was_ever_published":false},"categories":[1],"tags":[],"class_list":["post-2481","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_shortlink":"https:\/\/wp.me\/phh2yP-E1","jetpack-related-posts":[{"id":1524,"url":"https:\/\/xmau.com\/ilpost\/2019\/08\/09\/grandi-idee-della-matematica\/","url_meta":{"origin":2481,"position":0},"title":"Grandi idee della matematica","author":".mau.","date":"09\/08\/2019","format":false,"excerpt":"Una nuova collana di libri di matematica","rel":"","context":"In \"collane\"","block_context":{"text":"collane","link":"https:\/\/xmau.com\/ilpost\/tag\/collane\/"},"img":{"alt_text":"","src":"https:\/\/i0.wp.com\/xmau.com\/wp\/ilpost\/wp-content\/uploads\/sites\/4\/2019\/08\/grandiidee-1024x599.png?resize=350%2C200","width":350,"height":200,"srcset":"https:\/\/i0.wp.com\/xmau.com\/wp\/ilpost\/wp-content\/uploads\/sites\/4\/2019\/08\/grandiidee-1024x599.png?resize=350%2C200 1x, https:\/\/i0.wp.com\/xmau.com\/wp\/ilpost\/wp-content\/uploads\/sites\/4\/2019\/08\/grandiidee-1024x599.png?resize=525%2C300 1.5x"},"classes":[]},{"id":2458,"url":"https:\/\/xmau.com\/ilpost\/2011\/11\/16\/non-mi-piace-la-fisica\/","url_meta":{"origin":2481,"position":1},"title":"Non mi piace la fisica","author":".mau.","date":"16\/11\/2011","format":false,"excerpt":"Matematici e fisici sono come cani e gatti (di Schr\u00f6dinger?). Ecco il mio punto di vista.","rel":"","context":"Similar post","block_context":{"text":"Similar post","link":""},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":2634,"url":"https:\/\/xmau.com\/ilpost\/2013\/09\/06\/quanto-e-irragionevolmente-efficace-la-matematica\/","url_meta":{"origin":2481,"position":2},"title":"Quanto \u00e8 “irragionevolmente efficace” la matematica?","author":".mau.","date":"06\/09\/2013","format":false,"excerpt":"Ogni tanto la banda dei matematici non-platonisti si risveglia. Solo che il matematico tipico di filosofia ne sa ben poca","rel":"","context":"Similar post","block_context":{"text":"Similar post","link":""},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":2636,"url":"https:\/\/xmau.com\/ilpost\/2013\/09\/11\/il-teorema-della-pizza\/","url_meta":{"origin":2481,"position":3},"title":"Il teorema della pizza","author":".mau.","date":"11\/09\/2013","format":false,"excerpt":"Ecco un risultato assolutamente poco intuitivo che per\u00f2 potrebbe sempre servire nella vita quotidiana (ehm..)","rel":"","context":"Similar post","block_context":{"text":"Similar post","link":""},"img":{"alt_text":"Un taglio in quattro parti e un altro taglio in otto parti","src":"https:\/\/i0.wp.com\/www.ilpost.it\/wp-content\/uploads\/bloggers\/2013\/09\/pizza1.png?resize=350%2C200&ssl=1","width":350,"height":200},"classes":[]},{"id":2652,"url":"https:\/\/xmau.com\/ilpost\/2013\/11\/15\/tavola-periodica-dei-matematici\/","url_meta":{"origin":2481,"position":4},"title":"Tavola periodica dei matematici","author":".mau.","date":"15\/11\/2013","format":false,"excerpt":"Un modo divertente per raccogliere i pi\u00f9 grandi matematici della storia","rel":"","context":"Similar post","block_context":{"text":"Similar post","link":""},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":2614,"url":"https:\/\/xmau.com\/ilpost\/2013\/06\/03\/matematica-per-analogie\/","url_meta":{"origin":2481,"position":5},"title":"Matematica per analogie","author":".mau.","date":"03\/06\/2013","format":false,"excerpt":"Non \u00e8 che i matematici predichino bene e razzolino male: il punto \u00e8 che loro sono inconsciamente abituati a distinguere la scoperta di una propriet\u00e0 dalla sua dimostrazione, ma si dimenticano di mostrare il momento della scoperta.","rel":"","context":"Similar post","block_context":{"text":"Similar post","link":""},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]}],"_links":{"self":[{"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/posts\/2481","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/comments?post=2481"}],"version-history":[{"count":1,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/posts\/2481\/revisions"}],"predecessor-version":[{"id":2482,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/posts\/2481\/revisions\/2482"}],"wp:attachment":[{"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/media?parent=2481"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/categories?post=2481"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/tags?post=2481"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}