{"id":8799,"date":"2012-03-24T07:00:00","date_gmt":"2012-03-24T07:00:00","guid":{"rendered":"http:\/\/xmau.com\/wp\/notiziole\/2012\/03\/24\/_la_prova_di_go\/"},"modified":"2012-03-24T07:00:00","modified_gmt":"2012-03-24T07:00:00","slug":"_la_prova_di_go","status":"publish","type":"post","link":"https:\/\/xmau.com\/notiziole\/2012\/03\/24\/_la_prova_di_go\/","title":{"rendered":"_La prova di G\u00f6del_ (libro)"},"content":{"rendered":"<p><img data-recalc-dims=\"1\" decoding=\"async\" src=\"https:\/\/i0.wp.com\/xmau.com\/thumb\/9788833903095.JPG\" align=\"left\" alt=\"[copertina]\" hspace=\"4\" \/> Il teorema di incompletezza di G\u00f6del \u00e8 uno dei temi pi\u00f9 ricorrenti nella divulgazione matematica, solo che non \u00e8 mai facile riuscire a trovare una spiegazione semplice. Questo breve saggio (Ernst Nagel e James R. Newman, <a href=\"http:\/\/www.amazon.it\/o\/ASIN\/8833903095?tag=notizioledima-21\"><em>La prova di G\u00f6del<\/em><\/a> [G\u00f6del&#8217;s Proof], Bollati Boringhieri 1992 [1959, 1974], pag. 144, &euro; 15, ISBN 978-88-3390-309-5, trad. Luigi Bianchi e Serenella Cerrito) probabilmente \u00e8 stato il primo a portare la dimostrazione al grande pubblico &#8211; grande si fa per dire, visto che comunque occorre tutta una serie di conoscenze di base. La dimostrazione \u00e8 preceduta da un excursus che spiega non solo la storia di come la matematica abbia seguito una corrente formalista nata alla fine dell&#8217;Ottocento, portata in auge da Hilbert e distrutta da G\u00f6del, ma anche di come il logico austriaco abbia probabilmente avuto l&#8217;idea della sua costruzione, oltre che una conclusione che spiega come il risultato \u00e8 s\u00ec negativo, ma solo per quanto riguarda la dimostrabilit\u00e0 della completezza della matematica all&#8217;interno della matematica stessa.<br \/>\nIl libro contiene anche un saggio di Jean-Yves Girard, pubblicato per la prima volta nell&#8217;edizione francese del 1989 dell&#8217;opera, che fa a pezzi il riduzionismo e il formalismo di Nagel e Newman (che erano nel frattempo deceduti entrambi, quindi non potevano rispondere) Girard comunque ce l&#8217;ha anche con G\u00f6del e i g\u00f6delisti, soprattutto Hofstadter di cui stronca il famose &#8220;G\u00f6del, Escher, Bach&#8221; senza citare neppure il titolo. La cosa divertente \u00e8 che l&#8217;edizione corrente in inglese \u00e8 stata rivista e annotata&#8230; da Hofstadter stesso, che a dire il vero non \u00e8 riduzionista neppure lui. Sarebbe bello che Bollati Boringhieri pensasse a una nuova edizione italiana con il testo attuale e una nuova traduzione: in quella di Luigi Bianchi si sente il peso degli anni, a differenza di quella di Serenella Cerrito del saggio di Girard che \u00e8 per l&#8217;appunto pi\u00f9 moderna.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Il teorema di indecidibilit\u00e0 in formato comprensibile<\/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":[1],"tags":[],"class_list":["post-8799","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_shortlink":"https:\/\/wp.me\/phh2yV-2hV","jetpack-related-posts":[{"id":5975,"url":"https:\/\/xmau.com\/notiziole\/2008\/07\/01\/sotto_il_segno\/","url_meta":{"origin":8799,"position":0},"title":"_Sotto il segno di G\u00f6del_ (libro)","author":".mau.","date":"2008-07-01","format":false,"excerpt":"Una biografia sui generis di G\u00f6del, dal punto di vista dei suoi contributi alla scienza","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":4367,"url":"https:\/\/xmau.com\/notiziole\/2006\/09\/04\/la_prova_matematica_dellesistenza_di_dio_libro\/","url_meta":{"origin":8799,"position":1},"title":"_La prova matematica dell&#8217;esistenza di Dio_ (libro)","author":".mau.","date":"2006-09-04","format":false,"excerpt":"Tecnico in maniera impossibile per i non esperti","rel":"","context":"Con 1 commento","block_context":{"text":"Con 1 commento","link":"https:\/\/xmau.com\/notiziole\/2006\/09\/04\/la_prova_matematica_dellesistenza_di_dio_libro\/#comments"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":29910,"url":"https:\/\/xmau.com\/notiziole\/2024\/10\/22\/matematica-lezione-37-matematica-e-filosofia\/","url_meta":{"origin":8799,"position":2},"title":"MATEMATICA &#8211; Lezione 37: Matematica e filosofia","author":".mau.","date":"2024-10-22","format":false,"excerpt":"Su cosa si basa la matematica?","rel":"","context":"In &quot;rec-2024&quot;","block_context":{"text":"rec-2024","link":"https:\/\/xmau.com\/notiziole\/category\/recensioni\/recensioni-2024\/"},"img":{"alt_text":"copertina","src":"https:\/\/i0.wp.com\/xmau.com\/notiziole\/wp-content\/uploads\/sites\/6\/2024\/10\/mate37-190x300.jpg?resize=350%2C200&ssl=1","width":350,"height":200},"classes":[]},{"id":8975,"url":"https:\/\/xmau.com\/notiziole\/2012\/08\/25\/_i_demoni_di_go\/","url_meta":{"origin":8799,"position":3},"title":"_I demoni di G\u00f6del_ (libro)","author":".mau.","date":"2012-08-25","format":false,"excerpt":"Psicanalisi da quattro soldi","rel":"","context":"Con 2 commenti","block_context":{"text":"Con 2 commenti","link":"https:\/\/xmau.com\/notiziole\/2012\/08\/25\/_i_demoni_di_go\/#comments"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":11767,"url":"https:\/\/xmau.com\/notiziole\/2015\/08\/12\/sandro-magister-arruola-kurt-godel\/","url_meta":{"origin":8799,"position":4},"title":"Sandro Magister arruola Kurt G\u00f6del","author":".mau.","date":"2015-08-12","format":false,"excerpt":"Peccato che la logica matematica non ci azzecchi nulla","rel":"","context":"In &quot;matematica_light&quot;","block_context":{"text":"matematica_light","link":"https:\/\/xmau.com\/notiziole\/category\/matematica_light\/"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":9307,"url":"https:\/\/xmau.com\/notiziole\/2013\/04\/28\/godel_ai_minimi\/","url_meta":{"origin":8799,"position":5},"title":"G\u00f6del ai minimi termini","author":".mau.","date":"2013-04-28","format":false,"excerpt":"Avete presente il teorema di incompletezza di G\u00f6del? Vi manca? Beh, qui George Boolos ve lo spiega usando solo parole monosillabiche. Queste cose purtroppo funzionano purtroppo solo in inglese - ricordo che quando giocai agli Esercizi di stile blog alla fine mi risolsi a scrivere la mia versione del testo\u2026","rel":"","context":"In &quot;matematica_light&quot;","block_context":{"text":"matematica_light","link":"https:\/\/xmau.com\/notiziole\/category\/matematica_light\/"},"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\/8799","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=8799"}],"version-history":[{"count":0,"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/posts\/8799\/revisions"}],"wp:attachment":[{"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/media?parent=8799"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/categories?post=8799"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/tags?post=8799"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}