El Teorema de Incompletitud de G¨ odel (Versi´ on para no iniciados)∗ Claudio Guti´ errez Departamento de Ciencias de la Computaci´ on Universidad de Chile . . . veinticinco s´ ımbolos suficientes (veintid´ os letras, el espacio, el punto, la coma) cuyas...
More
El Teorema de Incompletitud de G¨ odel (Versi´ on para no iniciados)∗ Claudio Guti´ errez Departamento de Ciencias de la Computaci´ on Universidad de Chile . . . veinticinco s´ ımbolos suficientes (veintid´ os letras, el espacio, el punto, la coma) cuyas variaciones con repetici´ on abarcan todo lo que es dable expre- sar: en todas las lenguas. El conjunto de tales variaciones integrar´ ıa una Biblioteca Total, de tama˜ no astron´ omico [. . .] Todo estar´ ıa en sus ciegos vol´ umenes. Todo: la historia minuciosa del por- venir, Los egipcios de Esquilo, el n´ umero preciso de veces que las aguas del Ganges han reflejado el vuelo de un halc´ on, el secreto y verdadero nombre de Roma, la enciclopedia que hubiera edificado Novalis, mis sue˜ nos y entre- sue˜ nos en el alba del catorce de agosto de 1934, la demostraci´ on del teorema de Pierre Fermat, los no escritos cap´ ıtulos de Edwin Drood, esos mismos cap´ ıtulos traducidos al idioma que hablaron los garamantas, las paradojas de Berke
Less
