证明P=NP将对数学、密码学和算法设计产生深远的影响。

建筑的目的是创造一个有利于生活蓬勃发展的环境。

If a doctrine is not unintelligible, it has to be vague; and if neither unintelligible nor vague, it has to be unverifiable.

音乐是一种不需要翻译的通用语言。