Quanta Magazine (США): программисты расширяют рубежи поддающихся проверке знаний
Представьте себе: к вам приходит человек и говорит, что у него есть прорицатель, и что этот прорицатель может раскрыть непостижимые тайны вселенной.
Вы заинтригованы, но вряд ли ему поверите. Вы обязательно захотите убедиться в том, что прорицатель говорит правду, и для этого вам нужен будет какой-то способ или метод.