逻辑学研究不仅仅是关于形式系统,更是关于理性思维和话语的规范。
In quantum computing, we are not just solving problems faster, we are solving problems that were previously thought to be unsolvable.