多くの現代数学の証明は、概念的な議論と技術的な計算の組み合わせです。両者間に一定のトレードオフがあります：概念的な議論を追加して技術的な計算を減らすことができるか、逆に技術的な計算を追加して概念的な議論を減らすことができます。（これが、バークソン・パラドックスのような現象を生み出すことに繋がります。この現象では、負の相関関係が[…]）