Зачем? Это как требовать научные доказательства того что кто-то боится темноты и любит мороженое. Есть и более разумные и продуктивные в жизни занятия.
В этом топике некоторые не только верят а и всем остальным доказывают. С этим есть методическая проблема.
Начиная с того, что неоднократно сталкивался с тем, что атеисты часто грамотней в вопросах религии чем многие верующие и заканчивая - а не хочешь ли ты кадилом?
Положа руку на причинное место, разница невелика. Хотя вероятность стремящаяся к 0 не равна нулю, на практике это не более чем формализм, и агностик существование высших сил, как объяснение непонятного феномена тоже не будет рассматривать. И наоборот, если атеисту явится божественная сущность и убедительно докажет при свидетелях своё существование, то если он хоть немного психически здоров, он перестанет быть атеистом.
КГ/АМ, извините. Численные методы давно доказали сваю эффективность и практическую применимость для решения реальных задач. А статья, набор передёргиваний. На этом софистическом бреде можно заканчивать чтение.
Что за бред про "доказательства"? Отсутствие опровергается, а не доказывается. Для программиста такие вещи должны быть очевидны.
Как пример попроще: виновность и невиновность. То что виновность не смогли доказать совсем не значит что человек невиновен. При этом доказать невиновность вполне возможно. Что-что? Програмисты должны знать о nullable типах.
Я уж не знаю при чем тут "численные методы" ибо я вел речь о небинарности. Если бинарная логика доказала свою полезность это не значит что она универсальна и единственно применима. Далеко не на все вопросы можно ответить да или нет. О троичной логике хотя-бы слышал? Узко мыслишь.
Ага... при наличии доказательств. Но подозреваемый молчит, никто ни его, ни его следы нигде не видел - доказывай невиновность.
Из-за того что твой пример не тождественен исходному, фраза звучит как: в итоге про наличие богов не известно. Что рядом не стоит с "отсутствие богов доказано".
Нет. Просто привёл некорректный пример. Ну и я не точную фразу привёл. Правильно: "невозможно доказать отсутствие того, чего не существует".
Возможно. Как пример: отсутствие человека в живых можно доказать предьявив доказательства его смерти.