Ai confini del calcolabile

Il ciclo Ai confini del calcolabile nasce come indagine sui limiti dell'intelligenza — artificiale e umana insieme. I sette saggi della prima parte hanno attraversato cinque territori con progressiva sistematicità: ciò che un sistema formale non può dimostrare dall'interno di se stesso (Gödel-Turing); ciò che una rappresentazione non può catturare senza