dor_id: 4115562

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/1004/972

100.1.#.a: Schirn, Matthias; Niebergall, Karl-georg

524.#.#.a: Schirn, Matthias, et al. (2003). Lo que el finitismo no podría ser. Crítica. Revista Hispanoamericana de Filosofía; Vol. 35 Núm. 103, 2003; 43-68. Recuperado de https://repositorio.unam.mx/contenidos/4115562

245.1.0.a: Lo que el finitismo no podría ser

502.#.#.c: Universidad Nacional Autónoma de México

561.1.#.a: Instituto de Investigaciones Filosóficas, UNAM

264.#.0.c: 2003

264.#.1.c: 2019-01-08

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/1004

001.#.#.#: 034.oai:ojs2.132.248.184.97:article/1004

041.#.7.h: eng

520.3.#.a: En su artículo "Finitism" (1981), W.W. Tait sostiene que la dificultad principal para quien quiere comprender la concepción hilbertiana de la matemática finitista es ésta: especificar el sentido de la demostrabilidad de enunciados generales sobre los números naturales sin presuponer totalidades infinitas. Además, Tait argumenta que todo razonamiento finitista es esencialmente primitivo recursivo. En este artículo tratamos de mostrar que su tesis "Las funciones finitistas son precisamente las funciones primitivas recursivas" es discutible y que otra, también defendida por él, resulta insostenible. La segunda tesis es que los teoremas finitistas son precisamente las clausuras universales de las ecuaciones que pueden demostrarse en PRA.

773.1.#.t: Crítica. Revista Hispanoamericana de Filosofía; Vol. 35 Núm. 103 (2003); 43-68

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-68

264.#.1.b: Instituto de Investigaciones Filosóficas, UNAM

doi: https://doi.org/10.22201/iifs.18704905e.2003.1004

handle: 00d89ee7cbc98ca9

harvesting_date: 2023-08-23 17:00:00.0

856.#.0.q: application/pdf

file_creation_date: 2005-05-15 00:25:40.0

file_modification_date: 2010-10-25 01:51:44.0

file_name: 24c5c2c1686e1c27f1bf32feefc60e1488ba0d92025dc131e38b603a95ecca66.pdf

file_pages_number: 26

file_format_version: application/pdf; version=1.6

file_size: 194495

245.1.0.b: What Finitism Could Not Be

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

No entro en nada

No entro en nada 2

Artículo

Lo que el finitismo no podría ser

Schirn, Matthias; Niebergall, Karl-georg

Instituto de Investigaciones Filosóficas, UNAM, publicado en Crítica. Revista Hispanoamericana de Filosofía, y cosechado de Revistas UNAM

Licencia de uso

Procedencia del contenido

Cita

Schirn, Matthias, et al. (2003). Lo que el finitismo no podría ser. Crítica. Revista Hispanoamericana de Filosofía; Vol. 35 Núm. 103, 2003; 43-68. Recuperado de https://repositorio.unam.mx/contenidos/4115562

Descripción del recurso

Autor(es)
Schirn, Matthias; Niebergall, Karl-georg
Tipo
Artículo de Investigación
Área del conocimiento
Artes y Humanidades
Título
Lo que el finitismo no podría ser
Fecha
2019-01-08
Resumen
En su artículo "Finitism" (1981), W.W. Tait sostiene que la dificultad principal para quien quiere comprender la concepción hilbertiana de la matemática finitista es ésta: especificar el sentido de la demostrabilidad de enunciados generales sobre los números naturales sin presuponer totalidades infinitas. Además, Tait argumenta que todo razonamiento finitista es esencialmente primitivo recursivo. En este artículo tratamos de mostrar que su tesis "Las funciones finitistas son precisamente las funciones primitivas recursivas" es discutible y que otra, también defendida por él, resulta insostenible. La segunda tesis es que los teoremas finitistas son precisamente las clausuras universales de las ecuaciones que pueden demostrarse en PRA.
Idioma
eng
ISSN
ISSN electrónico: 1870-4905; ISSN impreso: 0011-1503

Enlaces