Editing Gödel's incompleteness theorems (section)

=== Miscellaneous references ===
* {{cite journal |first=Francesco |last=Berto |date=2009 |title=The Gödel Paradox and Wittgenstein's Reasons |journal=[[Philosophia Mathematica]] |volume=III |issue=17}}
* {{cite book | last=Dawson | first=John W. Jr. | title=Logical dilemmas: The life and work of Kurt Gödel | publisher=Taylor & Francis | year=1996 | isbn=978-1-56881-025-6}}
* {{cite book | last=Dawson | first=John W. Jr. | title=Logical dilemmas: The life and work of Kurt Gödel | publisher=[[A. K. Peters]] | publication-place=Wellesley, Massachusetts | year=1997 | isbn=978-1-56881-256-4 | oclc=36104240}}
* [[Rebecca Goldstein]], 2005, ''Incompleteness: the Proof and Paradox of Kurt Gödel'', W. W. Norton & Company. {{ISBN|0-393-05169-2}}
* {{cite journal | last1=Floyd | first1=Juliet | last2=Putnam | first2=Hilary | title=A Note on Wittgenstein's "Notorious Paragraph" about the Godel Theorem | journal=[[The Journal of Philosophy]] | publisher=JSTOR | volume=97 | issue=11 | year=2000 | issn=0022-362X | doi=10.2307/2678455 | pages=624–632| jstor=2678455 }}
* {{cite book |last1=Harrison |first1=J. |title=Handbook of practical logic and automated reasoning |date=2009 |publisher=Cambridge University Press |location=Cambridge |isbn=978-0521899574}}
* [[David Hilbert]] and [[Paul Bernays]], ''[[Grundlagen der Mathematik]]'', Springer-Verlag.
* {{cite book |last1=Hopcroft |first1=John E. |author-link1=John Hopcroft |last2=Ullman |first2=Jeffrey |author-link2=Jeffrey Ullman |title=[[Introduction to Automata Theory, Languages, and Computation]] |date=1979 |publisher=Addison-Wesley |location=Reading, Mass. |isbn=0-201-02988-X}}
* {{cite book |last = Hofstadter |first = Douglas R. |author-link = Douglas Hofstadter |title = I Am a Strange Loop |title-link = I Am a Strange Loop |chapter = Chapter 12. On Downward Causality |chapter-url = https://publicism.info/philosophy/strange/14.html |year = 2007 |publisher = Basic Books |orig-year = 2003 |isbn = 978-0-465-03078-1 |access-date = 2018-10-24 |archive-date = 2019-05-08 |archive-url = https://web.archive.org/web/20190508182834/https://publicism.info/philosophy/strange/14.html |url-status = dead }}
* {{cite journal |first=James P. |last=Jones |url=https://www.ams.org/bull/1980-03-02/S0273-0979-1980-14832-6/S0273-0979-1980-14832-6.pdf |title=Undecidable Diophantine Equations |journal=Bulletin of the American Mathematical Society |volume=3 |issue=2 |date=1980 |pages=859–862|doi=10.1090/S0273-0979-1980-14832-6 }}
* {{cite journal |author-link=Stephen Cole Kleene |first=Stephen Cole |last=Kleene |date=1967 |title=Mathematical Logic|journal=Nature |volume=216 |issue=5111 |page=201 |doi=10.1038/216201b0 |bibcode=1967Natur.216..201G }} Reprinted by Dover, 2002. {{ISBN|0-486-42533-9}}
* {{cite book |first=Russell |last=O'Connor |title=Theorem Proving in Higher Order Logics |chapter=Essential Incompleteness of Arithmetic Verified by Coq |series=Lecture Notes in Computer Science |date=2005 |volume=3603 |pages=245–260|doi=10.1007/11541868_16 |arxiv=cs/0505034 |isbn=978-3-540-28372-0 |s2cid=15610367 }}
* {{cite journal |author-link=Lawrence Paulson |first=Lawrence |last=Paulson |date=2014 |title=A machine-assisted proof of Gödel's incompleteness theorems for the theory of hereditarily finite sets |journal=Review of Symbolic Logic |volume=7 |issue=3 |pages=484–498 |doi=10.1017/S1755020314000112|s2cid=13913592 |url=https://www.repository.cam.ac.uk/handle/1810/245422 |arxiv=2104.14260 }}
* {{cite journal |last=Priest |first=Graham |author-link=Graham Priest |date=1984 |title=Logic of Paradox Revisited |journal=Journal of Philosophical Logic |volume=13 |number=2  |pages=153–179|doi=10.1007/BF00453020 }}
* {{cite book |last=Priest |first=Graham |date=2004 |chapter=Wittgenstein's Remarks on Gödel's Theorem |editor=Max Kölbel |title=Wittgenstein's lasting significance |publisher=Psychology Press |pages=207–227 |isbn=978-1-134-40617-3}}
* {{cite book |author-link=Graham Priest |first=Graham |last=Priest |date=2006 |title=In Contradiction: A Study of the Transconsistent |publisher=Oxford University Press |isbn=0-19-926329-9}}
* {{cite book |last=Putnam |first=Hilary |author-link=Hilary Putnam |date=1960 |chapter=Minds and Machines |editor=Sidney Hook |editor-link=Sidney Hook |title=Dimensions of Mind: A Symposium |publisher=New York University Press}} Reprinted in Anderson, A. R., ed., 1964. ''Minds and Machines''. Prentice-Hall: 77.
* [[Wolfgang Rautenberg]], 2010, ''[https://link.springer.com/book/10.1007%2F978-1-4419-1221-3 A Concise Introduction to Mathematical Logic]'', 3rd. ed., Springer, {{ISBN|978-1-4419-1220-6}}
* {{cite journal |last1=Rodych |first1=Victor |title=Misunderstanding Gödel: New Arguments about Wittgenstein and New Remarks by Wittgenstein |journal=Dialectica |date=2003 |volume=57 |issue=3 |pages=279–313|doi=10.1111/j.1746-8361.2003.tb00272.x }} {{doi|10.1111/j.1746-8361.2003.tb00272.x}}
* {{cite journal|mr=0357114|last=Shelah| first=Saharon|authorlink = Saharon Shelah|title=Infinite Abelian groups, Whitehead problem and some constructions |journal=[[Israel Journal of Mathematics]] |volume=18 |year=1974| issue=3|pages=243–256|doi=10.1007/BF02757281|doi-access=free}}
* {{cite journal |last=Shapiro |first=Stewart |author-link=Stewart Shapiro |date=2002 |title=Incompleteness and Inconsistency |journal=Mind |volume=111 |issue=444 |pages=817–32 |doi=10.1093/mind/111.444.817 }}
* {{cite book |author-link1=Alan Sokal |first1=Alan |last1=Sokal |author-link2=Jean Bricmont |first2=Jean |last2=Bricmont |date=1999 |title=[[Fashionable Nonsense]]: Postmodern Intellectuals' Abuse of Science |publisher=Picador |isbn=0-312-20407-8}}
* {{cite book |last1=Shoenfield |first1=Joseph R. |author-link1=Joseph R. Shoenfield |title=Mathematical logic |date=1967 |publication-date=2001 |publisher=Association for Symbolic Logic |location=Natick, Mass. |isbn=978-1-56881-135-2}}
* {{cite book |author-link1=Jeremy Stangroom |first1=Jeremy |last1=Stangroom |author-link2=Ophelia Benson |first2=Ophelia |last2=Benson |title=Why Truth Matters |publisher=Continuum |date=2006 |isbn=0-8264-9528-1}}
* George Tourlakis, ''Lectures in Logic and Set Theory, Volume 1, Mathematical Logic'', Cambridge University Press, 2003. {{ISBN|978-0-521-75373-9}}
* {{cite book |last=Wigderson |first=Avi |author-link=Avi Wigderson |date=2010 |chapter-url=http://www.math.ias.edu/~avi/BOOKS/Godel_Widgerson_Text.pdf |chapter=The Gödel Phenomena in Mathematics: A Modern View |title=Kurt Gödel and the Foundations of Mathematics: Horizons of Truth |publisher=Cambridge University Press}}
* [[Hao Wang (academic)|Hao Wang]], 1996, ''A Logical Journey: From Gödel to Philosophy'', The MIT Press, Cambridge MA, {{ISBN|0-262-23189-1}}.
* {{cite book | last=Zach | first=Richard  | year=2007| chapter=Hilbert's Program Then and Now|pages=411–447 | doi=10.1016/b978-044451541-4/50014-2 | editor-last=Jacquette | editor-first=Dale | title=Philosophy of logic |series=Handbook of the Philosophy of Science |volume=5 | publisher=Elsevier | arxiv=math/0508572 | publication-place=Amsterdam | isbn=978-0-444-51541-4 | s2cid=291599 | oclc=162131413}}