Sobre la extensión a la aritmética del teorema de Rice

RAFAEL GRIMSON

Cordoba, Argentina

Otro; XIV Coloquio Latinoamericano de Álgebra; 2001

We give a new proof of Rice theorem, based on the Halting Problem. We further extend this result to Peano Arithmetic. The proof of the arithmetic version of Rice theorem is based on Tarski's result on the inexpressability of the truth.