Page 171 - Las Naves Del Tiempo - Stephen Baxter
P. 171

¡Aquellos  nuevos  Morlocks  eran  una  raza  de


           estudiosos!, y toda la energía del Sol se empleaba en


           el crecimiento coralino de la gran Biblioteca.


           Me palpé la barba.


           —Lo entiendo, al menos el motivo. Creo que no está


           lejos del impulso que ha dominado mi vida. ¿Pero no


           temen  que  algún  día  acaben  su  tarea?  ¿Qué  harán



           cuando la matemática sea perfecta, por ejemplo, o se


           demuestre la teoría física definitiva del universo?


           Negó con la cabeza, otro gesto que había tornado de


           mí.


           —Eso no es posible. Un hombre de su época, Kurt


           Gödel, lo demostró por primera vez.


           —¿Quién?



           —Kurt  Gödel:  un  matemático  que  nació  unos  diez


           años después de su partida...


           Ese  Gödel  —me  sorprendí  al  aprender  lo  que


           Nebogipfel me decía, demostrando una vez más sus


           profundos estudios de mi época—, en 1930 demostró


           que la matemática no podría completarse nunca. En


           su lugar, sus sistemas lógicos deben ser enriquecidos


           eternamente  incorporando  la  verdad  o  falsedad  de


           nuevos axiomas.



           —¡Me  duele  la  cabeza  de  pensarlo!  No  puedo  ni


           imaginar el recibimiento que el pobre Gödel debió de


           tener cuando anunció la noticia. Mi viejo profesor de


           álgebra lo hubiese echado de clase.


                                                                                                             171
   166   167   168   169   170   171   172   173   174   175   176