computer-science - 是否有数学证据表明语义错误检测系统设计是不可能设计的？

Question

在视频中： https ://www.youtube.com/watch?v=k6U-i4gXkLM&t=2638s

教授（大约在 43 点 50 分）说：“你希望有一个系统来发现你的语义错误，但这是不可能的”。有数学证明吗？

标签： computer-sciencesemantics