{"id":4848,"date":"2007-03-25T20:24:15","date_gmt":"2007-03-25T20:24:15","guid":{"rendered":"http:\/\/xmau.com\/wp\/notiziole\/2007\/03\/25\/_morto_paul_cohen\/"},"modified":"2007-03-25T20:24:15","modified_gmt":"2007-03-25T20:24:15","slug":"_morto_paul_cohen","status":"publish","type":"post","link":"https:\/\/xmau.com\/notiziole\/2007\/03\/25\/_morto_paul_cohen\/","title":{"rendered":"\u00c8 morto Paul Cohen"},"content":{"rendered":"<p>(<b>Nota:<\/b> se sei arrivato qua con un motore di ricerca, ti conviene guardare la versione <a href=\"http:\/\/xmau.com\/mate\/light\/continuo.html\">riveduta<\/a>&#8230;)<br \/>\nHo trovato casualmente la notizia <a href=\"http:\/\/www.maths.manchester.ac.uk\/~avb\/micromathematics\/2007\/03\/sad-news-about-paul-cohen.html\">qui<\/a>, ma non sono riuscito a trovare nessuna conferma in giro. (beh, no, <a href=\"http:\/\/it.wikipedia.org\/wiki\/Paul_Cohen\">wikipedia<\/a> lo indica)<br \/>\nCohen \u00e8 noto tra i matematici per avere dimostrato che l&#8217;ipotesi del continuo \u00e8 indipendente dagli assiomi usuali per l&#8217;aritmetica&#8230; Occhei, ricominciamo da capo.<br \/>\nPoco pi\u00f9 di cento anni fa, Georg Cantor ha deciso che l&#8217;infinito matematico non era una semplice convenzione, ma che esisteva davvero. Detto in altre parole, si poteva dare una definizione sensata dell&#8217;infinito: un insieme che pu\u00f2 essere messo in corrispondenza biunivoca con una sua parte propria. I numeri interi sono insomma infiniti perch\u00e9 possiamo dire che i numeri pari sono tanti quanti gli interi, associando a ogni intero n il numero 2n. Poi, con l&#8217;argomento diagonale, Cantor si \u00e8 accorto che i numeri reali sono pi\u00f9 degli interi, e quindi che esisteva pi\u00f9 di un infinito: per la precisione ce ne sono infiniti.<br \/>\nA questo punto restava un dubbio: l&#8217;infinito corrispondente ai numeri reali \u00e8 quello &#8220;subito dopo&#8221; quello corrispondente ai numeri interi, oppure ce ne sono altri in mezzo? L&#8217;affermazione per cui l&#8217;infinito dei numeri reali \u00e8 immediatamente successivo a quello degli interi prese il nome di <em>ipotesi del continuo<\/em>, e fu posta da David Hilbert in cima alla sua famosa lista dei 23 problemi matematici per il XX secolo. (A Hilbert le teorie di Cantor erano piaciute tantissimo, ecco il perch\u00e9 di questa posizione di onore). Il problema rimase inattaccato per vari decenni, fino a che nel 1940 Kurt G\u00f6del, non pago di avere dimostrato che la matematica o \u00e8 incompleta o incoerente, riusc\u00ec a provare che l&#8217;ipotesi del continuo non era falsa: insomma, se gli altri assiomi matematici standard sono coerenti, aggiungere l&#8217;ipotesi del continuo lascia tutto l&#8217;insieme coerente. G\u00f6del tra l&#8217;altro era convinto che l&#8217;ipotesi del continuo fosse vera; peccato appunto che nel 1963 Paul Cohen dimostr\u00f2 che anche <b>l&#8217;opposto<\/b> dell&#8217;ipotesi del continuo non era falsa. (Notate la <em>tripla<\/em> negazione della frase&#8230;) Il risultato pratico \u00e8 che uno pu\u00f2 decidere di fare matematica accettando l&#8217;ipotesi del continuo oppure negandola: piena libert\u00e0! Che poi &#8211; almeno a quanto ne sappia &#8211; nessuno si preoccupi pi\u00f9 di tanto della cosa tranne qualche logico matematico non significa nulla&#8230;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Uno dei pi\u00f9 grandi logici matematici del XX secolo<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","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":3,"activitypub_interaction_policy_quote":"anyone","activitypub_status":"","footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":false,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2},"jetpack_post_was_ever_published":false},"categories":[214],"tags":[311],"class_list":["post-4848","post","type-post","status-publish","format-standard","hentry","category-matematica_light","tag-paul-cohen-ipotesi-del-continuo"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_shortlink":"https:\/\/wp.me\/phh2yV-1gc","jetpack-related-posts":[{"id":19857,"url":"https:\/\/xmau.com\/notiziole\/2020\/01\/18\/il-libro-dei-numeri-libro\/","url_meta":{"origin":4848,"position":0},"title":"Il libro dei numeri (libro)","author":".mau.","date":"2020-01-18","format":false,"excerpt":"Troppa roba :-)","rel":"","context":"In &quot;rec-2020&quot;","block_context":{"text":"rec-2020","link":"https:\/\/xmau.com\/notiziole\/category\/recensioni\/recensioni-2020\/"},"img":{"alt_text":"","src":"https:\/\/i0.wp.com\/xmau.com\/notiziole\/wp-content\/uploads\/sites\/6\/2020\/01\/9788875788124.jpg?resize=350%2C200&ssl=1","width":350,"height":200},"classes":[]},{"id":14229,"url":"https:\/\/xmau.com\/notiziole\/2017\/01\/14\/_il-mistero-dellalef_-libro\/","url_meta":{"origin":4848,"position":1},"title":"_Il mistero dell&#8217;alef_ (libro)","author":".mau.","date":"2017-01-14","format":false,"excerpt":"Ma ci voleva davvero il misticismo?","rel":"","context":"In &quot;rec-2017&quot;","block_context":{"text":"rec-2017","link":"https:\/\/xmau.com\/notiziole\/category\/recensioni\/rec-2017\/"},"img":{"alt_text":"","src":"https:\/\/i0.wp.com\/xmau.com\/notiziole\/wp-content\/uploads\/sites\/6\/2017\/01\/9788842820772.jpg?resize=350%2C200","width":350,"height":200},"classes":[]},{"id":12104,"url":"https:\/\/xmau.com\/notiziole\/2015\/11\/11\/_linfinito_-libro\/","url_meta":{"origin":4848,"position":2},"title":"_L&#8217;infinito_ (libro)","author":".mau.","date":"2015-11-11","format":false,"excerpt":"Itinerari anche teologici...","rel":"","context":"In &quot;recensioni&quot;","block_context":{"text":"recensioni","link":"https:\/\/xmau.com\/notiziole\/category\/recensioni\/"},"img":{"alt_text":"linfinito","src":"https:\/\/i0.wp.com\/xmau.com\/notiziole\/wp-content\/uploads\/sites\/6\/2015\/10\/linfinito.jpg?resize=350%2C200","width":350,"height":200},"classes":[]},{"id":7592,"url":"https:\/\/xmau.com\/notiziole\/2009\/12\/21\/ultima_lezione\/","url_meta":{"origin":4848,"position":3},"title":"_Ultima lezione a Gottinga_ (libro)","author":".mau.","date":"2009-12-21","format":false,"excerpt":"Matematica a fumetti? Si pu\u00f2 fare, e questo \u00e8 un esempio.","rel":"","context":"In &quot;recensioni&quot;","block_context":{"text":"recensioni","link":"https:\/\/xmau.com\/notiziole\/category\/recensioni\/"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":28957,"url":"https:\/\/xmau.com\/notiziole\/2024\/05\/22\/interi-di-gauss-e-fattorizzazione-unica\/","url_meta":{"origin":4848,"position":4},"title":"Interi di Gauss e fattorizzazione unica","author":".mau.","date":"2024-05-22","format":false,"excerpt":"Non vale solo per i numeri naturali","rel":"","context":"In &quot;mate-light-2024&quot;","block_context":{"text":"mate-light-2024","link":"https:\/\/xmau.com\/notiziole\/category\/matematica_light\/matelight-2024\/"},"img":{"alt_text":"i primi gaussiani","src":"https:\/\/i0.wp.com\/xmau.com\/notiziole\/wp-content\/uploads\/sites\/6\/2024\/05\/PrimiGaussiani-1024x994.jpg?resize=350%2C200&ssl=1","width":350,"height":200,"srcset":"https:\/\/i0.wp.com\/xmau.com\/notiziole\/wp-content\/uploads\/sites\/6\/2024\/05\/PrimiGaussiani-1024x994.jpg?resize=350%2C200&ssl=1 1x, https:\/\/i0.wp.com\/xmau.com\/notiziole\/wp-content\/uploads\/sites\/6\/2024\/05\/PrimiGaussiani-1024x994.jpg?resize=525%2C300&ssl=1 1.5x"},"classes":[]},{"id":33450,"url":"https:\/\/xmau.com\/notiziole\/2025\/08\/20\/ultrafinitismo\/","url_meta":{"origin":4848,"position":5},"title":"Ultrafinitismo","author":".mau.","date":"2025-08-20","format":false,"excerpt":"E se non solo non ci fosse un infinito attuale, ma nemmeno i numeri \"troppo grandi\"?","rel":"","context":"In &quot;mate-light-2025&quot;","block_context":{"text":"mate-light-2025","link":"https:\/\/xmau.com\/notiziole\/category\/matematica_light\/matelight-2025\/"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]}],"jetpack_likes_enabled":true,"jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/posts\/4848","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/comments?post=4848"}],"version-history":[{"count":0,"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/posts\/4848\/revisions"}],"wp:attachment":[{"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/media?parent=4848"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/categories?post=4848"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/tags?post=4848"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}