demostrabilidad

См. также в других словарях:

• demostrabilidad — ► sustantivo femenino LÓGICA Propiedad de una fórmula de una teoría deductiva para la que existe una demostración …   Enciclopedia Universal

• George Boolos — George Stephen Boolos (4 de septiembre de 1940, Nueva York – 27 de mayo de 1996) fue un filósofo y estudioso de lógica matemática que enseñó en el Massachusetts Institute of Technology. Contenido 1 Vida 2 Trabajo 3 Véase también …   Wikipedia Español

• 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

• Acoso laboral — Para otros usos de este término, véase Acoso. El acoso laboral o acoso moral en el lugar del trabajo, conocido frecuentemente a través del término inglés mobbing ( asediar, acosar, acorralar en grupo [1] ), es tanto la acción de un hostigador u… …   Wikipedia Español

• Alan Turing — Para otros usos de este término, véase Turing (desambiguación). Alan Turing Alan Mathison Turing Nacimiento 23 de junio de …   Wikipedia Español

• Prueba de consistencia — Saltar a navegación, búsqueda En lógica matemática, un sistema formal es consistente si no contiene una contradicción, o, en forma más precisa, no existe una proposición φ tal que se puede demostrar o deducir simultáneamente la proposición φ y su …   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

• Macrofamilia azteco-tañoana — Lenguas azteco tañoanas Distribución geográfica: América del Norte Países:  Estados Unidos …   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