Home

WorldCat Home About WorldCat Help

Search

Search for Library Items Search for Lists Search for Contacts Search for a Library

Create lists, bibliographies and reviews: or

Cite/Export

Cite/Export

Copy a citation

APA (6th ed.)

Chicago (Author-Date, 15th ed.)

Harvard (18th ed.)

MLA (7th ed.)

Turabian (6th ed.)

Export a citation
Export to RefWorks Export to EndNote / Reference Manager Export to EasyBib
Export to EndNote / Reference Manager(non-Latin) Cancel
Note: Citations are based on reference standards. However, formatting rules can vary widely between applications and fields of interest or study. The specific requirements or preferences of your reviewing publisher, classroom teacher, institution or organization should be applied.
Print
E-mail

E-mail

All fields are required.

The E-mail Address(es) field is required. Please enter recipient e-mail address(es).

The E-mail Address(es) you entered is(are) not in a valid format. Please re-enter recipient e-mail address(es).

You may send this item to up to five recipients.
Enter recipient e-mail address(es): Separate up to five addresses with commas (,)
The name field is required. Please enter your name.
Enter your name: Subject:
The E-mail message field is required. Please enter the message.
E-mail Message: I thought you might be interested in this item at http://www.worldcat.org/oclc/124025603 Title: An introduction to Gödel's Theorems Author: Peter Smith Publisher: Cambridge, UK ; New York : Cambridge University Press, 2007. ISBN/ISSN: 9780521857840 0521857848 9780521674539 0521674530 OCLC:124025603

Please verify that you are not a robot.

Cancel
Share
Permalink

Permalink

Copy this URL to link to this page:

Write a review
Rate this item:
- 1
- 2
- 3
- 4
- 5

Preview this item

Checking...

An introduction to Gödel's Theorems

Author:	Peter Smith
Publisher:	Cambridge, UK ; New York : Cambridge University Press, 2007.
Series:	Cambridge introductions to philosophy.
Edition/Format:	Print book : EnglishView all editions and formats
Summary:	Peter Smith examines Gö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.
Rating:	(not yet rated) 0 with reviews - Be the first.
Subjects	Gödel numbers. Gödel, Kurt. Logic, Symbolic and mathematical. View all subjects
More like this	Similar Items

Borrow / obtain a copy

Find a copy in the library

Finding libraries that hold this item...

Details

Genre/Form:	Einführung
Named Person:	Kurt Gödel; Kurt Gödel
Material Type:	Internet resource
Document Type:	Book, Internet Resource
All Authors / Contributors:	Peter Smith Find more information about:
ISBN:	9780521857840 0521857848 9780521674539 0521674530
OCLC Number:	124025603
Description:	xiv, 361 pages ; 26 cm.
Contents:	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.
Series Title:	Cambridge introductions to philosophy.
Responsibility:	Peter Smith.
More information:	Table of contents Contributor biographical information Publisher description

Abstract:

Peter Smith examines Goedel's Theorems, how they were established and why they matter. Read more...

Reviews

Editorial reviews

Publisher Synopsis

'Smith has written a wonderful book giving a clear and compelling presentation of Goedel's Theorems and their implications. His style is both precise and engaging at the same time. The clarity of the Read more...

User-contributed reviews

Linked Data

Primary Entity

<http://www.worldcat.org/oclc/124025603> # An introduction to Gödel's Theorems
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "124025603" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/119737250#Place/cambridge_uk> ; # Cambridge, UK
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   schema:about <http://dewey.info/class/511.3/e22/> ;
   schema:about <http://viaf.org/viaf/97851774> ; # Kurt Gödel
   schema:about <http://id.worldcat.org/fast/949805> ; # Gödel numbers
   schema:about <http://experiment.worldcat.org/entity/work/data/119737250#Person/godel_kurt> ; # Kurt Gödel
   schema:about <http://experiment.worldcat.org/entity/work/data/119737250#Topic/symbolisk_logik> ; # Symbolisk logik
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/119737250#Topic/godelscher_unvollstandigkeitssatz> ; # Gödelscher Unvollständigkeitssatz
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://viaf.org/viaf/46145602393201360589> ; # Peter Smith
   schema:datePublished "2007" ;
   schema:description "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."@en ;
   schema:description "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."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/119737250> ;
   schema:genre "Einführung"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/119737250#Series/cambridge_introductions_to_philosophy> ; # Cambridge introductions to philosophy.
   schema:name "An introduction to Gödel's Theorems"@en ;
   schema:productID "124025603" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/124025603#PublicationEvent/cambridge_uk_new_york_cambridge_university_press_2007> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/119737250#Agent/cambridge_university_press> ; # Cambridge University Press
   schema:url <http://catdir.loc.gov/catdir/enhancements/fy0803/2007299862-t.html> ;
   schema:workExample <http://worldcat.org/isbn/9780521857840> ;
   schema:workExample <http://worldcat.org/isbn/9780521674539> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA733037> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/124025603> ;
    .

Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://dewey.info/class/511.3/e22/>
a schema:Intangible ;
.

