Listar por tema "Demostración (Lógica)"

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

  • Distinguiendo diagramas infinitos 

    Seoane, José (Universidad Nacional de QuilmesUniversidad Nacional de Tres de Febrero, 2018-10-01)
    La literatura filosófica ha distinguido excepcionalmente entre la demostración matemática y su expresión. La importancia de vindicar tal distinción reside en que las propiedades de la expresión no necesariamente lo son de ...

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

  • Todavía la intuición : la persistencia del apriorismo 

    Monroy Correa, Manuel Antonio (Universidad Nacional de QuilmesUniversidad Nacional de Tres de Febrero, 2018-10-01)
    En su obra mayor, El mundo como voluntad y representación, Arthur Schopenhauer (2005) consideró que las matemáticas no podían tener un carácter de verdad como procesos nacidos de la experiencia, siguiendo en este sentido ...