Analogico-Deductive Generation of Gdel's First Incompleteness Theorem from the Liar Paradox.

John Licato, Naveen Sundar Govindarajulu, Selmer Bringsjord, Michael Pomeranz, Logan Gittelson

Browse the full IJCAI paper archive.