<http://experiment.worldcat.org/entity/work/data/119737250#Agent/cambridge_university_press> # Cambridge University Press
    a bgn:Agent ;
   schema:name "Cambridge University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/119737250#Person/godel_kurt> # Kurt Gödel
    a schema:Person ;
   schema:familyName "Gödel" ;
   schema:givenName "Kurt" ;
   schema:name "Kurt Gödel" ;
    .

<http://experiment.worldcat.org/entity/work/data/119737250#Place/cambridge_uk> # Cambridge, UK
    a schema:Place ;
   schema:name "Cambridge, UK" ;
    .

<http://experiment.worldcat.org/entity/work/data/119737250#Series/cambridge_introductions_to_philosophy> # Cambridge introductions to philosophy.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/124025603> ; # An introduction to Gödel's Theorems
   schema:name "Cambridge introductions to philosophy." ;
   schema:name "Cambridge introductions to philosophy" ;
    .

<http://experiment.worldcat.org/entity/work/data/119737250#Topic/godelscher_unvollstandigkeitssatz> # Gödelscher Unvollständigkeitssatz
    a schema:Intangible ;
   schema:name "Gödelscher Unvollständigkeitssatz"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/119737250#Topic/symbolisk_logik> # Symbolisk logik
    a schema:Intangible ;
   schema:name "Symbolisk logik"@en ;
    .

<http://id.loc.gov/vocabulary/countries/enk>
    a schema:Place ;
   dcterms:identifier "enk" ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/949805> # Gödel numbers
    a schema:Intangible ;
   schema:name "Gödel numbers"@en ;
    .

<http://viaf.org/viaf/46145602393201360589> # Peter Smith
    a schema:Person ;
   schema:birthDate "1944" ;
   schema:familyName "Smith" ;
   schema:givenName "Peter" ;
   schema:name "Peter Smith" ;
    .

<http://viaf.org/viaf/97851774> # Kurt Gödel
    a schema:Person ;
   schema:familyName "Gödel" ;
   schema:givenName "Kurt" ;
   schema:name "Kurt Gödel" ;
    .

<http://worldcat.org/isbn/9780521674539>
    a schema:ProductModel ;
   schema:isbn "0521674530" ;
   schema:isbn "9780521674539" ;
    .

<http://worldcat.org/isbn/9780521857840>
    a schema:ProductModel ;
   schema:isbn "0521857848" ;
   schema:isbn "9780521857840" ;
    .

<http://www.worldcat.org/title/-/oclc/124025603>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/124025603> ; # An introduction to Gödel's Theorems
   schema:dateModified "2018-03-09" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

<http://www.worldcat.org/title/-/oclc/124025603#PublicationEvent/cambridge_uk_new_york_cambridge_university_press_2007>
    a schema:PublicationEvent ;
   schema:location <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:location <http://experiment.worldcat.org/entity/work/data/119737250#Place/cambridge_uk> ; # Cambridge, UK
   schema:organizer <http://experiment.worldcat.org/entity/work/data/119737250#Agent/cambridge_university_press> ; # Cambridge University Press
   schema:startDate "2007" ;
    .

Content-negotiable representations

Turtle (text/turtle)
JSON-LD (application/ld+json)
RDF/XML (application/rdf+xml)
N-TRIPLES (text/plain)
HTML+RDFa (text/html)

Please sign in to WorldCat

Don't have an account? You can easily create a free account.

You:	Sign In \| Register \| My WorldCat \| My Lists \| My Watchlist \| My Reviews \| My Tags \| My Saved Searches
WorldCat:	Home \| About \| Help \| Search

Nearby libraries