computabilidad

Búsquedas relacionadas con computabilidad: algoritmo, inteligencia artificial
Traducciones

computabilidad

computabilità
Ejemplos ?
n 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".
La Teoría de la computabilidad es la parte de la Teoría de la computación que estudia los problemas de decisión que pueden ser resueltos con un algoritmo o equivalentemente con una máquina de Turing.
Con ayuda de su máquina, Turing pudo demostrar que existen problemas irresolubles, de los que ningún ordenador será capaz de obtener su solución, por lo que se le considera el padre de la teoría de la computabilidad.
Precisamente, la tesis de Church-Turing formulada por Alan Turing y Alonzo Church, de forma independiente a mediados del siglo XX caracteriza la noción informal de computabilidad con la computación mediante una máquina de Turing.
La Mathematics Subject Classification divide la lógica matemática en las siguientes áreas: Filosófica y crítica Lógica general (que incluye campos como la lógica modal y la lógica borrosa) Teoría de modelos Teoría de la computabilidad Teoría de conjuntos Teoría de la demostración y matemática constructiva algebraica Modelos no estándar En algunos casos hay conjunción de intereses con la Informática teórica, pues muchos pioneros de la informática, como Alan Turing, fueron matemáticos y lógicos.
Los términos derivados de ella, como método efectivo y computable son comúnmente utilizados, cuando en realidad computable se refiere a Turing-computable, en el salto entre uno y otro se encuentra la tesis de Church, y entre muchos otros conceptos y términos comúnmente utilizados en la teoría de la computabilidad o funciones recursivas.
Señal Señal analógica Señal digital Teoría de conjuntos Teoría de la computabilidad Ecuación diferencial Sistema dinámico Teoría del caos Regla de cálculo Modelos analógicos Mecanismo de Anticitera Amplificador operacional Otros tipos de computadores: Computador digital Computador híbrido Computación Basada en ADN Computador molecular Computador cuántico Simulador cuántico universal Neurocomputador Personas asociadas al desarrollo de computadores analógicos: George A.
Cuando existe un algoritmo que puede responder positivamente cuando la frase está en el lenguaje, pero que corre indefinidamente cuando la frase no pertenece al lenguaje se dice que el problema es parcialmente decidible. En teoría de la computabilidad, se estudia qué lenguajes son decidibles con diferentes tipos de máquinas.
El concepto de enumerabilidad recursiva pertenece al ámbito de la teoría de la computabilidad, también llamada teoría de la recursión, cuyo desarrollo aportó una explicación precisa de la noción intuitiva de computabilidad algorítmica, dando pleno rigor al concepto de enumerabilidad recursiva.
El teorema de Matiyasevich/MRDP relaciona dos conceptos, uno procedente de la teoría de la computabilidad, y el otro de la teoría de números, y tiene algunas consecuencias inesperadas.
En la teoría de la computación, las máquinas abstractas con frecuencia son usadas en experimentos de pensamiento sobre computabilidad o para analizar la complejidad de algoritmos (ver la teoría de la complejidad computacional).
Con Claude Elwood Shannon hizo un trabajo seminal sobre la teoría de la computabilidad y construyó circuitos confiables utilizando relés menos confiables.