Многие современные математические доказательства представляют собой комбинацию концептуальных аргументов и технических вычислений. Существует своего рода компромисс между ними: можно добавить больше концептуальных аргументов, чтобы попытаться уменьшить технические вычисления, или наоборот. (Среди прочего, это приводит к феномену, похожему на парадокс Берксона, при котором отрицательная корреляция может […]