Show simple item record

The formalist foundations of mathematics

dc.contributorGiovannini, Eduardo N.es
dc.creatorVon Neumann, Johnes
dc.date.accessioned2020-09-25T19:57:37Zes
dc.date.available2020-09-25T19:57:37Zes
dc.date.issued2020-04-01es
dc.identifier.citationVon Neumann, J. (2020).La fundamentación formalista de la matemática. Metatheoria, 10(2), 79-82.es
dc.identifier.issn1853-2322 (impresa)es
dc.identifier.issn1853-2330 (en línea)es
dc.identifier.urihttp://ridaa.unq.edu.ar/handle/20.500.11807/2400es
dc.description.abstractPuesto 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.es
dc.formatapplication/pdfes
dc.languagespaes
dc.publisherUniversidad Nacional de Quilmeses
dc.publisherUniversidad Nacional de Tres de Febreroes
dc.rightshttps://creativecommons.org/licenses/by-nc-nd/2.5/ar/es
dc.sourceMetatheoriaes
dc.subjectFormalismoes
dc.subjectFilosofía de las matemáticases
dc.subjectDemostración (Lógica)es
dc.subjectHilbert, David, 1862-1943es
dc.subjectFormalismen
dc.subjectPhilosophy of mathematicsen
dc.subjectDemonstrationen
dc.subjectFilosofia da matemáticapt
dc.subjectDemonstraçãopt
dc.titleLa fundamentación formalista de la matemáticaes
dc.titleThe formalist foundations of mathematicsen
dc.typeinfo:ar-repo/semantics/artículoes
unq.blm.ubicacionP-AR-MET1es
unq.articulos.paginicio79es
unq.articulos.pagfinal82es
unq.revista.numero2es
unq.revista.volumen10es
unq.versioninfo:eu-repo/semantics/publishedVersionen
unq.articulos.seccionDocumentos fundamentaleses
unq.tipo.snrdinfo:eu-repo/semantics/articleen
unq.accesoinfo:eu-repo/semantics/openAccessen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record