Estaba leyendo la pregunta ¿ Consistencia e integridad implican solidez? y la primera declaración dice:
Entiendo que la solidez implica consistencia.
Lo que me intrigó bastante porque pensé que la solidez era una afirmación más débil que la consistencia (es decir, pensé que los sistemas consistentes tenían que ser sólidos, pero supongo que no es cierto). Estaba usando la definición informal que Scott Aaronson estaba usando en su curso 6.045 / 18.400 en el MIT por consistencia y solidez:
- Solidez = Un sistema de prueba es sólido si todas las afirmaciones que prueba son realmente verdaderas (todo lo que es demostrable es Verdadero). es decir, IF ( es demostrable)( es cierto). Entonces SI (hay un camino hacia una fórmula) ENTONCES (esa fórmula es verdadera)
- Consistencia = un sistema consistente nunca prueba A y NO (A). Entonces solo una A o su negación puede ser Verdadero.
Usando esas definiciones (quizás informales) en mente, construí el siguiente ejemplo para demostrar que hay un sistema que es sólido pero no consistente:
La razón por la que pensé que era un sistema de sonido es porque, por supuesto, los axiomas son ciertos. Entonces A y no A son ambos verdaderos (sí, sé que la ley del medio excluido no está incluida). Dado que la única regla de inferencia es la negación, obtenemos que podemos alcanzar tanto A como no A desde los axiomas y alcanzarnos entre nosotros. Por lo tanto, solo alcanzamos declaraciones Verdaderas con respecto a este sistema. Sin embargo, por supuesto, el sistema no es consistente porque podemos probar la negación de la única declaración en el sistema. Por lo tanto, he demostrado que un sistema de sonido podría no ser consistente. ¿Por qué es incorrecto este ejemplo? ¿Qué hice mal?
En mi cabeza, esto tiene sentido intuitivamente porque la solidez solo dice que una vez que comenzamos desde axioma y arrancamos las reglas de inferencia, solo llegamos a destinos (es decir, declaraciones) que son verdaderos. Sin embargo, en realidad no dice a qué destino llegamos. Sin embargo, la consistencia dice que solo podemos llegar a destinos que son o (ambos no ambos). Por lo tanto, cada sistema consistente debe incluir la ley del medio excluido como un axioma, que por supuesto no lo hice y luego simplemente incluí la negación del único axioma como el único otro axioma. Entonces, ¿no parece que hice algo demasiado inteligente, pero de alguna manera algo está mal?¬ A
Me doy cuenta de que podría ser un problema porque estoy usando la definición informal de Scott. Incluso antes de escribir la pregunta, revisé wikipedia, pero su definición no tenía sentido para mí. En particular la parte que dicen:
con respecto a la semántica del sistema
su cita completa es:
Cada fórmula que se puede probar en el sistema es lógicamente válida con respecto a la semántica del sistema.