A propósito del formalismo de Johann von Neumann
DOI:
https://doi.org/10.48160/18532330me10.210Palabras clave:
formalismo, demostración de consistencia, Hilbert, von Neumann, GentzenResumen
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.
Citas
Bernays, P. (1970), “On the Original Gentzen Consistency Proof for Number Theory”, en Kino, A., Myhill, J. y R.E. Wesley, (eds.), Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y., Amsterdam: North-Holland, pp. 409-417.
Gentzen, G. (1936), “Die Widerspruchsfreiheit der reinen Zahlentheorie”, Mathematische Annalen112: 493-565.
Gentzen, G. (1938), “Neue Fassung des Wiederspruchfreiheis-beweises für die reine Zahlentheorie”, Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften4: 19-44.
Gentzen, G. (1969), The Collected Papers of Gerhard Gentzen (ed. por M. Szabo), Amsterdam: North-Holland.
Hilbert, D. (1918), “Axiomatisches Denken”, Mathematische Annalen78: 405-415.
Hilbert D. (1922), “Neubegründung der Mathematik. Erste Mitteilung”, Abhandlungen aus dem mathematischen Seminar der Hamburgischen UniversitätI: 157-177. (Reimpreso en: Hilbert, D., Gesammelte Abhandlungen, Vol. III, Berlin: Springer, 1935, pp. 157-177.)
Hilbert, D. (1931a), “Beweis des Tertium non datur”, Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-physikalische Klasse (1930): 120-125.
Hilbert, D. (1931b), “Die Grundlegung der elementaren Zahlenlehre”, Mathematische Annalen104: 485-494.
Murawsky, J. (2004), “John von Neumann and Hilbert’s School of Foundations of Mathematics”, Studies in Logic, Grammar and Rhetoric7: 37-55.
Prawitz, D. (1981), “Philosophical Aspects of Proof Theory”, en Fløistad, G. (ed.), Contemporary Philosophy: A New Survey, Volume 1, Philosophy of Language, Philosophical Logic, Dordrecht/Boston/Lancaster: Martinus Nijhoff Publishers, pp. 235-277.
von Neumann, J. (1927), “Zur Hilbertschen Beweistheorie”, Mathematische Zeitschrift26: 1-46.
von Neumann, J. (1931), “Die formalistische Grundlegung der Mathematik”, Erkenntniss2: 116-121. (Seguimos la excelente traducción de Eduardo Giovaninni, este volumen, pp.79-82.)
Descargas
Publicado
Cómo citar
Número
Sección
Licencia
Derechos de autor 2020 Metatheoria – Revista de Filosofía e Historia de la CienciaLos documentos aquí publicados se rigen bajos los criterios de licencia Creative Commons Argentina.Atribución - No Comercial - Sin Obra Derivada 2.5
