CUBI - Culture | Biblioteche | In rete

Abstract: La società dell'informazione è oggi paragonabile a una piazza virtuale nella quale gran parte delle attività giornaliere viene svolta dal cittadino digitale. Diffondere la consapevolezza dei rischi, elevando la sicurezza per tutti coloro che navigano, interagiscono, lavorano, vivono in rete e sui social media, diventa quindi un passo fondamentale, non dimenticando le questioni di sicurezza nazionale e l'evoluzione degli scenari internazionali. Ecco allora la necessità di un testo che guidi alla scoperta di questo cyberworld, approfondendo le tematiche centrali di settori chiave quali l'economia, la tecnologia, le leggi. Uno studio interdisciplinare del problema dell'hacking passando per il profiling, le dark network fino alla cyber law e includendo interessanti analisi puntuali su temi verticali, nello stile di un white paper.

Abstract: Tra i fili di Arianna che si possono seguire per interpretare lo sviluppo del moderno, Martin Davis seleziona quell'entità al tempo stesso astrusa e comunissima che è il calcolo o computazione. Astrusa perché la teoria della calcolabilità - in bilico tra matematica, ingegneria elettronica e filosofia non è certo un soggetto facile. Comunissima perché chiunque usi un PC ha tra le mani, spesso senza saperlo, un calcolatore universale - l'epitome stessa della nozione di computazione. Per ricostruire la genesi di questa idea Davis prende le mosse da Leibniz e compone, con affetto e rispetto, una galleria di personaggi-chiave che comprende Boole, Frege, Cantor, Hilbert, Gõdel e culmina in Turing: alla sua macchina universale riconosce infatti, pur pagando il dovuto tributo a Gõdel, un ruolo centrale nei fenomeni di insolubilità. Grazie a Turing il sogno di Leibniz - l'invenzione di un calcolo simbolico con cui risolvere in maniera automatica ogni genere di problemi - si materializza in calcolatori non più in carne e ossa, ma in rame e silicio. Resta tuttavia, quel sogno, solo in parte realizzato: se molti degli aspetti della mente razionale sono oggi riproducibili informaticamente, quelli che più caratterizzano l'essere umano - senso comune, emozioni, coscienza - resistono ancora alla realizzazione della visione di Leibniz.

Abstract: È possibile inventare una singola macchina che possa essere usata per calcolare qualsiasi sequenza computabile. Con queste parole Alan Turing, il leggendario matematico che riuscì a decrittare il codice enigma dei nazisti, immaginò nel 1936 l'esistenza di quello che per noi oggi è un oggetto quotidiano: il computer. Quasi vent'anni dopo, nel 1953, un gruppo di fisici e ingegneri guidati dal genio di John von Neumann diede forma alla profetica intuizione di Turing e costruì a Princeton il primo calcolatore programmabile, dedicato inizialmente all'industria militare. Con una potenza di calcolo di appena cinque kilobyte (la stessa che oggi serve a malapena a muovere il cursore sui nostri schermi) von Neumann e i suoi mossero i primi passi nel neonato universo digitale. E cambiarono il mondo, per sempre. Questa è la loro storia.

Abstract: Impiegata per secoli quasi esclusivamente in ambiente militare e diplomatico, la crittografia è, da pochi anni, liberamente utilizzabile da chiunque per proteggere la riservatezza delle proprie comunicazioni. La diffusione delle reti di comunicazione ha reso attuale il problema della sicurezza e della tutela dall'uso illecito dei nostri dati personali. Questo libro, avvalendosi anche di un CD contenente oltre cento megabyte di programmi e documentazione tecnica, consente di capire la crittografia, apprenderne le tecniche, imparare a proteggersi, riconoscere la vulnerabilità dei programmi, proteggere la propria privacy.

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.