La herencia de Gödel: revisitando la Lógica

RESUMEN: Se exponen algunas equivocaciones sobre temas fundamentales de Lógica frecuentemente difundidas: la interpretación de los dos Teoremas de incompletitud, algunos desaciertos de Chaitin y la clasificación corriente de los Sistemas axiomáticos según el orden expresivo del lenguaje. PALABRAS CLAVE: Incompletitud, indecidibilidad, completitud semántica, casualidad, constante de Chaitin, lenguajes del segundo orden, consistencia. ABSTRACT: Some common fallacies about fundamental themes of Logic are exposed: the First and Second incompleteness Theorem interpretations, Chaitin’s various superficialities and the usual classification of the axiomatic Theories en function of its language order. KEYWORDS: Incompleteness, undecidability, soundness, randomness, Chaitin’s constant, second order languages, consistency.