Towards Concise, Machine-Discovered Proofs of Gödel's Two Incompleteness Theorems.

Elijah Malaby Bradley Dragun John Licato

Published in: FLAIRS Conference (2020)

Keyphrases

sequent calculus
incomplete information
cut elimination
theorem proving
batch processing
proof search
machine learning
theorem prover
social bookmarking
concise representation
search algorithm
relational databases
social media
inference rules
natural deduction
reveal interesting