Común
Metalógica
rama de la lógica que estudia las propiedades y los componentes de los sistemas formales
Metalógica
La metalógica es la rama de la lógica que estudia las propiedades y los componentes de los sistemas formales. Las propiedades más importantes que se pueden demostrar de los sistemas formales son la consistencia, decidibilidad y completitud. Ejemplos de teoremas metalógicos importantes son los teoremas de incompletitud de Gödel, el teorema de completitud de Gödel y el teorema de Löwenheim-Skolem. Otra propiedad es la compacidad.
Abre sobres, colecciona cartas y cámbialas. Gratis.
Jugar gratis