Buscar
Mostrando ítems 1-10 de 15
What happened To the turing test?¿Qué pasó con el Test de turing?
(Universidad Centroccidental Lisandro Alvarado, 2018)
Implicaciones del teorema de Godel en ciencias
(José AhumadaMarzio PantaloneVíctor Rodríguez, 2006-10)
El teorema de Kurt GOdel ha causado gran influencia en la manera en que se entienden los
sistemas formales matemáticos Si bien el teorema es ateniente a la matemática y en particular
a la lógica, nosotros no nos ...
Gödel's theorem
(Quito, 2020)
El teorema de gödel y su relación con las aporías
(Universidad Nacional de Colombia, 2004)
En este ensayo se revisará la estructura de la prueba del teorema de incompletitud de Gödel, el cual afirma que existen verdades acerca de los números naturales que no pueden ser deducidas dentro de un sistema formal o ...
Borges, Gödel y etnolinguística o una prueba lógico-literaria de la incompletitud de los lenguajes recursivos
(Universidade Federal do Pará, 2022)
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 ...
Nociones de completud
(2013)
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 ...