很可能未来会发明出更多辅助视觉的工具,它们超越现有仪器的程度,就像现有仪器超越肉眼一样。
我不需要任何人来完整我。我自己就能完整自己。
λ演算本质上是一个关于函数及其应用的理论。