逻辑学研究不仅仅是关于推理规则,而是关于理性思维的结构。
在计算复杂性的研究中,我们常常发现可能的边界是由我们想象力的极限定义的。