Kolmogorov, Heyting y Gentzen sobre las constantes lógicas intuicionistas
Fernández Díez, Gustavo
Instituto de Investigaciones Filosóficas, UNAM, publicado en Crítica. Revista Hispanoamericana de Filosofía, y cosechado de Revistas UNAM
dor_id: 4115383
506.#.#.a: Público
590.#.#.d: Cada artículo es evaluado mediante una revisión ciega única
510.0.#.a: Arts and Humanities Citation Index, Revistes Cientifiques de Ciencies Socials Humanitais (CARHUS Plus); Latinoamericanas en Ciencias Sociales y Humanidades (CLASE); Directory of Open Access Journals (DOAJ); European Reference Index for the Humanities (ERIH PLUS); Sistema Regional de Información en Línea para Revistas Científicas de América Latina, el Caribe, España y Portugal (Latindex); SCOPUS, Journal Storage (JSTOR); The Philosopher’s Index, Ulrich’s Periodical Directory
561.#.#.u: https://www.filosoficas.unam.mx/
650.#.4.x: Artes y Humanidades
336.#.#.b: article
336.#.#.3: Artículo de Investigación
336.#.#.a: Artículo
351.#.#.6: https://critica.filosoficas.unam.mx/index.php/critica
351.#.#.b: Crítica. Revista Hispanoamericana de Filosofía
351.#.#.a: Artículos
harvesting_group: RevistasUNAM
270.1.#.p: Revistas UNAM. Dirección General de Publicaciones y Fomento Editorial, UNAM en revistas@unam.mx
590.#.#.c: Open Journal Systems (OJS)
270.#.#.d: MX
270.1.#.d: México
590.#.#.b: Concentrador
883.#.#.u: https://revistas.unam.mx/catalogo/
883.#.#.a: Revistas UNAM
590.#.#.a: Coordinación de Difusión Cultural
883.#.#.1: https://www.publicaciones.unam.mx/
883.#.#.q: Dirección General de Publicaciones y Fomento Editorial
850.#.#.a: Universidad Nacional Autónoma de México
856.4.0.u: https://critica.filosoficas.unam.mx/index.php/critica/article/view/891/857
100.1.#.a: Fernández Díez, Gustavo
524.#.#.a: Fernández Díez, Gustavo (2000). Kolmogorov, Heyting y Gentzen sobre las constantes lógicas intuicionistas. Crítica. Revista Hispanoamericana de Filosofía; Vol. 32 Núm. 96, 2000; 43-57. Recuperado de https://repositorio.unam.mx/contenidos/4115383
245.1.0.a: Kolmogorov, Heyting y Gentzen sobre las constantes lógicas intuicionistas
502.#.#.c: Universidad Nacional Autónoma de México
561.1.#.a: Instituto de Investigaciones Filosóficas, UNAM
264.#.0.c: 2000
264.#.1.c: 2019-01-07
506.1.#.a: La titularidad de los derechos patrimoniales de esta obra pertenece a las instituciones editoras. Su uso se rige por una licencia Creative Commons BY-NC-ND 4.0 Internacional, https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode.es, para un uso diferente consultar al responsable jurídico del repositorio por medio del correo electrónico alberto@filosoficas.unam.mx
884.#.#.k: https://critica.filosoficas.unam.mx/index.php/critica/article/view/891
001.#.#.#: 034.oai:ojs2.132.248.184.97:article/891
041.#.7.h: eng
520.3.#.a: Los primeros autores en elaborar definiciones semánticas de las constantes lógicas intuicionistas fueron Kolmogorov, Heyting y Gentzen, a comienzos de la década de 1930. Aunque sus explicaciones puedan a primera vista parecer equivalentes (y en concreto, por lo que respecta a Kolmogorov y Heyting, ellos mismos las percibieron como tales), el conciso estudio que presento en este artículo demuestra la existencia de diferencias sutiles pero nada triviales entre ellas, diferencias cuyas consecuencias filosóficas he explorado en detalle en otras publicaciones.
773.1.#.t: Crítica. Revista Hispanoamericana de Filosofía; Vol. 32 Núm. 96 (2000); 43-57
773.1.#.o: https://critica.filosoficas.unam.mx/index.php/critica
022.#.#.a: ISSN electrónico: 1870-4905; ISSN impreso: 0011-1503
310.#.#.a: Cuatrimestral
300.#.#.a: Páginas: 43-57
264.#.1.b: Instituto de Investigaciones Filosóficas, UNAM
doi: https://doi.org/10.22201/iifs.18704905e.2000.891
handle: 00c5fc466f30ddad
harvesting_date: 2023-08-23 17:00:00.0
856.#.0.q: application/pdf
file_creation_date: 2006-02-03 12:47:23.0
file_modification_date: 2010-10-25 18:08:49.0
file_name: 393eb673ef1af637b99a00acb62269d1e901c71f10d4f7bc3a44de2bb86744c2.pdf
file_pages_number: 15
file_format_version: application/pdf; version=1.6
file_size: 67555
245.1.0.b: Kolmogorov, Heyting and Gentzen on the Intuitionistic Logical Constants
last_modified: 2023-08-23 17:00:00
license_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode.es
license_type: by-nc-nd
Fernández Díez, Gustavo
Instituto de Investigaciones Filosóficas, UNAM, publicado en Crítica. Revista Hispanoamericana de Filosofía, y cosechado de Revistas UNAM
Fernández Díez, Gustavo (2000). Kolmogorov, Heyting y Gentzen sobre las constantes lógicas intuicionistas. Crítica. Revista Hispanoamericana de Filosofía; Vol. 32 Núm. 96, 2000; 43-57. Recuperado de https://repositorio.unam.mx/contenidos/4115383