Browsing Vol. 10, no. 02 by Title
Now showing items 1-8 of 8
-
A propósito del formalismo de Johann von Neumann
(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
(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
(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
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
(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
(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
(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
(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 ...