La fundamentación formalista de la matemática

Fil: Von Neumann, John. Princeton University; Estados Unidos.

Guardado en:
Detalles Bibliográficos
Autor principal: Von Neumann, John
Otros Autores: Giovannini, Eduardo N.
Formato: Artículo publishedVersion
Lenguaje:Español
Publicado: Universidad Nacional de Quilmes 2020
Materias:
Acceso en línea:http://ridaa.unq.edu.ar/handle/20.500.11807/2400
Aporte de:
id I47-R153-20.500.11807-2400
record_format dspace
spelling I47-R153-20.500.11807-24002023-11-30T18:43:34Z La fundamentación formalista de la matemática The formalist foundations of mathematics Die formalistische Grundlegung der Mathematik Von Neumann, John Giovannini, Eduardo N. Formalismo Filosofía de las matemáticas Demostración (Lógica) Hilbert, David, 1862-1943 Formalism Philosophy of mathematics Demonstration Filosofia da matemática Demonstração Fil: Von Neumann, John. Princeton University; Estados Unidos. Puesto que los otros artículos se han ocupado exhaustivamente tanto del domino –delimitado por Brouwer–de las definiciones y métodos de demostración “intuicionistas” o “finitarios”, absolutamente confiables y que no necesitan justificación, como de la caracterización formal de la naturaleza de la matemática clásica, realizada por Russell y continuada por su escuela, no necesitamos abocarnos a estos temas más detenidamente; sin embargo, es evidente que su conocimiento es una condición indispensable para comprender la conveniencia, la tendencia y el modusprocedendi de la teoría de la demostración de Hilbert. Nos volcaremos entonces de inmediato a la teoría de la demostración. 2020-04-01 info:eu-repo/semantics/article info:ar-repo/semantics/artículo info:eu-repo/semantics/publishedVersion http://ridaa.unq.edu.ar/handle/20.500.11807/2400 spa info:eu-repo/semantics/openAccess https://creativecommons.org/licenses/by-nc-nd/2.5/ar/ application/pdf Universidad Nacional de Quilmes Universidad Nacional de Tres de Febrero Metatheoria 1853-2322 (impresa) 1853-2330 (en línea)
institution Universidad Nacional de Quilmes
institution_str I-47
repository_str R-153
collection RIDAA - Repositorio Institucional Digital (UNQ)
language Español
topic Formalismo
Filosofía de las matemáticas
Demostración (Lógica)
Hilbert, David, 1862-1943
Formalism
Philosophy of mathematics
Demonstration
Filosofia da matemática
Demonstração
spellingShingle Formalismo
Filosofía de las matemáticas
Demostración (Lógica)
Hilbert, David, 1862-1943
Formalism
Philosophy of mathematics
Demonstration
Filosofia da matemática
Demonstração
Von Neumann, John
La fundamentación formalista de la matemática
topic_facet Formalismo
Filosofía de las matemáticas
Demostración (Lógica)
Hilbert, David, 1862-1943
Formalism
Philosophy of mathematics
Demonstration
Filosofia da matemática
Demonstração
description Fil: Von Neumann, John. Princeton University; Estados Unidos.
author2 Giovannini, Eduardo N.
author_facet Giovannini, Eduardo N.
Von Neumann, John
format Artículo
Artículo
publishedVersion
author Von Neumann, John
author_sort Von Neumann, John
title La fundamentación formalista de la matemática
title_short La fundamentación formalista de la matemática
title_full La fundamentación formalista de la matemática
title_fullStr La fundamentación formalista de la matemática
title_full_unstemmed La fundamentación formalista de la matemática
title_sort la fundamentación formalista de la matemática
publisher Universidad Nacional de Quilmes
publishDate 2020
url http://ridaa.unq.edu.ar/handle/20.500.11807/2400
work_keys_str_mv AT vonneumannjohn lafundamentacionformalistadelamatematica
AT vonneumannjohn theformalistfoundationsofmathematics
AT vonneumannjohn dieformalistischegrundlegungdermathematik
_version_ 1807953892627972096