Herramientas para abordar el método axiomático estilo Hilbert

Autores
Curto, Mauro Francisco
Año de publicación
2023
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
El método axiomático estilo Hilbert es reconocido por la mayoría de los lógicos como un cálculo de gran dificultad, de aquí que uno de los primeros objetivos que se plantean es dar una prueba del teorema de la deducción para facilitar las derivaciones consecuentes, sin embargo, esto modifica la estructura de las derivaciones naturalizándolas. En el presente trabajo se brindarán definiciones de "axioma" y "corolario" con el fin de simplificar las derivaciones y aprehender el funcionamiento del cálculo sin modificar la estructura de la prueba.
The Hilbert-style axiomatic method is recognized by most logicians as a calculus of great difficulty, hence one of the first objectives is to provide a proof of the deduction theorem to facilitate consequent derivations, however , this modifies the structure of the derivations, naturalizing them. In this work, definitions of "axiom" and "corollary" will be provided in order to simplify the derivations and understand how the calculus works without modifying the structure of the proof.
Facultad de Humanidades y Ciencias de la Educación
Materia
Filosofía
Método axiomático
Esquema
Axioma
Corolario
Teoría de la prueba
Axiomatic method
Scheme
Axiom
Corollary
Proof theory
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/4.0/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/184164

id SEDICI_3905d10b423a33d9a4c702f4c363f70d
oai_identifier_str oai:sedici.unlp.edu.ar:10915/184164
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Herramientas para abordar el método axiomático estilo HilbertCurto, Mauro FranciscoFilosofíaMétodo axiomáticoEsquemaAxiomaCorolarioTeoría de la pruebaAxiomatic methodSchemeAxiomCorollaryProof theoryEl método axiomático estilo Hilbert es reconocido por la mayoría de los lógicos como un cálculo de gran dificultad, de aquí que uno de los primeros objetivos que se plantean es dar una prueba del teorema de la deducción para facilitar las derivaciones consecuentes, sin embargo, esto modifica la estructura de las derivaciones naturalizándolas. En el presente trabajo se brindarán definiciones de "axioma" y "corolario" con el fin de simplificar las derivaciones y aprehender el funcionamiento del cálculo sin modificar la estructura de la prueba.The Hilbert-style axiomatic method is recognized by most logicians as a calculus of great difficulty, hence one of the first objectives is to provide a proof of the deduction theorem to facilitate consequent derivations, however , this modifies the structure of the derivations, naturalizing them. In this work, definitions of "axiom" and "corollary" will be provided in order to simplify the derivations and understand how the calculus works without modifying the structure of the proof.Facultad de Humanidades y Ciencias de la Educación2023-08info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdfhttp://sedici.unlp.edu.ar/handle/10915/184164spainfo:eu-repo/semantics/altIdentifier/url/https://congresos.fahce.unlp.edu.ar/jornadasfilo/xi-jornadas-2022/actas/ponencia-231026105140761757/@@display-file/file/Herramientas para abordar el metodo axiomatico estilo Hilbert. Mauro F. Curto.pdfinfo:eu-repo/semantics/altIdentifier/issn/2250-4494info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/4.0/Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-29T11:50:22Zoai:sedici.unlp.edu.ar:10915/184164Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-29 11:50:22.402SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Herramientas para abordar el método axiomático estilo Hilbert
title Herramientas para abordar el método axiomático estilo Hilbert
spellingShingle Herramientas para abordar el método axiomático estilo Hilbert
Curto, Mauro Francisco
Filosofía
Método axiomático
Esquema
Axioma
Corolario
Teoría de la prueba
Axiomatic method
Scheme
Axiom
Corollary
Proof theory
title_short Herramientas para abordar el método axiomático estilo Hilbert
title_full Herramientas para abordar el método axiomático estilo Hilbert
title_fullStr Herramientas para abordar el método axiomático estilo Hilbert
title_full_unstemmed Herramientas para abordar el método axiomático estilo Hilbert
title_sort Herramientas para abordar el método axiomático estilo Hilbert
dc.creator.none.fl_str_mv Curto, Mauro Francisco
author Curto, Mauro Francisco
author_facet Curto, Mauro Francisco
author_role author
dc.subject.none.fl_str_mv Filosofía
Método axiomático
Esquema
Axioma
Corolario
Teoría de la prueba
Axiomatic method
Scheme
Axiom
Corollary
Proof theory
topic Filosofía
Método axiomático
Esquema
Axioma
Corolario
Teoría de la prueba
Axiomatic method
Scheme
Axiom
Corollary
Proof theory
dc.description.none.fl_txt_mv El método axiomático estilo Hilbert es reconocido por la mayoría de los lógicos como un cálculo de gran dificultad, de aquí que uno de los primeros objetivos que se plantean es dar una prueba del teorema de la deducción para facilitar las derivaciones consecuentes, sin embargo, esto modifica la estructura de las derivaciones naturalizándolas. En el presente trabajo se brindarán definiciones de "axioma" y "corolario" con el fin de simplificar las derivaciones y aprehender el funcionamiento del cálculo sin modificar la estructura de la prueba.
The Hilbert-style axiomatic method is recognized by most logicians as a calculus of great difficulty, hence one of the first objectives is to provide a proof of the deduction theorem to facilitate consequent derivations, however , this modifies the structure of the derivations, naturalizing them. In this work, definitions of "axiom" and "corollary" will be provided in order to simplify the derivations and understand how the calculus works without modifying the structure of the proof.
Facultad de Humanidades y Ciencias de la Educación
description El método axiomático estilo Hilbert es reconocido por la mayoría de los lógicos como un cálculo de gran dificultad, de aquí que uno de los primeros objetivos que se plantean es dar una prueba del teorema de la deducción para facilitar las derivaciones consecuentes, sin embargo, esto modifica la estructura de las derivaciones naturalizándolas. En el presente trabajo se brindarán definiciones de "axioma" y "corolario" con el fin de simplificar las derivaciones y aprehender el funcionamiento del cálculo sin modificar la estructura de la prueba.
publishDate 2023
dc.date.none.fl_str_mv 2023-08
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/184164
url http://sedici.unlp.edu.ar/handle/10915/184164
dc.language.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/https://congresos.fahce.unlp.edu.ar/jornadasfilo/xi-jornadas-2022/actas/ponencia-231026105140761757/@@display-file/file/Herramientas para abordar el metodo axiomatico estilo Hilbert. Mauro F. Curto.pdf
info:eu-repo/semantics/altIdentifier/issn/2250-4494
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1844616362437115904
score 13.070432