Listar por tema "Hilbert, David, 1862-1943"

Mostrando ítems 1-4 de 4

  • 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 ...

  • Sobre la relevancia de la tesis de Turing 

    D’Andrea, Aldana (Universidad Nacional de QuilmesUniversidad Nacional de Tres de Febrero, 2017-04-01)
    En este artículo intentamos dar cuenta de la relevancia de la tesis de Turing sobre el concepto de cálculo efectivo en relación con la tesis de Church sobre el mismo tema. Si bien ambas tesis son extensionalmente equivalentes ...