Rete Bibliotecaria della Provincia di Como

Abstract: Che il mondo occidentale si contraddistingua anche per il suo adultocentrismo è già stato osservato e documentato ampiamente. Ma molto resta da fare per suscitare negli adulti una disponibilità a ridefinire i propri valori e comportamenti in relazione ai bisogni e ai diritti dell'infanzia. In questi libro Elisabetta Forni si è ispirata alle vignette di Altan. La rilettura critica di alcune di queste è stata completata coinvolgendo in una parziale riscrittura dei loro testi un gruppo di scolari di una quarta elementare. Da tale dialogo tra Altan e i bambini è derivato un interessante approfondimento delle due prospettive: quella adulta critica e quella infantile (la prospettiva dal basso, la prospettiva del ranocchio, appunto).

Abstract: Nel ricostruire la genesi dell'idea di calcolo o computazione l'autore, un pioniere della moderna informatica, prende le mosse da Leibniz e compone una galleria di personaggi chiave che comprende Boole, Frege, Cantor, Hilbert, Gödel e culmina in Turing. È interessante osservare, su un piano più tecnico, come Davis, pur pagando un doveroso tributo a Kurt Gödel, ponga, in maniera stimolante, la macchina universale di Turing alla base dei fenomeni di indecidibilità. Dopo la scoperta di Turing, il sogno di Leibniz, l'invenzione di un calcolo simbolico, una sorta di algebra del pensiero, si materializza non più in calcolatori in carne e ossa, ma in valvole e fili e poi in rame e silicio.