Sinossi

Il saggio sviluppa una riflessione sulle radici logiche e storiche del linguaggio matematico, delineandone la costruzione dai primi sistemi di numerazione alla moderna teoria degli insiemi e agli insiemi semidecidibili. Lungo le tappe fondamentali di questo percorso, emerge un processo di auto-comprensione della matematica, in cui, svincolando i numeri dall'intuizione geometrica della matematica greca, si approda agli insiemi di Cantor. Questi non rimuovono, ma piuttosto, rifondano l'intuizione spaziale, elevandola su un piano logico in cui l'astrazione matematica diventa generalità e potenza espressiva. La teoria degli insiemi si configura così come "characteristica universalis" delle teorie matematiche elaborate negli ultimi due secoli. Il testo contiene nuove dimostrazioni di risultati classici fondamentali, e può essere letto a vari livelli, stimolando interessi e approfondimenti in molte direzioni.