¡Más rápido que el navegador!
23 relaciones: Alan Turing, Alonzo Church, Compacidad (lógica), Completitud (lógica), Consistencia (lógica), David Hilbert, Decidibilidad, Emil Leon Post, Entscheidungsproblem, Jesús Padilla Gálvez, Lógica, Lógica de primer orden, Lógica matemática, Lógica proposicional, Metalenguaje, Numeración de Gödel, Oxford University Press, Principio de superposición, Sistema formal, Teorema de completitud de Gödel, Teorema de Löwenheim-Skolem, Teoremas de incompletitud de Gödel, Wilhelm Ackermann.
Alan Turing
Alan Mathison Turing (Paddington, Londres; 23 de junio de 1912-Wilmslow, Cheshire; 7 de junio de 1954) fue un matemático, lógico, informático teórico, criptógrafo, filósofo y biólogo teórico británico.
¡Nuevo!!: Metalógica y Alan Turing · Ver más »
Alonzo Church
Alonzo Church (14 de junio de 1903 - 11 de agosto de 1995), matemático y lógico estadounidense creador de la base de la computación teórica.
¡Nuevo!!: Metalógica y Alonzo Church · Ver más »
Compacidad (lógica)
En lógica matemática, el teorema de compacidad establece que un conjunto (posiblemente infinito) de fórmulas bien formadas de la lógica de primer orden tiene un modelo si todos sus subconjuntos finitos tienen un modelo.
¡Nuevo!!: Metalógica y Compacidad (lógica) · Ver más »
Completitud (lógica)
En metalógica, la completitud o completitud semántica es la propiedad metateórica que tienen los sistemas formales cuando todas las fórmulas lógicamente válidas (todas las verdades lógicas) del sistema son además teoremas del sistema.
¡Nuevo!!: Metalógica y Completitud (lógica) · Ver más »
Consistencia (lógica)
En metalógica, la consistencia o consistencia lógica es la propiedad que tienen los sistemas formales cuando no es posible deducir una contradicción dentro del sistema.
¡Nuevo!!: Metalógica y Consistencia (lógica) · Ver más »
David Hilbert
David Hilbert (Königsberg, Prusia Oriental; 23 de enero de 1862-Gotinga, Alemania; 14 de febrero de 1943) fue un matemático alemán, reconocido como uno de los más influyentes del y principios del XX.
¡Nuevo!!: Metalógica y David Hilbert · Ver más »
Decidibilidad
En metalógica, la decidibilidad es una propiedad de los sistemas formales cuando, para cualquier fórmula en el lenguaje del sistema, existe un método efectivo para determinar si esa fórmula pertenece o no al conjunto de las verdades del sistema.
¡Nuevo!!: Metalógica y Decidibilidad · Ver más »
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.
¡Nuevo!!: Metalógica y Emil Leon Post · Ver más »
Entscheidungsproblem
En ciencias de la computación y matemáticas, el Entscheidungsproblem (en español: problema de decisión) fue el reto en lógica simbólica de encontrar un algoritmo general que decidiese si una fórmula del cálculo de primer orden es un teorema.
¡Nuevo!!: Metalógica y Entscheidungsproblem · Ver más »
Jesús Padilla Gálvez
Jesús Padilla Gálvez (Almería, 28 de octubre de 1959) es un filósofo español.
¡Nuevo!!: Metalógica y Jesús Padilla Gálvez · Ver más »
Lógica
La lógica es una rama de la filosofía de carácter interdisciplinario, entendida como la ciencia formal que estudia los principios de la demostración y la inferencia válida, las falacias, las paradojas y la noción de verdad.
¡Nuevo!!: Metalógica y Lógica · Ver más »
Lógica de primer orden
Una lógica de primer orden, también llamada lógica predicativa, lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.
¡Nuevo!!: Metalógica y Lógica de primer orden · Ver más »
Lógica matemática
La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal o logística, es el estudio formal y simbólico de la lógica, y su aplicación a algunas áreas de la matemática y la ciencia.
¡Nuevo!!: Metalógica y Lógica matemática · Ver más »
Lógica proposicional
La lógica proposicional, también llamada lógica de enunciados, lógica de orden cero o cálculo proposicional, es un sistema formal cuyos elementos más simples representan proposiciones o enunciados, y cuyas constantes lógicas, llamadas conectivas lógicas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.
¡Nuevo!!: Metalógica y Lógica proposicional · Ver más »
Metalenguaje
En lógica y filosofía del lenguaje, un metalenguaje es un lenguaje que se usa para hablar acerca de otro lenguaje.
¡Nuevo!!: Metalógica y Metalenguaje · Ver más »
Numeración de Gödel
La numeración de Gödel es una función que asigna a cada símbolo y fórmula de un lenguaje formal un número único, denominado Número de Gödel (GN).
¡Nuevo!!: Metalógica y Numeración de Gödel · Ver más »
Oxford University Press
Oxford University Press (OUP) es la casa editorial de mayor reconocimiento en el Reino Unido y una de las más prestigiosas a nivel mundial.
¡Nuevo!!: Metalógica y Oxford University Press · Ver más »
Principio de superposición
El principio de superposición o teorema de superposición es una herramienta matemática que permite descomponer un problema lineal o de otro tipo en dos o más subproblemas más sencillos, de tal manera que el problema original se obtiene como "superposición" o "suma" de estos subproblemas más sencillos.
¡Nuevo!!: Metalógica y Principio de superposición · Ver más »
Sistema formal
Un sistema formal o sistema lógico es un sistema abstracto compuesto por un lenguaje formal, axiomas, reglas de inferencia y a veces una semántica formal, que se utiliza para deducir o demostrar teoremas y dar una definición rigurosa del concepto de demostración.
¡Nuevo!!: Metalógica y Sistema formal · Ver más »
Teorema de completitud de Gödel
El teorema de completitud de Gödel es un importante teorema de la lógica matemática, que fue demostrado por primera vez por Kurt Gödel en 1929 y que en su forma más conocida establece lo siguiente: La palabra "demostrable" significa que existe una deducción formal de la fórmula.
¡Nuevo!!: Metalógica y Teorema de completitud de Gödel · Ver más »
Teorema de Löwenheim-Skolem
En lógica matemática, el teorema de Löwenheim-Skolem o teorema de Löwenheim-Skolem-Tarski es un teorema que establece que si una teoría de primer orden es consistente, entonces tiene al menos un modelo con dominio finito o numerable.
¡Nuevo!!: Metalógica y Teorema de Löwenheim-Skolem · Ver más »
Teoremas de incompletitud de Gödel
Los teoremas de incompletitud de Gödel son dos célebres teoremas de lógica matemática demostrados por Kurt Gödel en 1931.
¡Nuevo!!: Metalógica y Teoremas de incompletitud de Gödel · Ver más »
Wilhelm Ackermann
Wilhelm Ackermann (29 de marzo de 1896 - 24 de diciembre de 1962) fue un matemático alemán.
¡Nuevo!!: Metalógica y Wilhelm Ackermann · Ver más »
