Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by John P. Sullins III
Gödel’s Incompleteness Theorems and Artificial Life
Techné: Research in Philosophy and Technology
Related publications
Gödel’s Incompleteness Theorems
A Machine-Assisted Proof of Gödel’s Incompleteness Theorems for the Theory of Hereditarily Finite Sets
Review of Symbolic Logic
Mathematics
Philosophy
Logic
Finite Sets and Gödel's Incompleteness Theorems
Dissertationes Mathematicae
Mathematics
Universality, Turing Incompleteness and Observers
Information, Randomness and Incompleteness
Genetic Algorithms and Artificial Life
Incompleteness via Paradox and Completeness
Review of Symbolic Logic
Mathematics
Philosophy
Logic
Theories of Incompleteness
Nature
Multidisciplinary
Artificial Life of Agents
