Skip to main content
Molteplicità potenziale e creatività al tempo del computer: un matematico del 2000 legge Calvino
Published Web Location
https://doi.org/10.5070/C312158127Abstract
Taking into consideration Calvino's 1967 lecture "Cibernetica e fantasmi," the article discusses wheter the similarities between mathematics and literature previously noticed when reading Calvino's Six Memos for the Next Millennium (Lezioni americane) may be extended to include both central characteristics of 21st century mathematics and the mechanization of formal proofs.