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:

Véase también



Wikimedia foundation. 2010.

Mira otros diccionarios:

  • indecidibilidad — ► femenino LÓGICA Imposibilidad de demostrar, en un sistema de una cierta complejidad y dentro del mismo sistema, todas las proposiciones verdaderas …   Enciclopedia Universal

  • Lógica combinatoria — La lógica combinatoria es la lógica última y como tal puede ser un modelo simplificado del cómputo, usado en la teoría de computabilidad (el estudio de qué puede ser computado) y la teoría de la prueba (el estudio de qué se puede probar… …   Wikipedia Español

  • Metamatemática — La metamatemática es el estudio matemático de los fundamentos de las matemáticas. Contenido 1 Contexto histórico del concepto 1.1 La paradoja de Richard 1.2 La demostración de Zermelo …   Wikipedia Español

  • Cálculo lambda — Artículo parcialmente traducido: Contiene texto en inglés. Ayuda a terminarlo. El cálculo lambda es un sistema formal diseñado para investigar la definición de función, la noción de aplicación de funciones y la recursión. Fue introducido por… …   Wikipedia Español

  • Ciencias duras y blandas — Ciencia dura y Ciencia blanda son términos construidos de forma un tanto coloquial, no utilizados institucionalmente por su carácter problemático (no existen facultades ni licenciaturas de ciencias duras o de ciencias blandas), pero de uso… …   Wikipedia Español

  • Teoría de la computación — La teoría de la computación es una rama de la matemática y la computación que centra su interés en las limitaciones y capacidades fundamentales de las computadoras. Específicamente esta teoría busca modelos matemáticos que formalizan el concepto… …   Wikipedia Español

  • Edad Contemporánea — La carga de los mamelucos, de Francisco de Goya, 1814, representa un episodio del levantamiento del 2 de mayo de 1808 en Madrid. Los pueblos europeos, convertidos en protagonistas de su propia historia y a los que se les había proclamado sujetos… …   Wikipedia Español

  • Decidibilidad — Saltar a navegación, búsqueda En lógica, el término decidible se refiere a la existencia de un método efectivo para determinar si un objeto es miembro de un conjunto de fórmulas. Un sistema lógico o teoría es decidible sintácticamente si el… …   Wikipedia Español

  • Emil Leon Post — Saltar a navegación, búsqueda Emil Leon Post Emil Leon Post (11 de febrero de 1897 en Augustów 21 de abril de 1954 en Nueva York) fue un matemático estadounidense de origen polaco especializado en …   Wikipedia Español

  • Independiente — puede referirse a: las siguientes entidades deportivas: Club Atlético Independiente, club de Avellaneda, Argentina; Independiente Medellín, equipo de fútbol de Colombia; Independiente Santa Fe, equipo de fútbol de Colombia; Club Deportivo… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”