ListarVol. 10, no. 02 por tema "Hilbert, David, 1862-1943"
Mostrando ítems 1-3 de 3
-
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 ...