En la teoría de cómputo, ¿los términos intercambiable demostrable y resoluble? ¿Significan lo mismo?Does Provable == Decidable?
Por ejemplo, a menudo se ve la pregunta de si algo se puede demostrar como un problema de decisión (Das Entscheidungsproblem).
¿Quizás una pregunta adecuada para mathoverflow.net? –
Pensé en eso, pero como comp. El curso de teoría (y complejidad) se puede encontrar en casi todos los cursos de CS \ SE que pensé que serían más adecuados. –