Matematica e scienze

Oggi nessuno nega la realtà degli atomi. All'inizio del Novecento, tuttavia, la loro esistenza non era affatto scontata e molti scienziati li consideravano un'inutile astrazione. Fin dall'antichità, tutte le civiltà hanno cercato di spiegare la costituzione della materia, elaborando teorie in competizione fra loro, talvolta inconciliabili, spesso legate a questioni di natura teologica e filosofica, oltre che scientifica. Il libro ricostruisce la storia delle teorie della materia, nella quale oggetti considerati reali, a un certo punto si sono rivelati inesistenti, e viceversa.

La Botanica sistematica non è una parolaccia, né l'elenco del telefono (come qualche non imparziale detrattore della materia tende a sostenere), ma una scienza che apre le porte a ogni possibile lettura, anche la più originale e solo all'apparenza irriverente, come quella dell'erotismo. Spazio allora all'azione afrodisiaca degli alimenti e allo stimolo dei profumi, dalle zagare in fiore al greve afrore, da ninfale fiesolano, di Bifora testiculata... Un libro in cui si parla della pesante allusività delle orchidee o di qualche altro vegetale ancora più "scostumato". Il tutto in due parti. Una che può rappresentare un ripasso per chi la Botanica la sta studiando. L'altra che si sofferma sulle forme allusive che il mondo vegetale ci offre.

I tisanotteri, o tripidi, sono responsabili di notevoli perdite delle produzioni agricole in pieno campo ed in colture protette. L'adattabilità e la variabilità fisiologica costituiscono le due caratteristiche biologiche fondamentali per la dannosità della specie e sono talvolta correlate ad una marcata variabilità morfologica il cui significato biologico rimane sconosciuto, per scarsità o mancanza di biologia di base a cui stanno ponendo rimedio solo recentemente metodologie molecolari che possono aiutare a comprendere le affinità sistematiche e tassonomiche. Questolibro si propone come uno strumento di base per una corretta identificazione delle varie specie.

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.