Diferencies ente revisiones de «Teoremas de incompletitud de Gödel»

'''Otra implicación''' ye que'l trabayu de Gödel motivó a [[Alan Turing]] (1912-1954) a estudiar qué funciones yeren susceptibles de poder ser calculaes y cuálos non. Pa ello sirvióse del so [[Máquina de Turing]], una máquina de propósitu xeneral por aciu la que formalizó les funciones y procedimientos de cálculu. Demostrando qu'esistíen funciones que nun son posibles de calcular por aciu la Máquina de Turing. El [[paradigma]] d'esti conxuntu de funciones representar la función qu'establez "si dada una Máquina de Turing, ésta produz unaun resultanciaresultáu o, otra manera, quédase calculando indefinidamente". Esta función, conocida col nome de [[Problema de parada]] (Halting Problem), va ser pieza fundamental pa demostrar la incomputabilidad de ciertes funciones.