Acerca de la prueba de solidez de la aritmética inconsistente

Ponente(s): Luis Estrada González
Existe la creencia más o menos generalizada de que no se puede probar la solidez de la aritmética inconsistente de Priest en la teoría misma, so pena de trivialidad por el teorema de Löb. (Registros escritos de esta creencia son "Dialetheic truth theory", de Federico Marulanda, e "Inconsistency and incompleteness, revisited", de Stewart Shapiro.) En esta plática mostraré que esas críticas son infundadas, pues el teorema de Löb no vale para la aritmética de Priest. Se necesitarían, pues, otros argumentos para probar que en la aritmética de Priest no se puede probar su propia solidez.