Myth is the part of language where the formula traduttore, traditore reaches its lowest truth value.
神话是语言中“翻译即背叛”这一公式真理值最低的部分。
判断两个λ表达式是否等价的问题是无法解决的。
The so-called understanding is often just a misunderstanding that is widely circulated.