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... More > classification of the axiomatic Theories in function of its language order.
KEYWORDS: Incompleteness, undecidability, semantic completeness, categoricity, randomness, Chaitin's constant, first and second order languages, consistency.< Less
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... More > 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.< Less