demostrable
11Teorema de Löb — En lógica matemática, el teorema de Löb establece que en una teoría con aritmética de Peano, para cualquier fórmula P, se puede demostrar que si P es demostrable entonces P , entonces P es demostrable. O sea: si , entonces donde Dem(#P) significa …
12Agnosticismo — No confundir con gnosticismo. Ícono popular del agnosticismo. El agnosticismo (del griego α a , sin + γνώσις gnōsis, conocimiento) es aquella postura filosófica o personal que, a grandes rasgos, considera inaccesible para el ser humano todo… …
13Apodíctico — Saltar a navegación, búsqueda Apodíctico (en griego ἀποδεικτικός, demostrable) es una expresión adjetival proveniente de la lógica aristotélica que refiere a una proposición demostrable, indispensable u obvia, que en caso contrario deviene… …
14Argumento ontológico — Saltar a navegación, búsqueda El argumento ontológico para la existencia de Dios es un razonamiento apriorístico que pretende probar la existencia de Dios empleando únicamente la razón y la intuición. Dentro del contexto de las religiones… …
15Décimo problema de Hilbert — Saltar a navegación, búsqueda El décimo problema de Hilbert es uno de los veintitrés que David Hilbert propuso al término del siglo XIX. Su enunciado original es: Dada una ecuación diofántica con cualquier número de incógnitas y con coeficientes… …
16Escepticismo científico — Saltar a navegación, búsqueda Para la corriente filosófica, véase escepticismo. El escepticismo científico (o escepticismo racional) es una posición práctica, filosófica, científica y epistemológica, en la que se cuestiona a las pseudociencias y …
17Jesús Padilla Gálvez — Nombre completo Jesús Padilla Gálvez Nacimiento 28 de actubre de 1959 Almería, España …
18Lenguas nilo-saharianas — Distribución geográfica: Sahara, África central y oriental Países: Hablantes: 31 millones (2004) Puesto …
19Paradoja — Saltar a navegación, búsqueda Paradoja, del griego παρα (para) y δόξος (doxos), que significa “más allá de lo creíble”, es un concepto filosófico que emplea la lógica (Filosófico – Lógico) para darle nombre a situaciones, textos o circunstancias… …
20Teorema de completitud de Gödel — El teorema de completitud de Gödel es un importante teorema de la lógica matemática, que fue demostrado por primera vez por Kurt Gödel en 1929 y que en su forma más conocida establece lo siguiente: En una lógica de primer orden, toda fórmula que… …
