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

Elijah Malaby Bradley Dragun John Licato

Published in: CoRR (2020)

Keyphrases

sequent calculus
theorem proving
incomplete information
cut elimination
proof search
theorem prover
flowshop
databases
real world
formal proofs
social networks
scheduling problem
mathematical proofs
linear logic
social bookmarking
multiscale
search engine
artificial intelligence
neural network