MathDB2 problems
- 0 votes0 replies1 view
The conjecture on self-justifying axiom systems for logic-based engineering applications
Let denote a logic-based engineering application. The preceding strategy uses self-justifying axiom systems that include finitely many formally true sentences and ker…
- 0 votes0 replies1 view
The conjecture on sophisticated theorem provers and fragmentary formalization of Gödel's and Hilbert's ambitions
The paper considers the contrast between positive and negative results about self-justifying axiom systems and theorem provers. Conjecture on sophisticated theorem provers. Sophist…