• A propósito del formalismo de Johann von Neumann 

    Lassalle Casanave, Abel; Pereira, Luiz Carlos (Universidad Nacional de QuilmesUniversidad Nacional de Tres de Febrero, 2020-04-01)
    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 ...
  • La constitución del programa de Hilbert 

    Fernández de Castro, Max; Torres Falcón, Yolanda (Universidad Nacional de QuilmesUniversidad Nacional de Tres de Febrero, 2020-04-01)
    En las páginas que siguen pretendemos dar una visión panorámica y esquemática de la evolución del programa formalista que resulta de los estudios recientes de notas de curso hasta hace poco inéditas. Analizaremos primeramente ...
  • La fundamentación formalista de la matemática 

    Von Neumann, John (Universidad Nacional de QuilmesUniversidad Nacional de Tres de Febrero, 2020-04-01)
    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 ...