Buscar
Mostrando ítems 1-3 de 3
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 ...
La fundamentación logicista de la matemáticaThe logicist foundations of mathematicsDie logizistische Grundlegung der Mathematik
(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 ...