Resumen: La literatura distingue tres modelos principales de los sistemas dialécticos: (d) sistemas dialécticos basados en revisar las creencias cuando se considera que son sistemas dialécticos inconsistentes, basados en la revisión de creencias basadas en encontrar un contraejemplo y sistemas Q-dialécticos que pueden hacer ambos. Respondemos un problema abierto en la literatura al demostrar que los sistemas Q-dialécticos son estrictamente más potentes que los sistemas P-dialécticos, que se sabe que son estrictamente más fuertes que los sistemas dialécticos (d). Este resultado destaca los roles complementarios del contraejemplo y la contradicción en la revisión automatizada de creencias, y por lo tanto también en los procesos de razonamiento de los matemáticos y las comunidades de investigación.
Publicado Originalme en export.arxiv.org El 9 de julio de 2025.
Ver Fuente Original
