04.07.2014 Views

Arte y ciencia - Universidad de Los Andes

Arte y ciencia - Universidad de Los Andes

Arte y ciencia - Universidad de Los Andes

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

cierto que ahora estaba más preocupado por sus juegos,<br />

y peor aún, por la programación <strong>de</strong> calculadoras mecánicas…<br />

Poco antes, en 1900, David Hilbert, un matemático<br />

<strong>de</strong> la <strong>Universidad</strong> <strong>de</strong> Gotinga, leyó durante la sesión <strong>de</strong><br />

apertura <strong>de</strong>l Congreso matemático <strong>de</strong> París una ponencia<br />

que se conoció a partir <strong>de</strong> entonces como Programa <strong>de</strong><br />

Hilbert. En ella, se presentaba una lista <strong>de</strong> los gran<strong>de</strong>s<br />

problemas aún no resueltos por las matemáticas –la tarea<br />

para los especialistas <strong>de</strong>l futuro– entre los que se hallaba,<br />

señaladamente, la llamada “cuestión <strong>de</strong> la completitud”.<br />

La pregunta era, básicamente, si esta disciplina –o cualquier<br />

otro sistema axiomático– era coherente y completo,<br />

es <strong>de</strong>cir, si contenía o no contradicciones y si cualquier<br />

proposición matemática podía ser <strong>de</strong>rivada a través <strong>de</strong><br />

sus postulados. Hilbert pensaba que la respuesta sería<br />

afirmativa, como señaló a sus colegas reunidos en París...<br />

En sus páginas Gö<strong>de</strong>l no solo <strong>de</strong>mostraba que en los<br />

Principia matemática podía existir una proposición que<br />

al mismo tiempo fuese verda<strong>de</strong>ra e in<strong>de</strong>mostrable –esto<br />

es in<strong>de</strong>cible–, sino que esto ocurriría necesariamente con<br />

cualquier sistema axiomático, con cualquier tipo <strong>de</strong> matemáticas<br />

existentes ahora o que fuese a existir en el futuro.<br />

En contra <strong>de</strong> todas las previsiones <strong>de</strong> los especialistas,<br />

las matemáticas eran, sin asomo <strong>de</strong> dudas, incompletas…<br />

En resumen, Gö<strong>de</strong>l afirmaba que en cualquier sistema<br />

–en cualquier <strong>ciencia</strong>, en cualquier lengua, en cualquier<br />

mente– existen aseveraciones que son ciertas pero que<br />

no pue<strong>de</strong>n ser comprobadas… Si la teoría <strong>de</strong> la relatividad<br />

<strong>de</strong> Einstein y la teoría cuántica <strong>de</strong> Bohr y sus seguidores<br />

se habían encargado <strong>de</strong> <strong>de</strong>mostrar que la física<br />

había <strong>de</strong>jado <strong>de</strong> ser una <strong>ciencia</strong> exacta –un compendio<br />

<strong>de</strong> afirmaciones absolutas– , ahora Gö<strong>de</strong>l hacía lo mismo<br />

con las matemáticas. Nadie estaba a salvo en el mundo<br />

que comenzaba a ser dominado por la incertidumbre.<br />

Gracias a Gö<strong>de</strong>l, la verdad se tornó más huidiza y caprichosa<br />

que nunca… Temeroso, Gö<strong>de</strong>l hacía lo posible<br />

por no fijarse en los ojos <strong>de</strong> su público, perdiéndose en<br />

101

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!