skip to content
Sobre proposiciones formalmente indecidibles de los Principia Mathematica y sistemas afines Preview this item
ClosePreview this item
Checking...

Sobre proposiciones formalmente indecidibles de los Principia Mathematica y sistemas afines

Author: Kurt GÖDEL; Manuel Garrido; Alfonso García Suarez; Luis Manuel Valdés Villanueva
Publisher: Oviedo : KRK Ediciones, 2006.
Series: Pensamiento (KRK), 6.
Edition/Format:   Print book : Spanish
Summary:
El llamado "teorema de incompletud" de la matemática, descubierto por Kurt Gödel en 1931, constituye una de las más importantes conquistas científicas del pasado siglo XX. Su hallazgo ha significado una revolución de los fundamentos de la lógica y de la matemática tan importante como la introducida en física por la teoría de la relatividad de Einstein o la efectuada en biología por el descubrimiento del  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Named Person: Isaac NEWTON
Document Type: Book
All Authors / Contributors: Kurt GÖDEL; Manuel Garrido; Alfonso García Suarez; Luis Manuel Valdés Villanueva
ISBN: 9788496476950 8496476952
OCLC Number: 842210126
Description: 155 p. ; 18 cm.
Series Title: Pensamiento (KRK), 6.
Responsibility: Kurt Gödel.

Abstract:

El llamado "teorema de incompletud" de la matemática, descubierto por Kurt Gödel en 1931, constituye una de las más importantes conquistas científicas del pasado siglo XX. Su hallazgo ha significado una revolución de los fundamentos de la lógica y de la matemática tan importante como la introducida en física por la teoría de la relatividad de Einstein o la efectuada en biología por el descubrimiento del modelo de la doble hélice por Watson y Crick.\r\nEste teorema cuya demostración es un prodigio de rigor matemático y de imaginación filosófica, establece que nuestros métodos de deducción racional son radicalmente incapaces de dar cuenta de todas las verdades de la ciencia matemática, la cual excede, por principio, la potencia deductiva del más perfecto de los ordenadores digitales. Una de las más profundas consecuencias filosóficas del hallazgo de Gödel es la superioridad de la mente humana sobre cualquier máquina.\r\nEl presente volumen contiene la versión castellana del célebre artículo en que este autor formuló el teorema, precedida de una introducción que analiza tanto su demostración como sus implicaciones filosóficas.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/842210126> # Sobre proposiciones formalmente indecidibles de los Principia Mathematica y sistemas afines
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "842210126" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/sp> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/5218991678#Place/oviedo> ; # Oviedo
   schema:about <http://experiment.worldcat.org/entity/work/data/5218991678#Topic/matematicas_mathematics> ; # Matemáticas = Mathematics
   schema:about <http://experiment.worldcat.org/entity/work/data/5218991678#Person/newton_isaac> ; # Isaac NEWTON
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/5218991678#Person/garrido_manuel> ; # Manuel Garrido
   schema:contributor <http://viaf.org/viaf/26151715534313780512> ; # Luis Manuel Valdés Villanueva
   schema:contributor <http://viaf.org/viaf/107585349> ; # Alfonso García Suarez
   schema:creator <http://viaf.org/viaf/97851774> ; # Kurt GÖDEL
   schema:datePublished "2006" ;
   schema:description "El llamado "teorema de incompletud" de la matemática, descubierto por Kurt Gödel en 1931, constituye una de las más importantes conquistas científicas del pasado siglo XX. Su hallazgo ha significado una revolución de los fundamentos de la lógica y de la matemática tan importante como la introducida en física por la teoría de la relatividad de Einstein o la efectuada en biología por el descubrimiento del modelo de la doble hélice por Watson y Crick.\r\nEste teorema cuya demostración es un prodigio de rigor matemático y de imaginación filosófica, establece que nuestros métodos de deducción racional son radicalmente incapaces de dar cuenta de todas las verdades de la ciencia matemática, la cual excede, por principio, la potencia deductiva del más perfecto de los ordenadores digitales. Una de las más profundas consecuencias filosóficas del hallazgo de Gödel es la superioridad de la mente humana sobre cualquier máquina.\r\nEl presente volumen contiene la versión castellana del célebre artículo en que este autor formuló el teorema, precedida de una introducción que analiza tanto su demostración como sus implicaciones filosóficas."@es ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/5218991678> ;
   schema:inLanguage "es" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5218991678#Series/pensamiento_krk> ; # Pensamiento (KRK) ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5218991678#Series/pensamiento> ; # Pensamiento ;
   schema:name "Sobre proposiciones formalmente indecidibles de los Principia Mathematica y sistemas afines"@es ;
   schema:numberOfPages "155" ;
   schema:productID "842210126" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/842210126#PublicationEvent/oviedo_krk_ediciones_2006> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/5218991678#Agent/krk_ediciones> ; # KRK Ediciones
   schema:workExample <http://worldcat.org/isbn/9788496476950> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/842210126> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/5218991678#Person/garrido_manuel> # Manuel Garrido
    a schema:Person ;
   schema:familyName "Garrido" ;
   schema:givenName "Manuel" ;
   schema:name "Manuel Garrido" ;
    .

<http://experiment.worldcat.org/entity/work/data/5218991678#Person/newton_isaac> # Isaac NEWTON
    a schema:Person ;
   schema:familyName "NEWTON" ;
   schema:givenName "Isaac" ;
   schema:name "Isaac NEWTON" ;
    .

<http://experiment.worldcat.org/entity/work/data/5218991678#Series/pensamiento> # Pensamiento ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/842210126> ; # Sobre proposiciones formalmente indecidibles de los Principia Mathematica y sistemas afines
   schema:name "Pensamiento ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/5218991678#Series/pensamiento_krk> # Pensamiento (KRK) ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/842210126> ; # Sobre proposiciones formalmente indecidibles de los Principia Mathematica y sistemas afines
   schema:name "Pensamiento (KRK) ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/5218991678#Topic/matematicas_mathematics> # Matemáticas = Mathematics
    a schema:Intangible ;
   schema:name "Matemáticas = Mathematics"@es ;
    .

<http://viaf.org/viaf/107585349> # Alfonso García Suarez
    a schema:Person ;
   schema:familyName "García Suarez" ;
   schema:givenName "Alfonso" ;
   schema:name "Alfonso García Suarez" ;
    .

<http://viaf.org/viaf/26151715534313780512> # Luis Manuel Valdés Villanueva
    a schema:Person ;
   schema:familyName "Valdés Villanueva" ;
   schema:givenName "Luis Manuel" ;
   schema:name "Luis Manuel Valdés Villanueva" ;
    .

<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/9788496476950>
    a schema:ProductModel ;
   schema:isbn "8496476952" ;
   schema:isbn "9788496476950" ;
    .

<http://www.worldcat.org/title/-/oclc/842210126>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/842210126> ; # Sobre proposiciones formalmente indecidibles de los Principia Mathematica y sistemas afines
   schema:dateModified "2018-11-10" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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