自动机和形式语言的研究对于理解计算的极限是基础性的。
You can't predict. You can prepare.
凡是合乎理性的都是现实的,凡是现实的都是合乎理性的。
The rise of China and other authoritarian states challenges the idea that liberal democracy is the only viable political system.