Я бы для интерактивных доказательств привёл другой (или ещё один) житейский пример. Часто на зачёте или экзамене требуется понять понимает ли студент некоторую тему или нет. Но из того потока сознания, который выдаёт студент, понять ничего нельзя, поэтому преподаватель задаёт ему идиотские вопросы, правильные ответы на которые лишь увеличивают вероятность того, что студент действительно понимает тему, однако это ещё не гарантирует, что студент понимает её правильно. Возможно он не понимает её совсем или понимает неправильно, но каким-то чудом из ошибочного понимания умудряется выдавать правильные ответы. А как только студент не ответил на вопрос из которого следует, что он ничего не понял совсем, то преподаватель ставит ему двойку или тройку, после чего студент рассказывает коллегам истории о злом кровожадном преподавателе, который его два часа гонял по теме и в итоге завалил.
Если мы не ограничиваем размер доказательства, то окажется, что доказательства нужны, а если будем требовать, чтобы доказательства были корректными, то вопрос о нужности доказательств эквивалентен важнейшему открытому вопросу о равенстве классов P и NP.
Видимо короткими, а не корректными.
Н.К. Верещагин, Теоретико-сложностные проблемы крипотграфии, консект лекций
Точно. Но после этого Вашего дополнения, я понял, что именно Вы хотели сказать. Однако, в исходном комментарии Вы сказали "«Продукцию apple» покупают себе только эпплодрочеры", что в буквальном смысле означает «Купил компьютер Apple — ты эпплодрочер». В данном контексте я воспринимал «компьютер» как PC, а Ваш комментарий как типичный хейтерский.
Не совсем. Ничто не портит некоторые музыкальные группы так, как делают это их фанаты. Так и Apple ничто не портит так, как это делают фэнбои. И адекватные пользователи Apple это понимают и мирятся с оправданной ненавистью, которая направлена в первую очередь против фэнбоев, но поневоле накрывает и других пользователей. Но когда утверждают, что все маководы — фэнбои… Это уже выводит из себя :) Я думаю, что у пользователей Windows возникает примерно такой же всплеск ярости когда их приравнивают к когорте ламеров.
Как мне надоело читать о том, что Apple покупают только «эпплодрочеры». У меня куча девайсов от Apple и я их покупаю, потому что они удовлетворяют всем моим потребностям и полностью оправдывают мои ожидания. Не смотря на то, что на работе я постоянно сталкиваюсь с Windows и GNU/Linux, продукцию Apple мне использовать куда удобнее. Какого чёрта я должен постоянно читать, что я «эпплодрочер»?
Если Вы не понимаете чем удобен Мак или Вам он не нравится — не пользуйтесь, никто не заставляет. Зачем при этом наезжать на пользователей?
Видимо короткими, а не корректными.
По исправлению этот комментарий можно удалять.
Если Вы не понимаете чем удобен Мак или Вам он не нравится — не пользуйтесь, никто не заставляет. Зачем при этом наезжать на пользователей?