Buscar
Mostrando ítems 1-2 de 2
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 ...