Incompleteness and Computability: An Open Introduction to Gödel's Theorems

Open Logic Project (2019)
  Copy   BIBTEX

Abstract

Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.

Categories

Keywords

Reprint years

ISBN(s)

1077323395   9781077323391

Other Versions

No versions found

View all bargains

Buy this book

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Current Research on Gödel’s Incompleteness Theorems.Yong Cheng - 2021 - Bulletin of Symbolic Logic 27 (2):113-167.
On Formalization of Model-Theoretic Proofs of Gödel's Theorems.Makoto Kikuchi & Kazuyuki Tanaka - 1994 - Notre Dame Journal of Formal Logic 35 (3):403-412.
Gödel's Second Incompleteness Theorem for General Recursive Arithmetic.William Ryan - 1978 - Mathematical Logic Quarterly 24 (25‐30):457-459.
Computability and Logic.George Boolos, John Burgess, Richard P. & C. Jeffrey - 1980 - New York: Cambridge University Press. Edited by John P. Burgess & Richard C. Jeffrey.
Generalizations of gödel’s incompleteness theorems for ∑ N-definable theories of arithmetic.Makoto Kikuchi & Taishi Kurahashi - 2017 - Review of Symbolic Logic 10 (4):603-616.
Gödel’s Second Incompleteness Theorem: How It is Derived and What It Delivers.Saeed Salehi - 2020 - Bulletin of Symbolic Logic 26 (3-4):241-256.
A Note on Boolos' Proof of the Incompleteness Theorem.Makoto Kikuchi - 1994 - Mathematical Logic Quarterly 40 (4):528-532.
Arithmetic and Logic Incompleteness: the Link.Laureano Luna & Alex Blum - 2008 - The Reasoner 2 (3):6.
What is Mathematics: Gödel's Theorem and Around (Edition 2015).Karlis Podnieks - manuscript
Three theorems of Godel.Andrew Boucher - manuscript

Analytics

Added to PP
2019-04-04

Downloads
2,083 (#6,419)

6 months
232 (#12,801)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Richard Zach
University of Calgary

Citations of this work

Logical Disagreement.Frederik J. Andersen - 2024 - Dissertation, University of St. Andrews

Add more citations

References found in this work

A note on the entscheidungsproblem.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (1):40-41.
An Unsolvable Problem of Elementary Number Theory.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (2):73-74.
An Introduction to Gödel's Theorems.Peter Smith - 2007 - New York: Cambridge University Press.
An Introduction to Gödel's Theorems.Peter Smith - 2009 - Bulletin of Symbolic Logic 15 (2):218-222.

View all 15 references / Add more references