Categoría gramatical / tiempo verbal de algorítmicamente

Como adverbio

Adverbialización De Algorítmica

Ejemplos con la palabra Algorítmicamente

Desde un punto de vista teórico, es interesante porque es equivalente a una máquina universal de Turing, es decir, todo lo que se puede computar algorítmicamente se puede computar en el juego de la vida.

La idea es seguir la estrategia de Kurt Gödel de codificación mediante números naturales de forma tal que la propiedad de ser el número que representa a una demostración sea algorítmicamente comprobable.

Estas son como la conjetura de Goldbach, propuestas que asignan a todo número natural una propiedad que es comprobable algorítmicamente para cada número en particular el número es la suma de dos números primos.

Para darse cuenta de que el teorema es cierto, basta con observar que si no existiera tal número , se podría testar algorítmicamente la pertenencia de un número a ese conjunto no-computable, haciendo correr simultáneamente el algoritmo para comprobar si devuelve , al tiempo que se comprueban todas las posibles -tuplas de números naturales buscando una solución de la ecuación.