Monday, August 10, 2009

Cosa c'entra Gödel con le enciclopedie?

"Che le enciclopedie non possano esistere l'ha dimostrato nel 1931 Kurt Gödel, con un teorema che si può appunto parafrasare dicendo che nessun libro, nessuna enciclopedia, nessuna biblioteca possono esaurire la conoscenza matematica, e a maggior ragione la conoscenza in generale".

Dal capitolo "L'enciclopedia impossibile" tratto da Un Matematico Impertinente di Piergiorgio Odifreddi (2005, Longanesi Editore).