缺乏美感的理论不太可能是正确的。
The study of computation is essential to understanding the limits of what can be computed.