omitir hasta el contenido
An introduction to Gödel's Theorems Ver este material de antemano
CerrarVer este material de antemano
Chequeando…

An introduction to Gödel's Theorems

Autor: Peter Smith
Editorial: Cambridge, UK ; New York : Cambridge University Press, 2007.
Serie: Cambridge introductions to philosophy.
Edición/Formato:   Print book : Inglés (eng)Ver todas las ediciones y todos los formatos
Base de datos:WorldCat
Resumen:
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.
Calificación:

(todavía no calificado) 0 con reseñas - Ser el primero.

Temas
Más materiales como éste

 

Encontrar un ejemplar en la biblioteca

&AllPage.SpinnerRetrieving; Encontrando bibliotecas que tienen este material…

Detalles

Género/Forma: Einführung
Persona designada: Kurt Gödel; Kurt Gödel
Tipo de material: Recurso en Internet
Tipo de documento: Libro/Texto, Recurso en Internet
Todos autores / colaboradores: Peter Smith
ISBN: 9780521857840 0521857848 9780521674539 0521674530
Número OCLC: 124025603
Descripción: xiv, 361 p. ; 26 cm.
Contenido: 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.
Título de la serie: Cambridge introductions to philosophy.
Responsabilidad: Peter Smith.
Más información:

Resumen:

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.

Reseñas

Reseñas contribuidas por usuarios
Recuperando reseñas de GoodReads…
Recuperando reseñas de DOGObooks…

Etiquetas

Ser el primero.
Confirmar este pedido

Ya ha pedido este material. Escoja OK si desea procesar el pedido de todos modos.

Datos enlazados


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://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://experiment.worldcat.org/entity/work/data/119737250#Topic/godelscher_unvollstandigkeitssatz> ; # Gödelscher Unvollständigkeitssatz
    schema:about <http://experiment.worldcat.org/entity/work/data/119737250#Topic/godel_numbers> ; # Gödel numbers
    schema:about <http://experiment.worldcat.org/entity/work/data/119737250#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:bookFormat bgn:PrintBook ;
    schema:creator <http://viaf.org/viaf/98223624> ; # 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:numberOfPages "361" ;
    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#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/logic_symbolic_and_mathematical> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@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://viaf.org/viaf/97851774> # Kurt Gödel
    a schema:Person ;
    schema:familyName "Gödel" ;
    schema:givenName "Kurt" ;
    schema:name "Kurt Gödel" ;
    .

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

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

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


Content-negotiable representations

Cerrar ventana

Inicie una sesión con WorldCat 

¿No tienes una cuenta? Puede fácilmente crear una cuenta gratuita.