Chaitin proposes that mathematicians must abandon any hope of proving those mathematical facts and adopt a quasi-empirical methodology.
Хайтин предлагает математикам оставить всякую надежду доказать эти факты и принять квазиэмпирическую методологию.