Notas bibliográficas: Gódel's proof

E. Nacel y J. R. Newman. Gódel's Proof, edit. Routledge Kegan Paul, London, 1959, 118 pgs. La obra está dedicada a Bertrand Russell (pg. v). Capítulo I, Introducción: señala el estudio de Kur Gódel, Uber formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme, 1931, como t...

Full description

Autores:: E., Nacel
J. R., Newman
A., Trendall

Tipo de recurso:: Article of journal

Fecha de publicación:: 1960

Institución:: Universidad Nacional de Colombia

Repositorio:: Universidad Nacional de Colombia

Idioma:: spa

id	UNACIONAL2_1bb0205f784d218d241e9ac6f020e0c8
oai_identifier_str	oai:repositorio.unal.edu.co:unal/64193
network_acronym_str	UNACIONAL2
network_name_str	Universidad Nacional de Colombia
repository_id_str
spelling	Atribución-NoComercial 4.0 InternacionalDerechos reservados - Universidad Nacional de Colombiahttp://creativecommons.org/licenses/by-nc/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2E., Nacelea16a54c-5caf-4be1-8d40-841b416bd5d7300J. R., Newman8a5408d9-cdb0-49d4-b02f-5a9dada29f52300A., Trendall04cb4e51-5553-4f3c-a776-bbdefb1f0f273002019-07-02T22:37:11Z2019-07-02T22:37:11Z1960https://repositorio.unal.edu.co/handle/unal/64193http://bdigital.unal.edu.co/65039/E. Nacel y J. R. Newman. Gódel's Proof, edit. Routledge Kegan Paul, London, 1959, 118 pgs. La obra está dedicada a Bertrand Russell (pg. v). Capítulo I, Introducción: señala el estudio de Kur Gódel, Uber formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme, 1931, como tema, agregando que tal trabajo es “uno de los más importantes avances de la lógica en los tiempos modernos” (pg. 3). Luégo esboza una breve historia de la técnica axiomática, desde los griegos hasta Gódel mismo (pgs. 4-7). Capítulo II, El problema de la consistencia: el autor se propone, ahora, tratar la cuestión de la consistencia lógica de los modelos axiomáticos. Para ello se vale de un ejemplo elemental, con un triángulo, en torno a cuyos lados y ángulos construye un sistema de cinco axiomas consistentes (pgs. 8-17).application/pdfspaFacultad de Filosofía y LetrasUniversidad Nacional de Colombia Sede Bogotá Facultad de Ciencias Humanas Departamento de FilosofíaDepartamento de FilosofíaE., Nacel and J. R., Newman and A., Trendall (1960) Notas bibliográficas: Gódel's proof. Stvdivm, IV (9-10). pp. 203-204.1 Filosofía y psicología / Philosophy and psychology16 Lógica / Logic34 Derecho / Law4 Lenguas / LanguageTécnica axiomáticaConsistencia lógicaLógica FormalGramáticaNotas bibliográficas: Gódel's proofArtículo de revistainfo:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501http://purl.org/coar/resource_type/c_2df8fbb1http://purl.org/coar/version/c_970fb48d4fbd8a85Texthttp://purl.org/redcol/resource_type/ARTORIGINALGódel's Proof.1960-9-10.pdfapplication/pdf68814https://repositorio.unal.edu.co/bitstream/unal/64193/1/G%c3%b3del%27s%20Proof.1960-9-10.pdf82a444d84d2da1103b6d28c37e8166c9MD51THUMBNAILGódel's Proof.1960-9-10.pdf.jpgGódel's Proof.1960-9-10.pdf.jpgGenerated Thumbnailimage/jpeg6167https://repositorio.unal.edu.co/bitstream/unal/64193/2/G%c3%b3del%27s%20Proof.1960-9-10.pdf.jpg61f509d8871170559c3830d6a73349f7MD52unal/64193oai:repositorio.unal.edu.co:unal/641932024-05-02 23:25:54.495Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co
dc.title.spa.fl_str_mv	Notas bibliográficas: Gódel's proof
title	Notas bibliográficas: Gódel's proof
spellingShingle	Notas bibliográficas: Gódel's proof 1 Filosofía y psicología / Philosophy and psychology 16 Lógica / Logic 34 Derecho / Law 4 Lenguas / Language Técnica axiomática Consistencia lógica Lógica Formal Gramática
title_short	Notas bibliográficas: Gódel's proof
title_full	Notas bibliográficas: Gódel's proof
title_fullStr	Notas bibliográficas: Gódel's proof
title_full_unstemmed	Notas bibliográficas: Gódel's proof
title_sort	Notas bibliográficas: Gódel's proof
dc.creator.fl_str_mv	E., Nacel J. R., Newman A., Trendall
dc.contributor.author.spa.fl_str_mv	E., Nacel J. R., Newman A., Trendall
dc.subject.ddc.spa.fl_str_mv	1 Filosofía y psicología / Philosophy and psychology 16 Lógica / Logic 34 Derecho / Law 4 Lenguas / Language
topic	1 Filosofía y psicología / Philosophy and psychology 16 Lógica / Logic 34 Derecho / Law 4 Lenguas / Language Técnica axiomática Consistencia lógica Lógica Formal Gramática
dc.subject.proposal.spa.fl_str_mv	Técnica axiomática Consistencia lógica Lógica Formal Gramática
description	E. Nacel y J. R. Newman. Gódel's Proof, edit. Routledge Kegan Paul, London, 1959, 118 pgs. La obra está dedicada a Bertrand Russell (pg. v). Capítulo I, Introducción: señala el estudio de Kur Gódel, Uber formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme, 1931, como tema, agregando que tal trabajo es “uno de los más importantes avances de la lógica en los tiempos modernos” (pg. 3). Luégo esboza una breve historia de la técnica axiomática, desde los griegos hasta Gódel mismo (pgs. 4-7). Capítulo II, El problema de la consistencia: el autor se propone, ahora, tratar la cuestión de la consistencia lógica de los modelos axiomáticos. Para ello se vale de un ejemplo elemental, con un triángulo, en torno a cuyos lados y ángulos construye un sistema de cinco axiomas consistentes (pgs. 8-17).
publishDate	1960
dc.date.issued.spa.fl_str_mv	1960
dc.date.accessioned.spa.fl_str_mv	2019-07-02T22:37:11Z
dc.date.available.spa.fl_str_mv	2019-07-02T22:37:11Z
dc.type.spa.fl_str_mv	Artículo de revista
dc.type.coar.fl_str_mv	http://purl.org/coar/resource_type/c_2df8fbb1
dc.type.driver.spa.fl_str_mv	info:eu-repo/semantics/article
dc.type.version.spa.fl_str_mv	info:eu-repo/semantics/publishedVersion
dc.type.coar.spa.fl_str_mv	http://purl.org/coar/resource_type/c_6501
dc.type.coarversion.spa.fl_str_mv	http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.content.spa.fl_str_mv	Text
dc.type.redcol.spa.fl_str_mv	http://purl.org/redcol/resource_type/ART
format	http://purl.org/coar/resource_type/c_6501
status_str	publishedVersion
dc.identifier.uri.none.fl_str_mv	https://repositorio.unal.edu.co/handle/unal/64193
dc.identifier.eprints.spa.fl_str_mv	http://bdigital.unal.edu.co/65039/
url	https://repositorio.unal.edu.co/handle/unal/64193 http://bdigital.unal.edu.co/65039/
dc.language.iso.spa.fl_str_mv	spa
language	spa
dc.relation.ispartof.spa.fl_str_mv	Universidad Nacional de Colombia Sede Bogotá Facultad de Ciencias Humanas Departamento de Filosofía Departamento de Filosofía
dc.relation.references.spa.fl_str_mv	E., Nacel and J. R., Newman and A., Trendall (1960) Notas bibliográficas: Gódel's proof. Stvdivm, IV (9-10). pp. 203-204.
dc.rights.spa.fl_str_mv	Derechos reservados - Universidad Nacional de Colombia
dc.rights.coar.fl_str_mv	http://purl.org/coar/access_right/c_abf2
dc.rights.license.spa.fl_str_mv	Atribución-NoComercial 4.0 Internacional
dc.rights.uri.spa.fl_str_mv	http://creativecommons.org/licenses/by-nc/4.0/
dc.rights.accessrights.spa.fl_str_mv	info:eu-repo/semantics/openAccess
rights_invalid_str_mv	Atribución-NoComercial 4.0 Internacional Derechos reservados - Universidad Nacional de Colombia http://creativecommons.org/licenses/by-nc/4.0/ http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv	openAccess
dc.format.mimetype.spa.fl_str_mv	application/pdf
dc.publisher.spa.fl_str_mv	Facultad de Filosofía y Letras
institution	Universidad Nacional de Colombia
bitstream.url.fl_str_mv	https://repositorio.unal.edu.co/bitstream/unal/64193/1/G%c3%b3del%27s%20Proof.1960-9-10.pdf https://repositorio.unal.edu.co/bitstream/unal/64193/2/G%c3%b3del%27s%20Proof.1960-9-10.pdf.jpg
bitstream.checksum.fl_str_mv	82a444d84d2da1103b6d28c37e8166c9 61f509d8871170559c3830d6a73349f7
bitstream.checksumAlgorithm.fl_str_mv	MD5 MD5
repository.name.fl_str_mv	Repositorio Institucional Universidad Nacional de Colombia
repository.mail.fl_str_mv	repositorio_nal@unal.edu.co
_version_	1814089486926086144

Notas bibliográficas: Gódel's proof

Publicaciones similares