Buscar
Mostrando ítems 1-3 de 3
La constitución del programa de HilbertThe constitution of Hilbert’s program
(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 ...
A propósito del formalismo de Johann von NeumannOn the formalism of 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 fundamentación formalista de la matemáticaThe formalist foundations of mathematicsDie formalistische Grundlegung der Mathematik
(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 ...