Towards Concise, Machine-Discovered Proofs of Gdel's Two Incompleteness Theorems.

Elijah Malaby, Bradley Dragun, John Licato

Browse the full FlAIRS paper archive.