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
