La fundamentación formalista de la matemática
Fil: Von Neumann, John. Princeton University; Estados Unidos.
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | info:eu-repo/semantics/article |
| Language: | spa |
| Published: |
Universidad Nacional de Quilmes
2020
|
| Subjects: | |
| Online Access: | http://ridaa.unq.edu.ar/handle/20.500.11807/2400 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| id |
ir-20.500.11807-2400 |
|---|---|
| recordtype |
dspace |
| spelling |
ir-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 |
RIDAA UNQ |
| collection |
DSpace |
| language |
spa |
| 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 |
| description |
Fil: Von Neumann, John. Princeton University; Estados Unidos. |
| author2 |
Giovannini, Eduardo N. |
| author_facet |
Giovannini, Eduardo N. Von Neumann, John |
| format |
info:eu-repo/semantics/article |
| 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 |
| _version_ |
1796766210320236544 |
| score |
10.277026 |