Vous êtes sur la page 1sur 66
JAVIER DE LORENZO. Légica y matemdtica en K. Godel (Aparie de «Esrupios Fitoséricoss) Ne 79, Vol. XXVIIL, Setiembre-Diciembre, 1979 Légica y matemdtica en K. Godel En todo ensayo de Ciencia ficcién se hacen obligadas unas pala- bras liminares que aseguren al lector que lo narrado es veridico. Pax labras liminares que, en el caso de este ensayo, por versar acerca de Logica y Matematica, no pueden asegurar al lector la veracidad de lo que en él se narra. Muy al contratio, es obligado afirmar que todo lo que en este ensayo se lea es falso. Palabras liminares que, aqui, deben indicar que el escrito se pre- fende como un homenaje al matemético austriaco Kurt Gédel (*). Se intenta exponer —tras un muy breve y esquemitico encuadre— tanto las contribuciones como Jos métodos creados por Gédel y, sobre todo, algunas consecuencias y perspectivas que los mismos provocan. No todas, ni siquiera las que se exponen, en su cabal desarrollo. Con la advertencia de que algunos teoremas van demostrados —no en la for- ma original plasmada por Gidel, sino en la lirea producida por una perspectiva posterior—; otros, s6lo esbozada su demostracién; los mas, ‘inicamente en su enunciado. Las referencias bibliograficas, cuando son de Gédel, tinicamente se indican por la fecha de su publicacién, AI final de algunos pardgrafos se agregan Ia de aquellos autores que més directamente ban sido ma- nejados. En especial debo mencionar Kneebone 1963, de Lorenzo 1974, Monk 1976, Mostowski 1966, (0). Efectivamente el trabajo se escribié con ocasiba de la muerte de K, Go- el, hace ya mis de aflo y medio, pero no ha podido imprimirse hasta el pre-