Wikipedia en español - La enciclope...
Download this dictionary
Entscheidungsproblem
En
ciencias de la computación
y
matemáticas
, el
Entscheidungsproblem
(en
castellano
:
problema de decisión
) fue el reto en
lógica simbólica
de encontrar un
algoritmo
general que decidiera si una
fórmula
del
cálculo de primer orden
es un
teorema
. En
1936
, de manera independiente,
Alonzo Church
y
Alan Turing
demostraron ambos que es imposible escribir tal algoritmo. Como consecuencia, es también imposible decidir con un algoritmo si ciertas frases concretas de la
aritmética
son ciertas o falsas.
Ver más en Wikipedia.org...
© Este artículo utiliza contenidos de
Wikipedia
®
y está disponible bajo los términos de la
Licencia de documentación libre GNU
y bajo los términos de la
Licencia Creative Commons Atribución-CompartirIgual