Now showing items 1-8 of 8

  • 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 ...
  • La fundamentación intuicionista de la matemática 

    Heyting, Arend
    El objetivo que el matemático intuicionista se propone es el siguiente: practicar matemática como una función natural del intelecto, como una libre, vital actividad del pensamiento. Para él la matemática es un producto de ...
  • La fundamentación logicista de la matemática 

    Carnap, Rudolf (Universidad Nacional de QuilmesUniversidad Nacional de Tres de Febrero, 2020-04-01)
    El problema de la fundamentación lógica y gnoseológica de la matemática aún no ha sido completamente resuelto. Este problema preocupa intensamente a matemáticos y a filósofos, ya que una incertidumbre en los fundamentos ...
  • La herencia oscura del logicismo 

    Ferreirós, José (Universidad Nacional de QuilmesUniversidad Nacional de Tres de Febrero, 2020-04-01)
    El logicismo suele figurar de modo estándar en los manuales como una de las principales alternativas en la fundamentación de las matemáticas, si bien su atractivo disminuyó considerablemente desde aprox. 1950. Bien es ...
  • Joe Sneed, in memoriam 

    Moulines, C. Ulises (Universidad Nacional de QuilmesUniversidad Nacional de Tres de Febrero, 2020-04-01)
    Joe Sneed, in memoriam
  • El simposio de Königsberg sobre fundamentos de la matemática en perspectiva 

    Esquisabel, Oscar M.; Legris, Javier (Universidad Nacional de QuilmesUniversidad Nacional de Tres de Febrero, 2020-04-01)
    Este volumen de Metatheoria incluye traducciones al castellano de los tres famosos trabajos sobre las escuelas de fundamentos de la matemática, el logicismo, el intuicionismo y el formalismo, expuestos en el Simposio de ...