Господне воинство

CrazyElk
Vitaliy70:

то то мне это напоминает)))

Вы просили пример. Вам дали место (книгу) где можно ознакомится с подробным ПРИМЕРОМ. Кроме того вам дали грубый пример в самом посте.
Коротенького в двух словах исчерпывающего строгого примера такого доказательства нет. Писать несколко листов в форуме повторя легко доступные источники - глупость.
Вы не хотите читать в книге пример именно того что вы просили, Вы не хотите рассматривать пример в посте. Мне это тоже что то напоминает.

А ты купи слона.

Vitaliy70:

в данном случае доказательство является условием договоренности и не более

Ну в столь общей поставновке любое “доказательство” даже строгое математическое не облее чем договоренность.

SAN:

В случае с браузером - наверняка есть более “сговорчивые” программы, которые позволят проконтролировать подлинность сертификата. (то есть раскроют что с чем они сравнивают и на основании чего принимают решение).

Зачем программы в принципе все можено сделать и руками. Беда и соль в том что техника/терминология/используемые данные в такого типа доказательствах базируется не на сведениях и постулатах проверяемых любым и каждым, а на персонально подгатавливаемых в каждом цикле доказательства данных проверяемых только вовлеченному в процесс доказательства и ничтожные для третьх лиц.

Я знаю что это правда но доказать это никому не могу. Интересная и необычная ситуация но она имеет место быть даже в математике.

Ну давайте попытаюсь на натуре продемонстрировать пример такого доказательства.

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

Сам священик может убеждатся в дествии завета сколько угодно. Но доказать что именно его молитва в одиночестве переносит вино, а не он сам руками его наливает он не сможет никому. Сам он видит и знает что вино перемещается “чудесным” образом но показать/доказать факт существования этого чуда он никому не может. Вот такой священник глядя на дараванное ему чудо вполне обоснованно верит в существование господа чудо ему дарававшего. Но на основании этого чуда убедить других выше его возможностей. Да и сам факт существования этого чуда он доказать не сможет. Кружка полная вина для него факт осуществления чуда, а для окружающих нет. Ему сомневатся нет резона, а вот всем остальным очень даже.

Господь “доказал” этому священику свое существование дав механизм проверки в виде чуда. Но это механизм и доказательство “персональные” никому кроме самого священика недоступные.

Vitaliy70:

не потому ли что у этого дозательства слишком узко-специальные границы применимости?

Эти узко специальные гранцы вполне покрывают 99% всех “бытовых доказательств”.

Доказательство - набор аргументов предьявленных вам такой что он убедил вас и вы сами готовы использовать эти аргументы для убеждения третих лиц.

А “доказательство с нулевым раскрытием” как раз пример набора аргментов к которому выше сделаное определение не применимо.

SAN
CrazyElk:

Зачем программы в принципе все можено сделать и руками.

В этом случае руки (и глаза) могут одновременно принадлежать нескольким (любому количеству) участникам.
И все они будут убеждены.
В отличие от случая бухающего в одиночку священника.

CrazyElk
Vitaliy70:

не кажется ли вам что доказательства, которые доказывают не всем и не каждому, не являются доказательствами?

Мне не кажестся. Криптографам не кажется. Вам как не смешно тоже не кажется. Повторюсь вы даже незная этого каждый день пользуетесь результатами таких доказательств. Если эти доказательства вас не устраивают в своей полноте вам в пору начинать отказ от пользования интернетом. Сомнения в этом разделе математики все равно что сомнения пользователя электро инструмента в существовании электричества.

SAN:

В этом случае руки (и глаза) могут одновременно принадлежать нескольким (любому количеству) участникам. И все они будут убеждены.

Да. Но никому из не вовлеченных в этот процесс свое убеждение они передать не смогут. И просить их об этом бессмысленно.

А теперь добавим условие что доказательство по неустановленным причинам дается не по первому требованию и не для любого состава проверяющих. Любой состав может задать вопрос, но будет ли ответ неизвестно. И картина “безумные верующие” vs “воинствующие атеисты” готова.

Те кто получил ответ никак не смогут доказать этот факт тем кто ответа на запросы не получает. Те кто ответа на запросы не получает никогода не смогут убедить в том что ответов в принципе не бывает тех кто ответ получил.

Существуют ответы на самом деле или нет в такой ситуации вопрос непроверяемый. И такое положение дел для определенного круга вопросов (недоказуемость тех или иных утверждений) нормальная ситуация как учит нас дедушка Курт Гёдель.

