Al pensar cuidadosamente en lo que significa que una función sea computable y justo lo que es un cómputo, una vez más podremos mostrar la existencia de una fórmula que es verdadera y sin embargo no de...Al pensar cuidadosamente en lo que significa que una función sea computable y justo lo que es un cómputo, una vez más podremos mostrar la existencia de una fórmula que es verdadera y sin embargo no demostrable. La idea es que decir que una funciónf es computable en entradak significa que hay una secuencia de pasos fáciles que lleva a la salida correctaf(k).
