An introduction to Gödel's Theorems /
Saved in:
Author / Creator: | Smith, Peter, 1944- |
---|---|
Imprint: | Cambridge : Cambridge University Press, 2007. |
Description: | xiv, 361 p. ; 26 cm. |
Language: | English |
Series: | Cambridge introductions to philosophy Cambridge introductions to philosophy. |
Subject: | |
Format: | Print Book |
URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/6616001 |
MARC
LEADER | 00000cam a2200000 a 4500 | ||
---|---|---|---|
001 | 6616001 | ||
005 | 20130304160700.0 | ||
008 | 070426s2007 enk b 001 0 eng | ||
003 | ICU | ||
010 | |a 2007299862 | ||
015 | |a GBA733037 |2 bnb | ||
016 | 7 | |a 013735952 |2 Uk | |
019 | |a 237058512 | ||
020 | |a 9780521857840 (hbk.) | ||
020 | |a 0521857848 (hbk.) | ||
020 | |a 9780521674539 (pbk.) | ||
020 | |a 0521674530 (pbk.) | ||
035 | |a (OCoLC)124025603 |z (OCoLC)237058512 | ||
035 | |a yb958563 | ||
040 | |a UKM |b eng |c UKM |d BTCTA |d YDXCP |d BAKER |d BWKUK |d BWK |d COD |d DLC |d GZT |d OKU |d DEBBG |d EUM |d BDX | ||
042 | |a ukblcatcopy | ||
049 | |a CGUA | ||
050 | 0 | 0 | |a QA9.65 |b .S65 2007 |
082 | 0 | 4 | |a 511.3 |2 22 |
084 | |a CC 2000 |2 rvk | ||
084 | |a CC 2600 |2 rvk | ||
084 | |a SK 130 |2 rvk | ||
100 | 1 | |a Smith, Peter, |d 1944- |0 http://id.loc.gov/authorities/names/n86102736 |1 http://viaf.org/viaf/46145602393201360589 | |
245 | 1 | 3 | |a An introduction to Gödel's Theorems / |c Peter Smith. |
260 | |a Cambridge : |b Cambridge University Press, |c 2007. | ||
300 | |a xiv, 361 p. ; |c 26 cm. | ||
336 | |a text |b txt |2 rdacontent |0 http://id.loc.gov/vocabulary/contentTypes/txt | ||
337 | |a unmediated |b n |2 rdamedia |0 http://id.loc.gov/vocabulary/mediaTypes/n | ||
338 | |a volume |b nc |2 rdacarrier |0 http://id.loc.gov/vocabulary/carriers/nc | ||
490 | 1 | |a Cambridge introductions to philosophy | |
504 | |a Includes bibliographical references and index. | ||
505 | 0 | |a What Godel's theorems say -- Decidability and enumerability -- Axiomatized formal theories -- Capturing numerical properties -- The truths of arithmetic -- Sufficiently strong arithmetics -- Interlude: taking stock -- Two formalized arithmetics -- What q can prove -- First-order peano arithmetic -- Primitive recursive functions -- Capturing p r functions -- Q is p.r. adequate -- Interlude: a very little about Principia -- The arithmetization of syntax -- PA is incomplete -- Godel's first theorem -- Interlude: about the first theorem -- Strengthening the first theorem -- The diagonalization lemma -- Using the diagonalization lemma -- Second-order arithmetics -- Interlude: incompleteness and Isaacson's conjecture -- Godel's second theorem for PA -- The derivability conditions -- Deriving the derivability conditions -- Reflections -- Interlude: about the second theorem -- Recursive functions -- Undecidability and incompleteness -- Turing machines -- Turing machines and recursiveness -- Halting problems -- The church-turing thesis -- Proving the thesis. | |
520 | |a Peter Smith examines Gödel's Theorems, how they were established and why they matter. This is an ideal textbook for philosophy and mathematics students taking a first course in mathematical logic. A companion website is included with exercises. | ||
600 | 1 | 0 | |a Gödel, Kurt. |0 http://id.loc.gov/authorities/names/n79007770 |1 http://viaf.org/viaf/97851774 |
650 | 0 | |a Logic, Symbolic and mathematical. |0 http://id.loc.gov/authorities/subjects/sh85078115 | |
650 | 0 | 7 | |a Gödelscher Unvollständigkeitssatz. |2 swd |
655 | 7 | |a Einführung. |2 swd | |
655 | 4 | |a Einführung. | |
600 | 1 | 7 | |a Gödel, Kurt. |2 fast |0 http://id.worldcat.org/fast/fst00030398 |0 http://id.worldcat.org/fast/30398 |1 http://viaf.org/viaf/97851774 |
650 | 7 | |a Gödel numbers. |2 fast |0 http://id.worldcat.org/fast/fst00949805 | |
650 | 7 | |a Logic, Symbolic and mathematical. |2 fast |0 http://id.worldcat.org/fast/fst01002068 | |
830 | 0 | |a Cambridge introductions to philosophy. |0 http://id.loc.gov/authorities/names/no2007023562 | |
903 | |a HeVa | ||
929 | |a cat | ||
999 | f | f | |i 9125bb6b-faa1-5c2c-bbf8-4553dc5606bc |s 96eb29a0-73d9-5a43-adc8-37864b8b1353 |
928 | |t Library of Congress classification |a QA9.65 .S65 2007 |l Eck |c Eck-Eck |i 5273608 | ||
927 | |t Library of Congress classification |a QA9.65 .S65 2007 |l Eck |c Eck-Eck |e VAND |b 77110762 |i 8266206 |