SAN
CrazyElk:

Если эти доказательства вас не устраивают в своей полноте вам в пору начинать отказ от пользования интернетом

Всё дело в том, что никто и не требовал доказательств от браузера.
Просто отдав ему на откуп этот вопрос.

CrazyElk:

Да. Но никому из не вовлеченных в этот процесс свое убеждение они передать не смогут. И просить их об этом бессмысленно.

В чём проблема распечатать логи?

CrazyElk
SAN:

Всё дело в том, что никто и не требовал доказательств от браузера

Требовал требовал. Не сам не персонально. Но требовал. Требовал чтобы все бывло безопасно и секретно. В ответ гуру сказали что безопасно и секретно это вот так. И подробненько все расписали как именно. Поленившиеся проверить и верящие на слово - лень на их совести. Желающий может проверить все сам посчитать убедится и т.д. и тп. и и и . Все это сделав никому ничего не докажет в вопросе подлинности принадлежности сертификата. Сам убедится может, а вот не привлекая соседа убедить его что подставы нет увы никак. Только “бухая в компании”

Если брозер заверищит что сертификат битый что вы сделаете - правильно примете окончательное решение САМИ. А значить вы просто (может даже не осознанно) поручили бровзеру автоматизировать типовые случаии типовым образом. Требуя когда все с защитой в порядке не тревожь. Возникнут проблемы спроси меня как поступать.

Повторюсь сомневаться в существании и или применимости той или иной математики на основании того что ничего о ней не слышал все равно что пользуясь электроинструментом сомневаться в существовании электричества. Оно конечно в природе и такое может встретится но странно будет выглядить подобное сомнение.

SAN
CrazyElk:

А теперь добавим условие что доказательство по неустановленным причинам дается не по первому требованию и не для любого состава проверяющих

Видите ли, одним из отличий научных исследований от религии и является требование воспроизводимости результатов, независимо от исследователя.

CrazyElk:

Желающий может проверить все сам посчитать убедится и т.д. и тп. и и и .

Именно.
И делать он может это не в одиночку.
И может сохранить свои подсчёты для дальнейшей перепроверки, которая подтвердит: да, в тот раз всё было правильно.

CrazyElk
SAN:

Видите ли, одним из отличий научных исследований от религии и является требование воспроизводимости результатов, независимо от исследователя

Ну дык я и не настаиваю и не говорил что эта ситуация отностится научно проверяемоей. Скорее наоборот.

Я как раз и вел к тому что нучно факт существования бога непроверяем. Посколку сами проявляени фактов существания божьего не относятся к вопросам науки в силу своей природы и свойств.
А потому попытки Вячеслава “научно опревергнуть” достаточно спорны по аргументации тем более что даже в вопросе научного подхода позиция а ты докажи что это утверждение верно довольно спорна.

SAN:

И делать он может это не в одиночку. И может сохранить свои подсчёты для дальнейшей перепроверки, которая подтвердит: да, в тот раз всё было правильно

И все это не убедит тех кто не принимал участия. Да математика у вас сходится скажут они но где гарантии что выбранный вами входные данные не специально подобраны заранеее чтобы получился правильный результат? и будут правы. Проверить может любой - но опираясь на это проверку доказать другому - доказательно передать результат своей проверку неможет никто. В этой ситуации требовать а вот докажи что все верно и не заранее подобранно бессмысленно. Елинственный вариант - возми сам и проверь - благо ситуация научная, а значить повторяемая. Сомневающийся убирает свои сомения сам иначе в этой схеме никак.

А уж в не научной ситуации когда и проверка не гарантированна смысла требовать предьявить доказательства и того меньше. Соственно это и хотел показать.

Даже в научно проверяемой ситуации есть варианты когда при наличии сомнений в обьективности провести доказательную для себя проверку можешь только сам. Просить доказать другого бессмысленно.

Все 😃 всем удачи.

SAN
CrazyElk:

Да математика у вас сходится скажут они но где гарантии что выбранный вами входные данные не специально подобраны заранеее чтобы получился правильный результат? и будут правы

Ещё раз - в чём проблема документировать все пересылки данных и их обработку?
Если результат убеждает любого одиночного пользователя, почему он м.б. неубедителен для тех же пользователей в группе.

Prsh

Пример подобного доказательства это пророчество. (ну или способность успешно играть в рулетку))

Пашеч
CrazyElk:

