El "Teorema de Church" dice que: Si la tesis de Church es verdadera, el problema de la decisión en lógica de primer orden es insoluble.
Bien, pues:
Según el "Teorema de Chobits" la lógica de primer orden tiene decidibilidad, ya que estipula que: todo lo que es computable con máquinas de ábacos, lo es por Chobits y a la vez Chobits puede computar cualquier función de primer orden, ¡y de segundo si quisiera!
Bien, pues:
Según el "Teorema de Chobits" la lógica de primer orden tiene decidibilidad, ya que estipula que: todo lo que es computable con máquinas de ábacos, lo es por Chobits y a la vez Chobits puede computar cualquier función de primer orden, ¡y de segundo si quisiera!
2 comentarios:
exacto
Jajajajajaja este si es bueno!!! xDD
Publicar un comentario