Biblioteca Laura Manzo

A propósito del formalismo de Johann von Neumann

Fil: Lassalle Casanave, Abel. Universidade Federal da Bahia; Brasil.

Saved in:

Main Authors:	Lassalle Casanave, Abel, Pereira, Luiz Carlos
Format:	info:eu-repo/semantics/article
Language:	spa
Published:	Universidad Nacional de Quilmes 2020
Subjects:	Formalismo Demostración (Lógica) Consistencia (Lógica) Von Neumann, John, 1903-1957 Gentzen, Gerhard, 1909-1945 Hilbert, David, 1862-1943 Formalism Demonstration Consistency (Logic) Demonstração Consistência (Lógica)
Online Access:	http://ridaa.unq.edu.ar/handle/20.500.11807/2397
Tags:	Add Tag No Tags, Be the first to tag this record!

id	ir-20.500.11807-2397
recordtype	dspace
spelling	ir-20.500.11807-23972020-12-22T15:09:34Z A propósito del formalismo de Johann von Neumann On the formalism of Johann von Neumann Lassalle Casanave, Abel Pereira, Luiz Carlos Formalismo Demostración (Lógica) Consistencia (Lógica) Von Neumann, John, 1903-1957 Gentzen, Gerhard, 1909-1945 Hilbert, David, 1862-1943 Formalism Demonstration Consistency (Logic) Demonstração Consistência (Lógica) Fil: Lassalle Casanave, Abel. Universidade Federal da Bahia; Brasil. Fil: Lassalle Casanave, Abel. Conselho Nacional de Desenvolvimento Científico e Tecnológico; Brasil. Fil: Pereira, Luiz Carlos. Pontifícia Universidade Católica do Rio de Janeiro; Brasil. Fil: Pereira, Luiz Carlos. Universidade do Estado do Rio de Janeiro; Brasil. Fil: Pereira, Luiz Carlos. Conselho Nacional de Desenvolvimento Científico e Tecnológico; Brasil. En 1930, Johann von Neumann, junto con Rudolf Carnap y Arend Heyting, participó de un evento realizado en Königsberg llamado “Segundo Seminario sobre Epistemología de las Ciencias Exactas”. La idea por detrás de la reunión de esos tres investigadores era presentar un cuadro suficientemente fiel de los tres programas de fundamentación de la matemática existentes al momento: el formalismo, el logicismo y el intuicionismo. El principal objetivo de este artículo es proponer un análisis del texto “La fundamentación formalista de la matemática” presentado por von Neumann en el mencionado seminario. Tratamos de mostrar como desde la perspectiva de von Neumann el problema de la consistencia de las teorías matemáticas es resultado de la transformación de una cuestión genuinamente filosófica en una genuina cuestión lógico-matemática y como una prueba de consistencia podía ser vista como la solución del problema fundacional. En la parte final del texto, presentamos algunas consideraciones acerca de las pruebas de consistencia de Gerhard Gentzen y su importancia para la teoría contemporánea de la demostración. In 1930, Johann von Neumann, together with Rudolf Carnap and Arend Heyting, participated in a conference held in Königsberg, called “Second Seminar on the Epistemology of Exact Sciences”. The idea behind the reunion of these three researchers was to compose a fairly faithful picture of the three main foundational programs of mathematics at the time: formalism, logicism, and intuitionism. The main objective of this paper is to propose an analysis of the text “The Formalist Foundation of Mathematics” presented by von Neumann in this conferenc e. We show how, from von Neumann's perspective, the problem of the consistency of mathematical theories results from the transformation of a genuinely philosophical question into a genuinely logical-mathematical question and how a proof of consistency could be seen as the solution to the foundational problem. In the final part of the text, we present some considerations about Gerhard Gentzen’s consistency proofs and their importance to contemporary proof theory. 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/2397 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 Demostración (Lógica) Consistencia (Lógica) Von Neumann, John, 1903-1957 Gentzen, Gerhard, 1909-1945 Hilbert, David, 1862-1943 Formalism Demonstration Consistency (Logic) Demonstração Consistência (Lógica)
spellingShingle	Formalismo Demostración (Lógica) Consistencia (Lógica) Von Neumann, John, 1903-1957 Gentzen, Gerhard, 1909-1945 Hilbert, David, 1862-1943 Formalism Demonstration Consistency (Logic) Demonstração Consistência (Lógica) Lassalle Casanave, Abel Pereira, Luiz Carlos A propósito del formalismo de Johann von Neumann
description	Fil: Lassalle Casanave, Abel. Universidade Federal da Bahia; Brasil.
format	info:eu-repo/semantics/article
author	Lassalle Casanave, Abel Pereira, Luiz Carlos
author_facet	Lassalle Casanave, Abel Pereira, Luiz Carlos
author_sort	Lassalle Casanave, Abel
title	A propósito del formalismo de Johann von Neumann
title_short	A propósito del formalismo de Johann von Neumann
title_full	A propósito del formalismo de Johann von Neumann
title_fullStr	A propósito del formalismo de Johann von Neumann
title_full_unstemmed	A propósito del formalismo de Johann von Neumann
title_sort	propósito del formalismo de johann von neumann
publisher	Universidad Nacional de Quilmes
publishDate	2020
url	http://ridaa.unq.edu.ar/handle/20.500.11807/2397
_version_	1796766208991690752
score	10.277026

A propósito del formalismo de Johann von Neumann

Similar Items