{"id":1148,"date":"2017-10-24T10:58:55","date_gmt":"2017-10-24T09:58:55","guid":{"rendered":"http:\/\/xmau.com\/wp\/ilpost\/?p=1148"},"modified":"2017-10-24T11:41:45","modified_gmt":"2017-10-24T10:41:45","slug":"e-morto-corrado-bohm","status":"publish","type":"post","link":"https:\/\/xmau.com\/ilpost\/2017\/10\/24\/e-morto-corrado-bohm\/","title":{"rendered":"\u00c8 morto Corrado B\u00f6hm"},"content":{"rendered":"<p>Il mio primo esame universitario di informatica fu Teoria e Applicazione delle Macchine Calcolatrici (TAMC per gli amici), in versione ultrateorica perch\u00e9 (a) ero a Pisa (b) era la versione per matematici. In realt\u00e0 di risultati teorici non \u00e8 che ce ne fossero molti a disposizione: l&#8217;unico &#8220;teorema&#8221; che mi ricordo aver visto fu quello di <a href=\"https:\/\/it.wikipedia.org\/wiki\/Teorema_di_B%C3%B6hm-Jacopini\">B\u00f6hm-Jacopini<\/a>, che in parole molto povere dice che si pu\u00f2 programmare senza usare il GOTO. Da buon studente ingenuo immaginai che gli autori fossero informatici americani e giusto il secondo fosse di lontane origini italiane; grande fu il mio stupore quando scoprii che invece erano italianissimi.<\/p>\n<p><a href=\"https:\/\/it.wikipedia.org\/wiki\/Corrado_B%C3%B6hm\">Corrado B\u00f6hm<\/a> \u00e8 morto ieri, alla bella et\u00e0 di 94 anni. Andando a leggere <a href=\"http:\/\/www.corradobohm.it\/Corrado_Bohm\/Biography.html\">la sua biografia<\/a> ho scoperto che a parte il teorema in questione ha fatto tantissime cose (compreso un periodo di lavoro all&#8217;Olivetti degli anni &#8217;50&#8230;) e che la sua tesi per il Ph.D. consistette nella definizione di un linguaggio di programmazione (nel 1951, ben prima che qualcuno definisse il FORTRAN&#8230;) e soprattutto che descrisse un compilatore per quel linguaggio <b>scritto nel linguaggio stesso<\/b>! <\/p>\n<p>B\u00f6hm \u00e8 stato insomma una delle pochissime persone che ha contribuito a far diventare l&#8217;informatica una scienza e non solo un&#8217;arte (come del resto continua a essere, come ben sa chi ha almeno una volta scritto del software). <\/p>\n","protected":false},"excerpt":{"rendered":"<p>Uno dei primi informatici, quando la scienza era ancora tutta da costruire.<\/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_feature_clip_id":0,"_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":[185,173],"class_list":["post-1148","post","type-post","status-publish","format-standard","hentry","category-uncategorized","tag-informatica","tag-obituary"],"jetpack_publicize_connections":[],"jetpack_sharing_enabled":true,"jetpack_shortlink":"https:\/\/wp.me\/phh2yP-iw","jetpack-related-posts":[{"id":2604,"url":"https:\/\/xmau.com\/ilpost\/2013\/05\/06\/e-morto-kenneth-appel-pillole\/","url_meta":{"origin":1148,"position":0},"title":"\u00c8 morto Kenneth Appel [Pillole]","author":".mau.","date":"06\/05\/2013","format":false,"excerpt":"Il nome forse non vi dice molto, e non penso sia un caso che sia morto il 19 aprile ma non ne avevo sentito parlare fino a stamattina: ma Appel (qui il suo ricordo sull'Economist), insieme a Wolfgang Haken, nel 1976 fecero una rivoluzione nella filosofia matematica, dimostrando il teorema\u2026","rel":"","context":"Similar post","block_context":{"text":"Similar post","link":""},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":634,"url":"https:\/\/xmau.com\/ilpost\/2013\/04\/22\/geometria-a-macchinetta\/","url_meta":{"origin":1148,"position":1},"title":"Geometria a macchinetta","author":".mau.","date":"22\/04\/2013","format":false,"excerpt":"Preparare esercizi per i libri di matematica non \u00e8 un lavoro divertente: ma questo non significa che non li si possa fare con un minimo di accortezza.","rel":"","context":"In \"didattica\"","block_context":{"text":"didattica","link":"https:\/\/xmau.com\/ilpost\/tag\/didattica\/"},"img":{"alt_text":"figureimpossibili","src":"https:\/\/i0.wp.com\/xmau.com\/wp\/ilpost\/wp-content\/uploads\/sites\/4\/2015\/10\/figureimpossibili.jpg?resize=350%2C200","width":350,"height":200,"srcset":"https:\/\/i0.wp.com\/xmau.com\/wp\/ilpost\/wp-content\/uploads\/sites\/4\/2015\/10\/figureimpossibili.jpg?resize=350%2C200 1x, https:\/\/i0.wp.com\/xmau.com\/wp\/ilpost\/wp-content\/uploads\/sites\/4\/2015\/10\/figureimpossibili.jpg?resize=525%2C300 1.5x"},"classes":[]},{"id":398,"url":"https:\/\/xmau.com\/ilpost\/2010\/07\/27\/il-teorema-di-pitagora\/","url_meta":{"origin":1148,"position":2},"title":"Il teorema di Pitagora","author":".mau.","date":"27\/07\/2010","format":false,"excerpt":"Il teorema pi\u00f9 famoso della geometria merita indubbiamente una trattazione a s\u00e9.","rel":"","context":"In \"geometria\"","block_context":{"text":"geometria","link":"https:\/\/xmau.com\/ilpost\/tag\/geometria\/"},"img":{"alt_text":"[la costruzione euclidea del teorema di Pitagora]","src":"https:\/\/i0.wp.com\/xmau.com\/wp\/ilpost\/wp-content\/uploads\/sites\/4\/2014\/09\/pitagora-euclide.png?resize=350%2C200","width":350,"height":200},"classes":[]},{"id":2598,"url":"https:\/\/xmau.com\/ilpost\/2013\/04\/26\/parilandia\/","url_meta":{"origin":1148,"position":3},"title":"Parilandia","author":".mau.","date":"26\/04\/2013","format":false,"excerpt":"Noi diamo per scontata la fattorizzazione unica, ma non \u00e8 sempre cos\u00ec.","rel":"","context":"Similar post","block_context":{"text":"Similar post","link":""},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":445,"url":"https:\/\/xmau.com\/ilpost\/2011\/09\/13\/prima-di-godel\/","url_meta":{"origin":1148,"position":4},"title":"Prima di G\u00f6del&#8230;","author":".mau.","date":"13\/09\/2011","format":false,"excerpt":"I teoremi di incompletezza di G\u00f6del hanno segnato la fine della sicurezza che i matematici hanno avuto per 2500 anni. Cosa \u00e8 successo prima che arrivasse lui?","rel":"","context":"In \"logica\"","block_context":{"text":"logica","link":"https:\/\/xmau.com\/ilpost\/tag\/logica\/"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":449,"url":"https:\/\/xmau.com\/ilpost\/2011\/12\/20\/il-primo-teorema-di-incompletezza-di-godel\/","url_meta":{"origin":1148,"position":5},"title":"Il primo teorema di incompletezza di G\u00f6del","author":".mau.","date":"20\/12\/2011","format":false,"excerpt":"La dimostrazione del teorema di incompletezza di G\u00f6del non \u00e8 complicatissima, ma \u00e8 cos\u00ec autoreferenziale che a volte sembra di vedere Ritorno al futuro II. Ho provato a sminuzzarla e descriverla.","rel":"","context":"In \"logica\"","block_context":{"text":"logica","link":"https:\/\/xmau.com\/ilpost\/tag\/logica\/"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]}],"jetpack_featured_media_url":"","_links":{"self":[{"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/posts\/1148","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=1148"}],"version-history":[{"count":2,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/posts\/1148\/revisions"}],"predecessor-version":[{"id":1150,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/posts\/1148\/revisions\/1150"}],"wp:attachment":[{"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/media?parent=1148"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/categories?post=1148"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/tags?post=1148"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}