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
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/184164
Ver los metadatos del registro completo
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 |