demostrable

Mira otros diccionarios:

• demostrable — ► adjetivo Que puede ser demostrado: ■ se trata de una teoría difícilmente demostrable. * * * demostrable adj. Que se puede demostrar. * * * demostrable. (Del lat. demonstrabĭlis). adj. Que se puede demostrar …   Enciclopedia Universal

• demostrable — {{＃}}{{LM D11854}}{{〓}} {{［}}demostrable{{］}} ‹de·mos·tra·ble› {{《}}▍ adj.inv.{{》}} Que se puede demostrar: • No sé por qué no me crees, si todo lo que te digo es demostrable.{{○}} …   Diccionario de uso del español actual con sinónimos y antónimos

• demostrable — de|mos|tra|ble Mot Pla Adjectiu invariable …   Diccionari Català-Català

• demostrable — Sinónimos: ■ comprobable, explicable, verificable Antónimos: ■ inexplicable …   Diccionario de sinónimos y antónimos

• Teoremas de incompletitud de Gödel — Kurt Gödel a los 19 años de edad, cinco años antes de la demostración de los teoremas. Los teoremas de incompletitud de Gödel son dos célebres teoremas de lógica matemática demostrados por Kurt Gödel en 1930. Ambos están relacionados con la… …   Wikipedia Español

• Teorema — (Del gr. theorema, meditación.) ► sustantivo masculino 1 LÓGICA Proposición que afirma una verdad demostrable a través de un razonamiento. 2 LÓGICA, MATEMÁTICAS Expresión de un sistema formal, demostrable en el interior de dicho sistema. * * *… …   Enciclopedia Universal

• Axioma — Saltar a navegación, búsqueda Un axioma, en epistemología, es una verdad evidente que no requiere demostración, pues se justifica a sí misma, y sobre la cual se construye el resto de conocimientos por medio de la deducción; aunque, no todos los… …   Wikipedia Español

• Kurt Gödel — Para el lenguaje de programación, véase Gödel (lenguaje de programación). Kurt Gödel Kurt Gödel Nacimiento 28 de abril …   Wikipedia Español

• Lógica doxástica — La lógica doxástica (del griego antiguo δόξα, doxa, creencia ) es una lógica modal que se ocupa del razonamiento acerca de las creencias. Típicamente, una lógica doxástica utiliza la expresión para significar el razonador c cree que p es… …   Wikipedia Español

• Teorema 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 …   Wikipedia Español