Independencia (lógica matemática)
- Independencia (lógica matemática)
-
En lógica matemática, la noción de independencia o indecidibilidad se refiere a la imposibilidad de de demostrar o refutar una sentencia a partir de otras.
Una sentencia σ se dice independiente o indecidible en una teoría de primer orden T —u otros sistemas lógicos— si T ni demuestra ni refuta σ; esto es, si no es posible probar σ partiendo de T, ni probar que σ es falsa.
Ejemplos de independencia
Muchas sentencias interesantes en teoría de conjuntos axiomática son independientes de la teoría de conjuntos de Zermelo-Fraenkel (ZF). Los siguientes enunciados son independientes de ZF (siempre que ésta sea consistente):
Otro ejemplo muy conocido es el quinto postulado de Euclides, que no puede ser demostrado a partir de los restantes axiomas de la geometría euclídea, debido a la existencia de las geometrías no euclídeas.
Referencias
Wikimedia foundation.
2010.
Mira otros diccionarios:
Independencia (desambiguación) — El término Independencia puede referirse principalmente a: la independencia, como situación de un país que no está sometido a la autoridad de otro; partido de la independencia de Puerto Rico o Partido Independentista de Puerto Rico. El BAP… … Wikipedia Español
Ciencia — La ciencia (del latín scientia conocimiento ) es el conjunto de conocimientos sistemáticamente estructurados, y susceptibles de ser articulados unos con otros. El árbol de la ciencia. Interpretación bíblica Contenido … Wikipedia Español
Historia de la ciencia en la Argentina — Luis Leloir (a la izquierda) festejando con sus compañeros el día que fue galardonado con el Premio Nobel de Química de 1970. La historia de la ciencia en la … 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
Dana Scott — Saltar a navegación, búsqueda Dana Stewart Scott Nacimiento 1932 … Wikipedia Español
Fondo y génesis de la teoría de los topos — Saltar a navegación, búsqueda Esta página presenta de modo amplio la idea matemática de los topos. Ésta es una rama de la teoría de categorías, y tiene reputación de ser abstrusa. El nivel de abstracción involucrado no se puede reducir más allá… … Wikipedia Español
Normalización de bases de datos — Para otros usos de este término, véase Normalización (desambiguación). El proceso de normalización de bases de datos consiste en aplicar una serie de reglas a las relaciones obtenidas tras el paso del modelo entidad relación al modelo relacional … Wikipedia Español
Filosofía — El pensador, de Auguste Rodin, representación clásica de un hombre inmerso en sus pensamientos. Este artículo trata sobre la tradición filosófica occidental. Para la tradición filosófica oriental, véase Filosofía oriental. La filosofía (del latín … Wikipedia Español
Tractatus logico-philosophicus — Página de título de la primera edición inglesa de 1922 Autor … Wikipedia Español
Pseudociencia — Existen desacuerdos sobre la neutralidad en el punto de vista de la versión actual de este artículo o sección. En la página de discusión puedes consultar el debate al respecto. Una pseudociencia o seudociencia es una afirmación, creencia o… … Wikipedia Español
