¡Más rápido que el navegador!
29 relaciones: Alan Turing, Cálculo lambda, Dana Scott, David Kaplan, Entscheidungsproblem, Estados Unidos, Función recursiva, John G. Kemeny, Lógica, Lógica combinatoria, Leon Henkin, Lisp, Martin Davis, Matemáticas, Máquina de Turing, Michael Oser Rabin, Oswald Veblen, Problema de la parada, Problema indecidible, Programación funcional, Raymond Smullyan, Stephen Kleene, Teoría de la computación, Tesis de Church-Turing, The Independent, The New York Times, Universidad de California en Los Ángeles, Universidad de Princeton, Washington D. C..
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!!: Alonzo Church y Alan Turing · 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!!: Alonzo Church y Cálculo lambda · Ver más »
Dana Scott
Dana Stewart Scott (nacido en 1932) es el Profesor Emérito de Ciencias de la Computación, Filosofía y Lógica Matemática en Carnegie Mellon University; Se encuentra jubilado y vive en Berkeley, California.
¡Nuevo!!: Alonzo Church y Dana Scott · Ver más »
David Kaplan
Benjamin David Kaplan (nacido en 1933) es un filósofo y lógico que enseña en la Universidad de California en Los Ángeles.
¡Nuevo!!: Alonzo Church y David Kaplan · 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!!: Alonzo Church y Entscheidungsproblem · Ver más »
Estados Unidos
«EUA», «US», «USA» y «United States» redirigen aquí.
¡Nuevo!!: Alonzo Church y Estados Unidos · 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!!: Alonzo Church y Función recursiva · Ver más »
John G. Kemeny
John George Kemeny (Kemény János György) (31 de mayo de 1926 - 26 de diciembre de 1992) fue un informático y profesor nacido en Budapest (Hungría), conocido como uno de los dos desarrolladores del lenguaje de programación BASIC (el Dartmouth BASIC) en 1964 junto con Thomas Eugene Kurtz.
¡Nuevo!!: Alonzo Church y John G. Kemeny · 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!!: Alonzo Church y Lógica · Ver más »
Lógica combinatoria
La lógica combinatoria es la lógica última y como tal puede ser un modelo simplificado del cómputo, usado en la teoría de la computabilidad (el estudio de qué puede ser computado) y la teoría de la prueba (el estudio de qué se puede probar matemáticamente).
¡Nuevo!!: Alonzo Church y Lógica combinatoria · Ver más »
Leon Henkin
Leon Albert Henkin (Brooklyn, Nueva York, 19 de abril de 1921-Oakland, California, 1 de noviembre de 2006) fue uno de los lógicos y matemáticos más importantes del.
¡Nuevo!!: Alonzo Church y Leon Henkin · Ver más »
Lisp
Lisp (históricamente LISP) es una familia de lenguajes de programación de computadora de tipo multiparadigma con larga historia y una inconfundible y útil sintaxis homoicónica basada en la notación polaca.
¡Nuevo!!: Alonzo Church y Lisp · Ver más »
Martin Davis
Martin Davis, (Nueva York, 1928-1 de enero de 2023) fue un matemático estadounidense conocido por su trabajo relacionado con el décimo problema de Hilbert.
¡Nuevo!!: Alonzo Church y Martin Davis · 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!!: Alonzo Church 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!!: Alonzo Church y Máquina de Turing · Ver más »
Michael Oser Rabin
Michael Oser Rabin (nacido en 1931 en Breslavia, Alemania, hoy en día parte de Polonia) es un notable científico de la computación y ganador del Premio Turing, el galardón más prestigioso en el campo.
¡Nuevo!!: Alonzo Church y Michael Oser Rabin · Ver más »
Oswald Veblen
Oswald Veblen (24 de junio de 1880 – 10 de agosto de 1960) fue un matemático estadounidense que destacó en geometría, topología y teoría de conjuntos.
¡Nuevo!!: Alonzo Church y Oswald Veblen · 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!!: Alonzo Church y Problema de la parada · Ver más »
Problema indecidible
En teoría de la computabilidad y en teoría de la complejidad computacional, un problema indecidible es un problema de decisión para el cual es imposible construir un algoritmo que siempre conduzca a una respuesta de sí o no correcta.
¡Nuevo!!: Alonzo Church y Problema indecidible · Ver más »
Programación funcional
En informática, la programación funcional es un paradigma de programación declarativa basado en el uso de verdaderas funciones matemáticas.
¡Nuevo!!: Alonzo Church y Programación funcional · Ver más »
Raymond Smullyan
Raymond M. Smullyan (Far Rockaway, Queens, 25 de mayo de 1919-6 de febrero de 2017) fue un matemático, lógico, filósofo, mago, pianista y humorista estadounidense.
¡Nuevo!!: Alonzo Church y Raymond Smullyan · 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!!: Alonzo Church y Stephen Kleene · Ver más »
Teoría de la computación
La teoría de la computación o teoría de la informática es un conjunto de conocimientos racionales y sistematizados que se centran en el estudio de la abstracción de los procesos, con el fin de reproducirlos con ayuda de sistemas formales; es decir, a través de símbolos y reglas lógicas.
¡Nuevo!!: Alonzo Church y Teoría de la computación · Ver más »
Tesis de Church-Turing
En teoría de la computabilidad, la tesis de Church-Turing formula hipotéticamente la equivalencia entre los conceptos de función computable y máquina de Turing, que expresado en lenguaje corriente vendría a ser "todo algoritmo es equivalente a una máquina de Turing".
¡Nuevo!!: Alonzo Church y Tesis de Church-Turing · Ver más »
The Independent
The Independent es un periódico británico publicado por Independent Print Limited, de Alexánder Lébedev.
¡Nuevo!!: Alonzo Church y The Independent · Ver más »
The New York Times
The New York Times es un periódico publicado en la ciudad de Nueva York y cuyo editor es Arthur Sulzberger, que se distribuye en los Estados Unidos y muchos otros países.
¡Nuevo!!: Alonzo Church y The New York Times · Ver más »
Universidad de California en Los Ángeles
La Universidad de California, Los Ángeles, conocida también por su acrónimo, UCLA, es un campus perteneciente a la Universidad de California (Estados Unidos).
¡Nuevo!!: Alonzo Church y Universidad de California en Los Ángeles · Ver más »
Universidad de Princeton
La Universidad de Princeton (en inglés: Princeton University) es una de las ocho universidades privadas de investigación de la Ivy League situada en Princeton (Nueva Jersey).
¡Nuevo!!: Alonzo Church y Universidad de Princeton · Ver más »
Washington D. C.
Washington D. C., oficialmente denominada Distrito de Columbia (District of Columbia), es la capital federal de los Estados Unidos de América.
¡Nuevo!!: Alonzo Church y Washington D. C. · Ver más »
