A proof complexity conjecture and the Incompleteness theorem.

Published in: Electron. Colloquium Comput. Complex. (2023)

Keyphrases

interactive theorem proving
computational cost
theorem prover
case study
lower complexity
databases
data mining
machine learning
search algorithm
computational complexity
space complexity
complexity analysis