Muchos resultados en criptografía dependen de resultados / conjeturas imposibles en la teoría de la complejidad. Por ejemplo, se cree que la criptografía de clave pública que usa RSA es posible debido a la conjetura sobre la inviabilidad de la factorización (y los problemas de búsqueda de raíz modular).
Mi pregunta es :
¿Tenemos resultados similares en la teoría de la computabilidad? ¿Hay construcciones positivas interesantes que usan resultados de imposibilidad negativos?
Por ejemplo, ¿la indecidibilidad del problema de detención nos permite realizar tareas que no podríamos hacer si el problema de detención fuera decidible?