Открытое электронное голосование (доказательство от противного)
Идя по следам, хабратопика и многочисленных других про анонимное, открытое, честное голосование, хочется провести независимое расследование и придти к простому и понятному решению, что достижимо, а что нет, и при каких условиях.
Выражаясь, в близкой к программистам терминологии, найти CAP для этой задачи. Например, всем известно, что уменьшая ошибку первого рода, ошибка второго рода увеличивается. Проведя аналогию, уменьшая анонимность, увеличиваем достоверность; увеличивая анонимность, уменьшаем достоверность.
В общем, чтобы быть объективным, а не голословным, воспользуемся методом исключенного третьего (методом от противного). Надеюсь, представители интуиционистской логики не будут против.
Читать дальше →
