¿Qué paradigma de la demostración automatizada de teoremas es apropiado para la formalización al estilo Principia Mathematica?
Estoy en posesión de un libro que, inspirado en los Principia Mathematica (PM) de Russell y el positivismo lógico, intenta formalizar un dominio específico determinando axiomas y deduciendo teoremas de ellos. En resumen, intenta hacer por su dominio lo que PM intentó hacer por las matemáticas. Al...