doorgaan naar inhoud
An introduction to Gödel's Theorems Voorbeeldweergave van dit item
SluitenVoorbeeldweergave van dit item
Bezig met controle...

An introduction to Gödel's Theorems

Auteur: Peter Smith
Uitgever: Cambridge, UK ; New York : Cambridge University Press, 2007.
Serie: Cambridge introductions to philosophy.
Editie/Formaat:   Gedrukt boek : EngelsAlle edities en materiaalsoorten bekijken.
Database:WorldCat
Samenvatting:
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.
Beoordeling:

(nog niet beoordeeld) 0 met beoordelingen - U bent de eerste

Onderwerpen
Meer in deze trant

 

Zoeken naar een in de bibliotheek beschikbaar exemplaar

&AllPage.SpinnerRetrieving; Bibliotheken met dit item worden gezocht…

Details

Genre/Vorm: Einführung
Genoemd persoon: Kurt Gödel; Kurt Gödel
Genre: Internetbron
Soort document Boek, Internetbron
Alle auteurs / medewerkers: Peter Smith
ISBN: 9780521857840 0521857848 9780521674539 0521674530
OCLC-nummer: 124025603
Beschrijving: xiv, 361 pages ; 26 cm.
Inhoud: 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.
Serietitel: Cambridge introductions to philosophy.
Verantwoordelijkheid: Peter Smith.
Meer informatie

Fragment:

Peter Smith examines Godel's Theorems, how they were established and why they matter.  Meer lezen...

Beoordelingen

Professionele beoordelingen

Synopsis uitgever

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

 
Beoordelingen door gebruikers
Beoordelingen van GoodReads worden opgehaald...
Bezig met opvragen DOGObooks-reviews...

Tags

U bent de eerste.
Bevestig deze aanvraag

Misschien heeft u dit item reeds aangevraagd. Selecteer a.u.b. Ok als u toch wilt doorgaan met deze aanvraag.

Gekoppelde 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://experiment.worldcat.org/entity/work/data/119737250#Topic/mathematical_logic_and_foundations> ; # Mathematical logic and foundations
   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://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#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/mathematical_logic_and_foundations> # Mathematical logic and foundations
    a schema:Intangible ;
   schema:name "Mathematical logic and foundations"@en ;
    .

<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" ;
    .


Content-negotiable representations

Venster sluiten

Meld u aan bij WorldCat 

Heeft u geen account? U kunt eenvoudig een nieuwe gratis account aanmaken.