29 relaciones: Alan Turing, Algoritmo, Alonzo Church, Aritmética, Axiomas de Peano, Cálculo lambda, Ciencias de la computación, David Hilbert, Fórmula (expresión), Función recursiva, Gottfried Leibniz, Idioma español, Inferencia de tipos, Kurt Gödel, Lógica de primer orden, Lógica matemática, Lenguaje de programación, Matemáticas, Máquina de Turing, Número natural, Problema de decisión, Problema de la parada, Stephen Kleene, Teorema, Teorema de completitud de Gödel, Teoremas de incompletitud de Gödel, Wilhelm Ackermann, 1928, 1936.
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!!: Entscheidungsproblem y Alan Turing · Ver más »
Algoritmo
En matemáticas, lógica, ciencias de la computación y disciplinas relacionadas, un algoritmo (probablemente del latín tardío algorithmus, y este del árabe clásico ḥisābu lḡubār, que significa «cálculo mediante cifras arábigas») es un conjunto de instrucciones o reglas definidas y no-ambiguas, ordenadas y finitas que permite, típicamente, solucionar un problema, realizar un cómputo, procesar datos y llevar a cabo otras tareas o actividades.
¡Nuevo!!: Entscheidungsproblem y Algoritmo · 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!!: Entscheidungsproblem y Alonzo Church · Ver más »
Aritmética
La aritmética (del lat. arithmetĭcus, derivado del gr. ἀριθμητικός, a partir de ἀριθμός, «número») es la rama de la matemática cuyo objeto de estudio son los números y las operaciones elementales hechas con ellos: adición, sustracción, multiplicación y división.
¡Nuevo!!: Entscheidungsproblem y Aritmética · Ver más »
Axiomas de Peano
Los axiomas de Peano o postulados de Peano son un sistema de axiomas de segundo orden para la aritmética ideados por el matemático Giuseppe Peano en el, para definir los números naturales.
¡Nuevo!!: Entscheidungsproblem y Axiomas de Peano · Ver más »
Cálculo lambda
En lógica matemática, 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.
¡Nuevo!!: Entscheidungsproblem y Cálculo lambda · Ver más »
Ciencias de la computación
Las ciencias de la computación estudian los fundamentos teóricos de la información y el cómputo, junto con técnicas prácticas para la implementación y aplicación de estos fundamentos teóricos.
¡Nuevo!!: Entscheidungsproblem y Ciencias de la computación · 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!!: Entscheidungsproblem y David Hilbert · Ver más »
Fórmula (expresión)
Una fórmula es una secuencia o cadena de caracteres cuyos símbolos pertenecen a un lenguaje formal, de tal manera que la expresión cumple ciertas reglas de buena formación y que admite una interpretación consistente en alguna área de la matemática y en otros sistemas formales.
¡Nuevo!!: Entscheidungsproblem y Fórmula (expresión) · Ver más »
Función recursiva
En lógica matemática y computación, las funciones recursivas o también conocidas como funciones recursivas-μ son una clase de funciones de los números naturales en los números naturales que son «computables» en un sentido intuitivo.
¡Nuevo!!: Entscheidungsproblem y Función recursiva · Ver más »
Gottfried Leibniz
Gottfried Wilhelm Leibniz, a veces Gottfried Wilhelm von Leibniz (Leipzig, 1 de julio de 1646-Hannover, 14 de noviembre de 1716), fue un polímata, filósofo, matemático, lógico, teólogo, jurista, bibliotecario y político alemán.
¡Nuevo!!: Entscheidungsproblem y Gottfried Leibniz · Ver más »
Idioma español
El español o castellano es una lengua romance procedente del latín hablado, perteneciente a la familia de lenguas indoeuropeas.
¡Nuevo!!: Entscheidungsproblem e Idioma español · Ver más »
Inferencia de tipos
La inferencia de tipos es una característica predominante de los lenguajes de programación funcionales tales como ML, Haskell, C#, Vala y Ocaml.
¡Nuevo!!: Entscheidungsproblem e Inferencia de tipos · Ver más »
Kurt Gödel
Kurt Friedrich Gödel (Brünn, Imperio austrohúngaro, actual República Checa, 28 de abril de 1906-Princeton, Estados Unidos; 14 de enero de 1978), conocido como Kurt Gödel, fue un lógico, matemático y filósofo austríaco.
¡Nuevo!!: Entscheidungsproblem y Kurt Gödel · 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!!: Entscheidungsproblem 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!!: Entscheidungsproblem y Lógica matemática · Ver más »
Lenguaje de programación
Un lenguaje de programación es un lenguaje formal (o artificial, es decir, un lenguaje con reglas gramaticales bien definidas) que proporciona a una persona, en este caso el programador, la capacidad y habilidad de escribir (o programar) una serie de instrucciones o secuencias de órdenes en forma de algoritmos con el fin de controlar el comportamiento físico o lógico de un sistema informático, para que de esa manera se puedan obtener diversas clases de datos o ejecutar determinadas tareas.
¡Nuevo!!: Entscheidungsproblem y Lenguaje de programación · Ver más »
Matemáticas
Las matemáticas, o también la matemática, La palabra «matemáticas» no está en el Diccionario de la Real Academia Española.
¡Nuevo!!: Entscheidungsproblem y Matemáticas · Ver más »
Máquina de Turing
Una máquina de Turing es un dispositivo que manipula símbolos sobre una tira de cinta de acuerdo con una tabla de reglas.
¡Nuevo!!: Entscheidungsproblem y Máquina de Turing · Ver más »
Número natural
En matemáticas, un número natural es cualquiera de los números que se usan para contar los elementos de ciertos conjuntos.
¡Nuevo!!: Entscheidungsproblem y Número natural · Ver más »
Problema de decisión
En teoría de la computación, un problema es un conjunto de frases de longitud finita que tienen asociadas frases resultantes también de longitud finita.
¡Nuevo!!: Entscheidungsproblem y Problema de decisión · Ver más »
Problema de la parada
El problema de la parada o problema de la detención para máquinas de Turing consiste en lo siguiente: dada una Máquina de Turing M y una palabra w, determinar si M terminará en un número finito de pasos cuando es ejecutada usando w como dato de entrada.
¡Nuevo!!: Entscheidungsproblem y Problema de la parada · Ver más »
Stephen Kleene
Stephen Cole Kleene (Hartford, Connecticut; 5 de enero de 1909-Madison, Wisconsin; 25 de enero de 1994) fue un lógico y matemático estadounidense.
¡Nuevo!!: Entscheidungsproblem y Stephen Kleene · Ver más »
Teorema
Un teorema es una proposición cuya verdad se demuestra.
¡Nuevo!!: Entscheidungsproblem y Teorema · 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!!: Entscheidungsproblem y Teorema de completitud de Gödel · 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!!: Entscheidungsproblem 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!!: Entscheidungsproblem y Wilhelm Ackermann · Ver más »
1928
1928 fue un año bisiesto comenzando en domingo según el calendario gregoriano.
¡Nuevo!!: Entscheidungsproblem y 1928 · Ver más »
1936
1936 fue un año bisiesto comenzado en miércoles según el calendario gregoriano.
¡Nuevo!!: Entscheidungsproblem y 1936 · Ver más »