Computability, Complexity, Logic door