Не совсем - на основании чего верит/уверен браузер важно.

Броузер верит обоснованно и обоснованность его “веры” вполне обьективна и самодостаточна. Но вот передать свою уверенность браузер никому не может. Просить его доказать свою уверенность третьему лицу (другому браузеру) бессмысленно.

Один коммент - браузер верит на основании своих внутренних убеждений - а эти убеждения(список доверительных центров сертификации) навязывает ему либо пользователь либо разработчик.
Поэтому чем обоснована его вера - только тем, что это уже кому-то раскрыто.

AlexeyOleynikov

“In extreme persecution, the seat of the Holy Roman Church will be occupied by Peter the Roman, who will feed the sheep through many tribulations, at the term of which the city of seven hills will be destroyed, and the formidable Judge will judge the people. The End.”
"В конце времён место Святой Римской Церкви будет занимать Пётр Романов который будет кормить безвольных совершая множество бедствий. В это время Город Семи Холмов будет уничтожен и Страшный Судья будет судить людей. Конец.

Один из самых главных кандидатов на престол - кардинал Питер Кодво Аппиах Тарксон, первый кардинал из Ганы.

Курсив мой…

Вячеслав_Старухин

Как же вы пережили недавний конец света? 😁

Не догадываетесь, что астролог-пророк из любой газетки подобное сочиняет каждый день?

AlexeyOleynikov

Я таки вам удивляюсь… А шо, уже был конец света?
Опять проспал… да. Все замерли, шаз я вас отбекаплю.

Вячеслав_Старухин
CrazyElk:

Вячеслав - давате попытаемся прекратить/ограничить Вашу агитку “за атеизм” в стиле нет доказательства которые мне можно предьявить - значить бога нет. А доказательств нет потому нет бога. Надеюсь вы не против такой попытки.

Против.
То, что вы написали, ставит целью “заболтать” проблему.
Когда извлекаются на свет разнообразные мелочи, никак не относящиеся к объекту обсуждения.
Мне глубоко безразличны ваши “доказательства с нулевым раскрытием информации”, если вы сами не можете их тут описать.
Вместо этого утверждаете, что “форум несколко не тот формат где по первому требованию кратенько и на пальцах”.
Это то же самое, что “дума - не место для дискуссий” 😁

Vitaliy70
CrazyElk:

А потому попытки Вячеслава “научно опревергнуть” достаточно спорны по аргументации тем более что даже в вопросе научного подхода позиция а ты докажи что это утверждение верно довольно спорна.

ошибаетесь
ибо ОТРИЦАТЕЛЬНЫЕ факты принципиально неопровержимы
вячеслав не должен доказывать что бога нет
доказывать ДОЛЖЕН тот кто считает что он есть

я утверждаю что CrazyElk убил листьева
попробуйте доказать что это не так

Hainov
Vitaliy70:

ибо ОТРИЦАТЕЛЬНЫЕ факты принципиально неопровержимы

Это аксиома, которая до многих, почему-то, не доходит.

Причем она абсолютно понятна и на бытовом уровне. К примеру, если я БЫЛ в магазине, я могу доказать покупками, чеками, меня могли видеть камеры, могли запомнить кассиры.
А вот если я НЕ БЫЛ в магазине, я этого не смогу доказать вообще никак.

SAN
Hainov:

А вот если я НЕ БЫЛ в магазине, я этого не смогу доказать вообще никак.

Можете, если вас видели в это время камеры другого иагазина.
Алиби это называется. 😒

Hainov
SAN:

Алиби это называется.

Не, ведь спор о ситуации, когда явление с равной вероятностью могло быть, а могло и не быть. Как в доказательстве существования или отсутствия Бога.
Допустим, я пошел в магазин, а ошивался где-то рядом. Как я докажу, что НЕ заходил в магазин?

Karalexey
SAN:

Можете, если вас видели в это время камеры другого иагазина. Алиби это называется.

Это значит, что вы доказываете отсутствие в одном месте в определенное время, путем присутствия в другом месте в это же время.
Что опять же не есть доказывание отрицания через отрицание. Это есть доказывание отрицания, через отрицательное явление, где доказательство положительное.

Категорический силлогизм:
Человек не может быть в двух или более местах одновременно.
Человек был во время Ч в месте А.
Человек не мог быть во время Ч в месте Б.

SAN
Hainov:

Не, ведь спор о ситуации, когда явление с равной вероятностью могло быть, а могло и не быть.

Пример не корректный, кмк.