Новости с меткой: чекурков — Добавить новость »

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