La fundamentación formalista de la matemática
Fil: Von Neumann, John. Princeton University; Estados Unidos.
Guardado en:
Autor principal: | |
---|---|
Otros Autores: | |
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 |