conftrace_
← Back to papers
2013 IJCAI IJCAI 2013

Analogico-Deductive Generation of Gödel’s First Incompleteness Theorem from the Liar Paradox

🚀 Conference Pioneer - IJCAI 2013

Authors

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

Related papers

Reasoning about Normative Update 2013
Maximal Recursive Rule: A New Social Decision Scheme 2013
Sequences of Mechanisms for Causal Reasoning in Artificial Intelligence 2013
A Formal Account of Nondeterministic and Failed Actions 2013
Action Translation in Extensive-Form Games with Large Action Spaces: Axioms, Paradoxes, and the Pseudo-Harmonic Mapping 2013