Completud débil y Post completud en la escuela de Hilbert

Resumen El objetivo de este artículo es aclarar por qué la lógica proposicional es Post completa y su completud débil pasó casi desapercibida para Hilbert y Bernays, mientras que la lógica de primer orden es Post incompleta y su completud débil fue vista como un problema a resolver por Hilbert y Ack...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autor principal:	Aranda,Víctor
Lenguaje:	Spanish / Castilian
Publicado:	Universidad de Valparaíso. Facultad de Humanidades .Instituto de Filosofía. 2019
Materias:	historia de la lógica lógica clásica formas normales corrección Bernays
Acceso en línea:	http://www.scielo.cl/scielo.php?script=sci_arttext&pid=S0719-42422019000200429
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

id	oai:scielo:S0719-42422019000200429
record_format	dspace
spelling	oai:scielo:S0719-424220190002004292020-08-18Completud débil y Post completud en la escuela de HilbertAranda,Víctor historia de la lógica lógica clásica formas normales corrección Bernays Resumen El objetivo de este artículo es aclarar por qué la lógica proposicional es Post completa y su completud débil pasó casi desapercibida para Hilbert y Bernays, mientras que la lógica de primer orden es Post incompleta y su completud débil fue vista como un problema a resolver por Hilbert y Ackermann. Así, compararé la lógica proposicional y de primer orden en los Prinzipien der Mathematik, la segunda Habilitationsschrift de Bernays y los Grundzüge der Theoretischen Logik. La así llamada “interpretación aritmética”, las formas normales conjuntiva y disyuntiva y la corrección de las reglas proposicionales de inferencia merecen especial énfasis.info:eu-repo/semantics/openAccessUniversidad de Valparaíso. Facultad de Humanidades .Instituto de Filosofía. Revista de humanidades de Valparaíso n.14 20192019-12-01text/htmlhttp://www.scielo.cl/scielo.php?script=sci_arttext&pid=S0719-42422019000200429es10.22370/rhv2019iss14pp449-466
institution	Scielo Chile
collection	Scielo Chile
language	Spanish / Castilian
topic	historia de la lógica lógica clásica formas normales corrección Bernays
spellingShingle	historia de la lógica lógica clásica formas normales corrección Bernays Aranda,Víctor Completud débil y Post completud en la escuela de Hilbert
description	Resumen El objetivo de este artículo es aclarar por qué la lógica proposicional es Post completa y su completud débil pasó casi desapercibida para Hilbert y Bernays, mientras que la lógica de primer orden es Post incompleta y su completud débil fue vista como un problema a resolver por Hilbert y Ackermann. Así, compararé la lógica proposicional y de primer orden en los Prinzipien der Mathematik, la segunda Habilitationsschrift de Bernays y los Grundzüge der Theoretischen Logik. La así llamada “interpretación aritmética”, las formas normales conjuntiva y disyuntiva y la corrección de las reglas proposicionales de inferencia merecen especial énfasis.
author	Aranda,Víctor
author_facet	Aranda,Víctor
author_sort	Aranda,Víctor
title	Completud débil y Post completud en la escuela de Hilbert
title_short	Completud débil y Post completud en la escuela de Hilbert
title_full	Completud débil y Post completud en la escuela de Hilbert
title_fullStr	Completud débil y Post completud en la escuela de Hilbert
title_full_unstemmed	Completud débil y Post completud en la escuela de Hilbert
title_sort	completud débil y post completud en la escuela de hilbert
publisher	Universidad de Valparaíso. Facultad de Humanidades .Instituto de Filosofía.
publishDate	2019
url	http://www.scielo.cl/scielo.php?script=sci_arttext&pid=S0719-42422019000200429
work_keys_str_mv	AT arandavictor completuddebilypostcompletudenlaescueladehilbert
_version_	1714207189710667776

Completud débil y Post completud en la escuela de Hilbert

Ejemplares similares