Está en la página 1de 2

KURT GOEDEL. On formally undecidable Propositions of Principia mathematica and related Systems.

Traduccin del original alemn por Meltzer con estudio previo de R. B. Braithwaite. Oliver & Boyd, London, 1962, 72 pginas. Desde 1931 en que sali a la luz pblica el trabajo de Goedel, con la demostracin desconcertante del conocido teorema, no solamente no han aparecido traducciones sino que el texto mismo original es difcilmente asequible en bibliotecas, y casi imposible de adquirirlo en privado. Tal situacin resulta propicia para el acrecentamiento de los intermediarios: el autor de una obra de lgica, el profesor de un curso, tiene que repetir lo que otros, de ordinario apoyados en otro que tampoco ha visto nunca el original alemn, han dicho que dijo fulano que haba dicho mengano que dijo perengano que, realmente vio, ley y suponemos, entendi lo que Goedel dijo. Esta situacin es cientficamente inadmisible, aunque en otros rdenes sea la normal. Maelzer, profesor de la Universidad de Edimburgo, ha remediado en ingls esta falla. En la obra presente est el texto de Goedel completo, en traduccin inglesa, y con un diccionario de las palabras bsicas alemanas empleadas por Goedel, contrapuesto a las usadas en la traduccin, que ayude a los lectores escrupulosos en punto a lenguaje y traducciones a cotejar, cuando tuvieren ocasin, la traduccin con el original. Aunque, sea dicho en honor de la verdad, el carcter eminentemente tcnico del texto alemn, su amplio y decisivo empleo del simbolismo extralingstico den poca coyuntura para una infidelidad en la traduccin. Lo importante, que es cuidar de la perfecta trascripcin de las frmulas, ha sido en esta edicin cuidadosamente vigilado. Pero no han pasado en vano treinta aos desde la aparicin del teorema, y este lapso ha dado oportunidad para reexaminar sus fundamentos, determinar el alcance de su poder devastador, simplificar la prueba, corregir los defectos apuntados por Goedel en los sistemas de la misma o parecida estructura a los de Principia mathematica de Whitehead y Russell, y estudiar si tales intentos resultan o no eficaces. Por otra parte del condensadsimo lenguaje que emplea Goedel ofrece peculiares dificultades, aun para los especialistas. Este conjunto de circunstancias han movido al Prof. Braithwaite de Cambridge a dotar esta edicin de una introduccin (pg. 1-32) que haga el trabajo de Goedel de vez moderno y accesible al estudio. Esta introduccin lo es al trabajo mismo, y no al contenido general y lneas caractersticas de l, como la obra de Newman y Nagel, de que en otra nota se ha hablado en la Revista Nacional de Cultura, Sigue, pues, B. todos y cada uno de los pasos del proceso de Goedel, con cita constante de los prrafos y pginas a que se refiere la explicacin. Dos cosas aade B., como no poda ser menos en 1962; primero la constitucin actual, clara y distinta, resaltante y estructurada de Metamatemtica, metalgica y metalenguajes, frente a su estado rudimentario, germinal en tiempos del trabajo de Goedel (1931). Segundo: Determinacin del carcter sintctico del teorema de Goedel. B. explica detenidamente que los dos teoremas de Goedel son teoremas metamatemticos acerca de un clculo especial (su sistema formal P), mas no son, de suyo, teoremas metamatemticos acerca de un sistema deductivo que sea interpretacin de dicho clculo. Goedel, en su Introduccin, mezcla consideraciones

semnticas con sintcticas; la distincin entre lo que es propiamente semntico y lo que es sintctico fue introducida un ao o dos ms tarde por Tarski, quien estableci rigurosamente que la no demostrabilidad de ciertas proposiciones (que tenan, de suyo, que ser teoremas, o proposiciones demostrables) era de origen semntico. Empleando una terminologa de Aristteles y modificndola convenientemente con ideas de Husserl podramos afirmar compendiosamente: Goedel ha mostrado que el plan de demostracin integral, o sea: en una ciencia perfecta todo lo que en ella interviene o es principio de demostracin o proposicin demostrado, todo es o Creador o Creatura, no pasa de semntico, de indicacin; no puede llegar a apofntico, a plenaria declaracin. O sea, dicho ahora en trminos y plan de Husserl: precisamente en las ciencias, ejemplarmente tales, cual aritmtica, atributo tan bsico como demostrar o ser demostrado tiene que quedar en fase de intencin significativa y no puede llegar a cumplimiento intuitivo. No slo sucede as, sino que es necesario, so pena de contradiccin, que suceda as. El plan de una ciencia universal, ideal Husserliano y de toda fenomenologa, es irrealizable. Despus de haberse tomado el trabajo largo y sutil de seguir paso a paso la prueba de Goedel en su formulacin original vale la pena que los filsofos nos pongamos a meditar sobre el alcance filosfico general de la misma.

Juan David Garca Bacca. Goedel, Kurt: On formally undecidable Propositions of Principia mathematica and related Systems. Revista Nacional de Cultura. Caracas: N 155, 162, p. 170-171.