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

m
Bot: Troquéu automáticu de testu (- una resultancia + un resultáu )
m (Preferencies llingüístiques: -"característica" +"carauterística")
m (Bot: Troquéu automáticu de testu (- una resultancia + un resultáu ))
Esta declaración ye fácilmente demostrable ''dientro del sistema''.
 
'''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.
 
== Demostración de los teoremas ==
126 166

ediciones