- indecidible
- indecidible adj. Fil. Dicho de una proposición: Que, en un sistema lógico, no es posible demostrar si es verdadera o falsa.
Diccionario de la lengua española. 2015.
indecidible
Mira otros diccionarios:
indecidible — indecidible. adj. Fil. Dicho de una proposición: Que, en un sistema lógico, no es posible demostrar si es verdadera o falsa … Enciclopedia Universal
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
Gramática libre de contexto — En lingüística e informática, una gramática libre de contexto (o de contexto libre) es una gramática formal en la que cada regla de producción es de la forma: V → w Donde V es un símbolo no terminal y w es una cadena de terminales y/o no… … Wikipedia Español
Indecidibilidad — No debe confundirse con «indecible» o «inefable». Indecidibilidad, la cualidad de lo indecidible (lo contrario de la decidibilidad y lo decidible), puede referirse a: En lógica matemática: La independencia de una sentencia de una teoría… … Wikipedia Español
Teoría de la computabilidad — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar … Wikipedia Español
Máquina de Turing — Para otros usos de este término, véase Turing (desambiguación). Una máquina de Turing (MT) es un modelo computacional que realiza una lectura/escritura de manera automática sobre una entrada llamada cinta, generando una salida en esta misma. Este … Wikipedia Español
Axioma de elección — Saltar a navegación, búsqueda En matemáticas, el axioma de elección o axioma de escogencia, abreviado usualmente AE, o AC por sus siglas en inglés, es un axioma de la teoría de conjuntos. Intuitivamente, AE dice que dada una colección de… … Wikipedia Español
Lógica de primer orden — La lógica de primer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.[1] Los lenguajes de primer orden son, a su vez, lenguajes… … Wikipedia Español
Clase de complejidad — En teoría de la complejidad computacional, una clase de complejidad es un conjunto de problemas de decisión de complejidad relacionada. Una clase de complejidad tiene una definición de la forma: el conjunto de los problemas de decisión que pueden … Wikipedia Español
El callejón de los milagros (película) — Para otros usos de este término, véase El callejón de los milagros (desambiguación). El callejón de los milagros Título El callejón de los milagros Ficha técnica Dirección Jorge Fons … Wikipedia Español
