INVESTIGADORES
GRIMSON Rafael
congresos y reuniones científicas
Título:
Limitaciones de los formailsmos
Autor/es:
RAFAEL GRIMSON
Lugar:
San Jose, Costa Rica
Reunión:
Simposio; XII SLALM (Simposio Latinoamericano de Logica Matematica); 2004
Resumen:
Introducimos una forma abstracta del argumento diagonal de Cantor que permite demostrar una amplia gama de resultados clásicos de limitaciones de los formalismos incluyendo el teorema de la verdad de Tarski, la incomputabilidad del predicado Halt demostrada por Turing y, usando la terminología de Chaitín, el resultado que afirma que la aritmética de Peano solo puede demostrar la elegancia de finitos programas. Dicha técnica saca a la luz los elementos comunes de los resultados mencionados, mostrando que son todos corolarios de un simple enunciado abstracto.
