“Yeah. So there is a theorem that the problem is…” — Software Engineering Daily at 4:54
“Yeah. So there is a theorem that the problem is undecidable. That's a very meaningful result, right? That means that you cannot build a tool that can take any program in as an input and always itself terminating with an answer and always giving a right answer.”
0:00
50:29