답을 유한한 시간 내에 질문에 대답할 수 있다고 보장할 수 있다는 알고리즘이 없다
Computing Theory Usage
Which Computational Universe Do We Live In? | Quanta Magazine
Many computer scientists focus on overcoming hard computational problems. But there's one area of computer science in which hardness is an asset: cryptography, where you want hard obstacles between your adversaries and your secrets. Unfortunately, we don't know whether secure cryptography truly exists. Over millennia, people have created ciphers that seemed unbreakable right until they were broken.