24 relaciones: Alan Turing, Algoritmo, Alonzo Church, Autómata celular, Cálculo lambda, Computación cuántica, Consenso científico, David Hilbert, Entscheidungsproblem, Función computable, Gramática formal, Independencia (lógica matemática), Jerarquía de Chomsky, Juego de la vida, Lenguaje formal, Máquina de Turing, Naturaleza, P (clase de complejidad), Princeton University Press, Sistema formal, Teoría de la complejidad computacional, Teoría de la computabilidad, Teoría de la relatividad, Universo.
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!!: Tesis de Church-Turing 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!!: Tesis de Church-Turing 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!!: Tesis de Church-Turing y Alonzo Church · Ver más »
Autómata celular
Un autómata celular (A.C.) es un modelo matemático y computacional para un sistema dinámico que evoluciona en pasos discretos.
¡Nuevo!!: Tesis de Church-Turing y Autómata celular · 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!!: Tesis de Church-Turing y Cálculo lambda · Ver más »
Computación cuántica
La computación cuántica o informática cuántica es un paradigma de computación distinto al de la informática clásica.
¡Nuevo!!: Tesis de Church-Turing y Computación cuántica · Ver más »
Consenso científico
El consenso científico es el juicio colectivo, la posición y la opinión de la comunidad científica en un campo particular de estudio.
¡Nuevo!!: Tesis de Church-Turing y Consenso científico · 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!!: Tesis de Church-Turing y David Hilbert · 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!!: Tesis de Church-Turing y Entscheidungsproblem · Ver más »
Función computable
Las funciones computables son el objeto básico de estudio de la teoría de la computabilidad y son, específicamente, las funciones que pueden ser calculadas por una máquina de Turing.
¡Nuevo!!: Tesis de Church-Turing y Función computable · Ver más »
Gramática formal
Una gramática formal es una estructura lógico-matemática con un conjunto de reglas de formación que definen las cadenas de caracteres admisibles en un determinado lenguaje formal o lengua natural.
¡Nuevo!!: Tesis de Church-Turing y Gramática formal · Ver más »
Independencia (lógica matemática)
En lógica matemática, la noción de independencia o indecidibilidad se refiere a la imposibilidad de demostrar o refutar un predicado a partir de otros.
¡Nuevo!!: Tesis de Church-Turing e Independencia (lógica matemática) · Ver más »
Jerarquía de Chomsky
En lingüística la jerarquía de Chomsky (ocasionalmente también llamada la jerarquía de Chomsky–Schützenberger) es una clasificación jerárquica de distintos tipos de gramáticas formales que generan lenguajes formales.
¡Nuevo!!: Tesis de Church-Turing y Jerarquía de Chomsky · Ver más »
Juego de la vida
El Juego de la vida es un autómata celular diseñado por el matemático británico John Horton Conway en 1970.
¡Nuevo!!: Tesis de Church-Turing y Juego de la vida · Ver más »
Lenguaje formal
En matemáticas, lógica y ciencias de la computación, un lenguaje formal es un lenguaje cuyos símbolos son primitivos y las reglas para unir esos símbolos están formalmente especificadas.
¡Nuevo!!: Tesis de Church-Turing y Lenguaje formal · 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!!: Tesis de Church-Turing y Máquina de Turing · Ver más »
Naturaleza
La naturaleza es un concepto utilizado para referirse al mundo material o universo material, incluyendo los fenómenos del mundo físico, la materia inerte generada como parte de procesos sin la intervención humana, y al fenómeno de la vida, que incluye también a los humanos.
¡Nuevo!!: Tesis de Church-Turing y Naturaleza · Ver más »
P (clase de complejidad)
En computación, cuando el tiempo de ejecución de un algoritmo (mediante el cual se obtiene una solución al problema) es menor o igual que un cierto valor calculado a partir del número de variables implicadas (generalmente variables de entrada) usando una fórmula polinómica, se dice que dicho problema se puede resolver en un tiempo polinómico o polinomial P. La tesis de Cobham postula que la clase P es la que tiene los problemas tratables más grandes, es decir, los problemas de gran tamaño que se pueden calcular de forma eficiente con un ordenador.
¡Nuevo!!: Tesis de Church-Turing y P (clase de complejidad) · Ver más »
Princeton University Press
Princeton University Press es una editorial académica independiente estadounidense, estrechamente ligada a la Universidad de Princeton.
¡Nuevo!!: Tesis de Church-Turing y Princeton University Press · 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!!: Tesis de Church-Turing y Sistema formal · Ver más »
Teoría de la complejidad computacional
La teoría de la complejidad computacional o teoría de la complejidad informática es una rama de la teoría de la computación que se centra en la clasificación de los problemas computacionales de acuerdo con su dificultad inherente, y en la relación entre dichas clases de complejidad.
¡Nuevo!!: Tesis de Church-Turing y Teoría de la complejidad computacional · Ver más »
Teoría de la computabilidad
La teoría de la computabilidad o teoría de la recursión es la parte de la computación que estudia los problemas de decisión que se pueden resolver con un algoritmo o equivalentemente con una máquina de Turing.
¡Nuevo!!: Tesis de Church-Turing y Teoría de la computabilidad · Ver más »
Teoría de la relatividad
La teoría de la relatividad incluye tanto a la teoría de la relatividad especial como la de la relatividad general, formuladas principalmente por Albert Einstein a principios del sigloXX, que pretendían resolver la incompatibilidad existente entre la mecánica newtoniana y el electromagnetismo.
¡Nuevo!!: Tesis de Church-Turing y Teoría de la relatividad · Ver más »
Universo
El universo es el conjunto de todas las entidades físicamente detectables que interactúan entre ellas dentro del espacio-tiempo de acuerdo a leyes físicas bien definidas.
¡Nuevo!!: Tesis de Church-Turing y Universo · Ver más »
Redirecciona aquí:
Conjetura de Church Turing, Conjetura de Church-Turing, Tesis Church Turing, Tesis Church-Turing, Tesis de Church, Tesis de Church Turing.