(на работу Джека Мерта)
С.Б. Каравашкин
e-mail: sbkaravashkin@gmail.com, selflab@mail.ru
Труды СЕЛФ
блог «Classical Science»
Оригинал
В своей работе «Где Уолдо? Как математически доказать, что вы нашли его, не раскрывая, где он находится» {1} Джек Мерта поднимает вопрос о том, что нужно для того, чтобы доказать не доказывая: «Теоретики-компьютерщики начали оспаривать это представление в 1980-х годах, задаваясь вопросом, возможно ли когда-нибудь доказать утверждение, не раскрывая никакой дополнительной информации, помимо простой истинности утверждения. Это называется доказательством с нулевым разглашением, и оно кажется невозможным» ...