A theorem prover is a dynamical system. Its initial state is the axioms, and its final one is their deductive closure.
Theorem Prover as Dynamical System: Axioms to Deductive Closure
By
–
By
–
A theorem prover is a dynamical system. Its initial state is the axioms, and its final one is their deductive closure.