В мире, в котором цена расчетов продолжает быстро уменьшаться, но цена доказывания теоремы продолжает устойчиво или увеличивается, элементарная экономика указывает на то, что мы должны тратить большую и большую долю нашего времени на расчет.