{"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_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_featured_media_url":"","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":398,"url":"https:\/\/xmau.com\/ilpost\/2010\/07\/27\/il-teorema-di-pitagora\/","url_meta":{"origin":1148,"position":1},"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":634,"url":"https:\/\/xmau.com\/ilpost\/2013\/04\/22\/geometria-a-macchinetta\/","url_meta":{"origin":1148,"position":2},"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":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":404,"url":"https:\/\/xmau.com\/ilpost\/2010\/10\/08\/il-quinto-postulato-di-euclide\/","url_meta":{"origin":1148,"position":4},"title":"Il quinto postulato di Euclide","author":".mau.","date":"08\/10\/2010","format":false,"excerpt":"Quello delle geometrie non euclidee \u00e8 un tema che non pu\u00f2 mancare in un blog di divulgazione matematica; il difficile \u00e8 riuscire a dire qualcosa di diverso dal solito. Cominciamo a vedere la storia dei tentativi di dimostrazione.","rel":"","context":"In \"geometria\"","block_context":{"text":"geometria","link":"https:\/\/xmau.com\/ilpost\/tag\/geometria\/"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":2648,"url":"https:\/\/xmau.com\/ilpost\/2013\/10\/26\/godel-dio-e-repubblica\/","url_meta":{"origin":1148,"position":5},"title":"G\u00f6del, Dio e Repubblica","author":".mau.","date":"26\/10\/2013","format":false,"excerpt":"Stamattina mia moglie mi aveva detto di aver letto qualcosa oggi su Repubblica a riguardo di due ricercatori che avevano \"dimostrato il teorema di G\u00f6del\". Ammetto di non averci fatto troppo caso, non ero nemmeno troppo sveglio. Poi mi \u00e8 capitato di vedere su Facebook la condivisione di questo articolo\u2026","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\/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}]}}