{"id":1718,"date":"2020-05-07T04:04:50","date_gmt":"2020-05-07T03:04:50","guid":{"rendered":"http:\/\/xmau.com\/wp\/ilpost\/?p=1718"},"modified":"2020-05-06T22:32:43","modified_gmt":"2020-05-06T21:32:43","slug":"john-horton-conway-e-la-matematica-come-gioco","status":"publish","type":"post","link":"https:\/\/xmau.com\/ilpost\/2020\/05\/07\/john-horton-conway-e-la-matematica-come-gioco\/","title":{"rendered":"John Horton Conway e la matematica come gioco"},"content":{"rendered":"<p><figure style=\"width: 84px\" class=\"wp-caption alignright\"><a href=\"https:\/\/upload.wikimedia.org\/wikipedia\/commons\/f\/f2\/Game_of_life_animated_glider.gif\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/upload.wikimedia.org\/wikipedia\/commons\/f\/f2\/Game_of_life_animated_glider.gif\" width=\"84\" height=\"84\" alt=\"glider\" class=\"size-medium\" \/><\/a><figcaption class=\"wp-caption-text\">To boldly go where no configuration had gone before! (da Wikimedia Commons)<\/figcaption><\/figure> Come sapete, l&#8217;11 aprile scorso John Horton Conway \u00e8 morto, per complicazioni legate a CoViD-19. In rete trovate tantissimi ricordi, comprese interviste pubblicate in passato. In inglese potete per esempio leggere <a href=\"https:\/\/www.nytimes.com\/2020\/04\/15\/technology\/john-horton-conway-dead-coronavirus.html?smid=tw-share\">l&#8217;obituary<\/a> del New York Times; il ricordo di Elizabeth Landau <a href=\"https:\/\/blogs.scientificamerican.com\/observations\/remembering-mathematical-magician-john-conway\/\">sullo Scientific American<\/a>; quello di <a href=\"https:\/\/plus.maths.org\/content\/life-universe-everything\">Rachel Thomas<\/a> su Plus Magazine; un articolo di <a href=\"https:\/\/www.ias.edu\/ideas\/2015\/roberts-john-horton-conway\">Siobhan Roberts<\/a>, che ha scritto la biografia di Conway <em><a href=\"https:\/\/amzn.to\/357v1cA\">Genius at Play<\/a><\/em>, in cui specifica che &#8220;Conway\u2019s ego is so sizable that it seemed to demand its own font&#8221; &#8211; per i curiosi, la font \u00e8 <a href=\"https:\/\/fonts.google.com\/specimen\/Alegreya+Sans\">Alegreya Sans<\/a>. <\/p>\n<p>Se siete diversamente parlanti inglese, niente paura: gli amici di MaddMaths! hanno anch&#8217;essi pubblicato tante cose. C&#8217;\u00e8 il lirismo di <a href=\"http:\/\/maddmaths.simai.eu\/divulgazione\/langolo-arguto\/giocarsi-la-vita\/\">Nicola Ciccoli<\/a>; un intero capitolo dal libro di Roberto Lucchetti e Giuseppe Rosolini <em><a href=\"http:\/\/maddmaths.simai.eu\/divulgazione\/langolo-arguto\/matematico-vulcanico\/\">Matematica al bar<\/a><\/em>; la &#8220;macchina per produrre numeri primi&#8221; raccontata da <a href=\"http:\/\/maddmaths.simai.eu\/divulgazione\/focus\/macchina-primi-conway\/\">Alessandro Zaccagnini<\/a>; i Soldati di Conway presentati da <a href=\"http:\/\/maddmaths.simai.eu\/divulgazione\/focus\/soldati-conway\/\">Davide Palmigiani<\/a>, anche se io amo di pi\u00f9 i dialoghi di Roberto Zanasi (<a href=\"http:\/\/proooof.blogspot.com\/2009\/01\/soldati-il-gioco.html\">Qui<\/a>, <a href=\"http:\/\/proooof.blogspot.com\/2009\/01\/soldati-avanzata.html\">qui<\/a> e <a href=\"http:\/\/proooof.blogspot.com\/2009\/01\/soldati-la-pi-bella-dimostrazione-della.html\">qui<\/a> le tre puntate). Ultimo arrivato, <a href=\"https:\/\/www.iltascabile.com\/scienze\/john-conway\/\">Andrea Zanni<\/a> per il Tascabile. E vorrei partire proprio da questi post, diversissimi tra loro, per raccontare quello che a me ha sempre colpito del Conway matematico: il suo amore per i giochi.<\/p>\n<p><!--more--> In effetti, sono venuto a conoscenza di Conway da ragazzo, leggendo i libri di Martin Gardner che raccoglievano le sue rubriche sullo <i>Scientific American<\/i>. Gardner non aveva una formazione matematica: scherzando, diceva sempre che non aveva mai capito come funzionasse l&#8217;analisi. Forse proprio per quello, era amico di molti matematici che erano interessati a mostrare quante belle cose si potevano fare, senza avere per una volta a che fare con le dimostrazioni. Quelle servivano per essere certi di quanto si diceva; ma proprio come non ci serve conoscere le tecniche pittoriche per apprezzare un quadro, non occorre saper dimostrare un teorema per apprezzarlo. Si dice che Conway, ragazzo prodigio ma di una pigrizia proverbiale, ciondolasse per il suo college cercando qualcuno con cui giocare a go o a backgammon; ma i giochi per lui erano qualcosa di pi\u00f9.<\/p>\n<p><figure style=\"width: 323px\" class=\"wp-caption alignleft\"><a href=\"https:\/\/i0.wp.com\/imgs.xkcd.com\/comics\/rip_john_conway.gif?ssl=1\"><img data-recalc-dims=\"1\" loading=\"lazy\" decoding=\"async\" src=\"https:\/\/i0.wp.com\/imgs.xkcd.com\/comics\/rip_john_conway.gif?resize=323%2C425&#038;ssl=1\" width=\"323\" height=\"425\" alt=\"life\" class=\"size-medium\" \/><\/a><figcaption class=\"wp-caption-text\">l&#8217;addio a Conway da xkcd<\/figcaption><\/figure> Prendiamo il famosissimo <a href=\"https:\/\/it.wikipedia.org\/wiki\/Gioco_della_vita\">Life<\/a>. In un certo senso possiamo definirlo un gioco a zero giocatori: l&#8217;unica &#8220;mossa&#8221; che si pu\u00f2 fare \u00e8 definire una configurazione, come ha fatto xkcd nella vignetta qui mostrata, e vedere cosa succede. E ne succedono di cose! Ci sono configurazioni stabili (un quadrato 2&times;2), oscillanti (una fila 3&times;1), che si muovono nel mondo bidimensionale quadrettato (il glider, che nella figura se ne va via nell&#8217;angolo in alto a destra), che creano glider, e cos\u00ec via. Tecnicamente Life \u00e8 una macchina di Turing: con abbastanza spazio e tempo si possono compiere tutte le operazioni di un computer. Una stupidaggine, qualcuno penser\u00e0: un mondo uscito per caso in un pomeriggio uggioso con un foglio di carta e una matita come unici divertimenti dopo aver risolto lo schema di parole crociate del <i>Times<\/i>. Certo, certo. Ricordo che da ragazzo, quando scoprii Life, provai a vedere cosa sarebbe successo se avessi cambiato le regole del gioco (una cella piena con due o tre vicini sopravvive e si ripresenta alla generazione seguente, altrimenti &#8220;muore&#8221;; da una cella vuota con esattamente tre vicini &#8220;nasce&#8221; un simbolo). Risultato? Non c&#8217;era nulla di interessante. Insomma, pi\u00f9 che un caso, Life \u00e8 stato il risultato di un attento studio per vedere se esistevano insiemi interessanti di regole; la <a href=\"https:\/\/en.wikipedia.org\/wiki\/Rule_110\">Regola 110<\/a> di Stephen Wolfram non sarebbe probabilmente nata, come del resto tutti gli studi sugli automi cellulari, se Conway non ci avesse pensato. <\/p>\n<p>Oppure pensiamo alla monumentale opera <i>Winning Ways (for Your Mathematical Plays)<\/i>, scritta con Elwyn Berlekamp e Richard Guy che sono entrambi morti in quest&#8217;ultimo anno. Io posseggo i due volumi della prima edizione, ma non sono mai riuscito a superare la met\u00e0 del primo (mi fermo di solito quando si parla di temperatura e tempratura, per chi li avesse letti). Ci sono giochi a tutto livello, da quelli di parole dei quali ne avr\u00f2 persi i tre quarti &#8211; ah, lo sapevate che nel testo si attribuisce il gioco del 14 a un tale E. Pericolo Sporgersi? &#8211; a quelli veri e propri. Il punto \u00e8 che per studiare i giochi Conway si \u00e8 inventato una struttura di valori che non sono necessariamente numeri (un gioco dove vince il primo giocatore ha valore <a href=\"https:\/\/en.wikipedia.org\/wiki\/Star_(game_theory)\">*<\/a>, che non \u00e8 maggiore n\u00e9 minore n\u00e9 uguale a zero, ma &#8220;si confonde&#8221; con 0), struttura al cui interno si trovano i <b>numeri surreali<\/b>, chiamati cos\u00ec da Donald Knuth &#8211; Conway con la sua solita modestia li aveva semplicemente chiamati &#8220;numeri&#8221;. I numeri surreali contengono gli interi, i razionali, i reali, gli infinitesimi, gli iperreali, gli ordinali transifiniti e sicuramente qualcosa che mi sono dimenticato. Le regole di creazione dei numeri surreali sono di nuovo minimali, anche se pi\u00f9 complesse di quelle di Life, eppure danno questo risultato incredibile. E mentre alcune di queste creazioni sono sensate nel senso che anche una persona non troppo anormale come me riesce a vedere come derivano dalle regole, sono convinto che parecchie di esse hanno avuto una genesi complicata. Essere riuscito a semplificare cos\u00ec la struttura delle regole e ottenere un risultato cos\u00ec generale \u00e8 un altro esempio del genio di Conway.<\/p>\n<p>Ma le cose funzionano anche al rovescio. Negli esempi che ho fatto all&#8217;inizio, il gioco dei soldati \u00e8 un&#8217;applicazione non standard delle propriet\u00e0 dei numeri di Fibonacci; la macchina per generare numeri primi &#8211; o meglio l&#8217;esoterico linguaggio di programmazione <a href=\"https:\/\/en.wikipedia.org\/wiki\/FRACTRAN\">FRACTRAN<\/a> che \u00e8 alla sua base &#8211; nasce sfruttando il principio di g\u00f6delizzazione che \u00e8 alla base dei teoremi di incompletezza. Ma anche <a href=\"https:\/\/xmau.com\/wp\/notiziole\/2009\/08\/19\/il_doomsday\/\">il Doomsday<\/a>, oltre che per stupire gli amici che vi chiedono in che giorno della settimana cade una data &#8211; quest&#8217;anno il Doomsday \u00e8 sabato, l&#8217;anno prossimo sar\u00e0 domenica &#8211; \u00e8 un modo per strutturare in maniera umana una cosa come il calendario che \u00e8 strutturato per conto suo. E <a href=\"https:\/\/www.ilpost.it\/mauriziocodogno\/2012\/05\/24\/variazioni-sul-tema-di-una-successione\/\">il giochino<\/a> della successione 1, 11, 21, 1211, 111221, 312211, 13112221 porta con naturalezza al &#8220;<a href=\"http:\/\/proooof.blogspot.com\/search\/label\/decadimento%20audioattivo\">decadimento audioattivo<\/a>&#8221; e alla costante di Conway, che mostra una struttura ricorsiva non banale nei nomi dei numeri.<\/p>\n<p>Se siete arrivati fin qui, probabilmente sapete dove sto andando a parare. Moltissima matematica nasce dalla fisica, che fornisce tantissimi modelli che i fisici non sapevano risolvere senza che qualche matematico li formalizzasse. (No, non \u00e8 vero. I fisici sfruttano il fatto che i loro problemi sono &#8211; appunto &#8211; fisici e quindi trovano scorciatoie che uccidono i poveri matematici ma all&#8217;atto pratico funzionano). Poi c&#8217;\u00e8 un po&#8217; di matematica che nasce astrattamente, per la gioia di Hilbert che non voleva dipendere da nessuno. Conway si \u00e8 inventato un&#8217;altra strada; la matematica che nasce dal gioco. Non il gioco d&#8217;azzardo, che porta alla probabilit\u00e0; ma il gioco a conoscenza perfetta, dove sappiamo cosa pu\u00f2 fare il nostro avversario e viceversa, e che Conway ha mostrato essere un &#8220;mondo&#8221; esattamente come quello reale. Dite nulla&#8230;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Conway aveva un modo diverso di fare matematica, forse non migliore degli altri ma sicuramente pi\u00f9 divertente.<\/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":[229,173],"class_list":["post-1718","post","type-post","status-publish","format-standard","hentry","category-uncategorized","tag-john-conway","tag-obituary"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_shortlink":"https:\/\/wp.me\/phh2yP-rI","jetpack-related-posts":[{"id":734,"url":"https:\/\/xmau.com\/ilpost\/2016\/03\/13\/pi-come-pizza-pillole\/","url_meta":{"origin":1718,"position":0},"title":"Pi come pizza [Pillole]","author":".mau.","date":"13\/03\/2016","format":false,"excerpt":"Peccato che non siamo residenti negli stati continentali degli Usa. In onore del \u03c0 Day, il giorno dedicato a pi greco, Pizza Hut offrir\u00e0 infatti 3,14 anni di pizza gratis ai primi risolutori di tre problemi creati da John Horton Conway, uno dei pi\u00f9 famosi matematici viventi. Il concorso ovviamente\u2026","rel":"","context":"Similar post","block_context":{"text":"Similar post","link":""},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":1519,"url":"https:\/\/xmau.com\/ilpost\/2019\/08\/06\/recensione-paolo-alessandrini-matematica-rock\/","url_meta":{"origin":1718,"position":1},"title":"Recensione: Paolo Alessandrini, Matematica rock","author":".mau.","date":"06\/08\/2019","format":false,"excerpt":"Leggendo questo libro darete un nuovo significato alla frase \"la musica e la matematica hanno molto in comune\"","rel":"","context":"In \"divulgazione\"","block_context":{"text":"divulgazione","link":"https:\/\/xmau.com\/ilpost\/tag\/divulgazione\/"},"img":{"alt_text":"","src":"https:\/\/i0.wp.com\/xmau.com\/wp\/ilpost\/wp-content\/uploads\/sites\/4\/2019\/08\/9788820391553-1-193x300.jpg?resize=350%2C200","width":350,"height":200},"classes":[]},{"id":2634,"url":"https:\/\/xmau.com\/ilpost\/2013\/09\/06\/quanto-e-irragionevolmente-efficace-la-matematica\/","url_meta":{"origin":1718,"position":2},"title":"Quanto \u00e8 &#8220;irragionevolmente efficace&#8221; 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":2444,"url":"https:\/\/xmau.com\/ilpost\/2011\/10\/14\/carnevale-della-matematica-42\/","url_meta":{"origin":1718,"position":3},"title":"Carnevale della Matematica #42","author":".mau.","date":"14\/10\/2011","format":false,"excerpt":"La nuova edizione del Carnevale della Matematica ha come ordinale un numero indubbiamente interessante!","rel":"","context":"Similar post","block_context":{"text":"Similar post","link":""},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":2640,"url":"https:\/\/xmau.com\/ilpost\/2013\/09\/25\/matematica-e-liberta\/","url_meta":{"origin":1718,"position":4},"title":"Matematica e libert\u00e0","author":".mau.","date":"25\/09\/2013","format":false,"excerpt":"Non ho certo le capacit\u00e0 di interloquire con il papa emerito sui temi teologici, ma forse su quelli pi\u00f9 prettamente matematici qualcosa posso dire.","rel":"","context":"Similar post","block_context":{"text":"Similar post","link":""},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":1427,"url":"https:\/\/xmau.com\/ilpost\/2019\/06\/14\/carnevale-della-matematica-130\/","url_meta":{"origin":1718,"position":5},"title":"Carnevale della matematica #130","author":".mau.","date":"14\/06\/2019","format":false,"excerpt":"ll tema \u00e8 \"notte prima degli esami\", ma in realt\u00e0 si parla di matematica al di fuori degli esami!","rel":"","context":"In \"carnevale della matematica\"","block_context":{"text":"carnevale della matematica","link":"https:\/\/xmau.com\/ilpost\/tag\/carnevale-della-matematica\/"},"img":{"alt_text":"logo-carnevale_matematica","src":"https:\/\/i0.wp.com\/xmau.com\/wp\/ilpost\/wp-content\/uploads\/sites\/4\/2016\/06\/logo-carnevale_matematica.jpg?resize=350%2C200","width":350,"height":200},"classes":[]}],"_links":{"self":[{"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/posts\/1718","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=1718"}],"version-history":[{"count":6,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/posts\/1718\/revisions"}],"predecessor-version":[{"id":1724,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/posts\/1718\/revisions\/1724"}],"wp:attachment":[{"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/media?parent=1718"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/categories?post=1718"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/tags?post=1718"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}