Buscar
Mostrando ítems 21-30 de 37
Problema de clasificación algorítmica
(Universidad Michoacana de San Nicolás de Hidalgo, 2009-12)
In 1910 Bertrand Russell and Alfred North Whitehead published the books Principia Mathematica, where an axiomatization of set theory is exposed, with the thesis that it derives all true mathematics. In 1931 Kurt Gödel ...
La incompletitud de los fundamentos de las matemáticas
(Universidad del RosarioFilosofíaEscuela de Ciencias Humanas, 2018)
The aim of this paper is to analyze the impact of Gödel's incompleteness theorems in the debate about the foundations of mathematics, specifically on logicism and formalism, and the effects on the relationship between truth ...
Dugundji’s Theorem Revisited
(Birkhauser Verlag AG, 2014)
Sobre a Consistência da Hipótese do Contínuo
(Universidade Federal do TocantinsAraguaínaCURSO::ARAGUAÍNA::PRESENCIAL::LICENCIATURA::MATEMÁTICAAraguaínaGraduação, 2023)
Crisis del escepticismo ético
(2012)
La mecánica de Newton ha sido considerada el único método científico posible desde el siglo XVIII hasta entrado el XX. Este modelo físico consideró que era preciso introducir restricciones epistemológicas en el método ...
Formalización de fundaciones de la matemática y compiladores correctos por construcción
(2019-03-28)
El desarrollo de las teorías fundacionales de la Matemática aparecidas en el siglo XX ha dado lugar a numerosos avances científicos en lógica y en ciencias de la computación. La teoría de conjuntos propuesta ...
Reflexiones filosóficas en torno al legado de Hume y sus influencias en el siglo XX
(Universidad Nacional de Quilmes. Departamento de Ciencias Sociales, 2016)
El legado de Hume llegó al siglo XX con los empiristas lógicos. En las primeras décadas de este siglo surgió la filosofía de la ciencia como una disciplina autónoma de otras disciplinas filosóficas; su objetivo era formular ...
Constructible sets in lattice-valued models
(Universidad Nacional de ColombiaBogotá - Ciencias - Maestría en Ciencias - MatemáticasFacultad de CienciasBogotá, ColombiaUniversidad Nacional de Colombia - Sede Bogotá, 2023)
We investigate different set-theoretic constructions in Residuated Logic based on Fitting’s
work on Intuitionistic Kripke models of Set Theory.
Firstly, we consider constructable sets within valued models of Set Theory. ...