psilogic: (Default)
psilogic ([personal profile] psilogic) wrote2007-10-09 05:10 pm

Про сухую воду

Я в предыдущем посте рассматривал пример логического парадокса: "если трава зеленая, то вода мокрая", писал, что сухую воду представить трудновато. Подумалось, что трудности решаемы, если немного переформулировать:

Если трава хорошая, то вода сухая ;)

Re: ?

[identity profile] http://users.livejournal.com/-soal/ 2007-10-11 12:49 am (UTC)(link)
"в реальной жизни если долго умножать все больше, будет получаться все больше... это и есть бесконечность"

этого как-то недопонял. но понял, что аналогия чем-то не подходит.

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

При умножении некоего Х на ноль
только по произведению и множителю невозможно установить, что именно умножали.
В остальных случаях можно, если не на ноль умножали.
Множество "схлопывается" в одну особую точку.

При рассмотрении истинности утверждения
если [ложное] то [либо ложное либо истинное]
получим истинное утверждение, независимо от истинности утверждения, стоящего после то.

Или вот так ещё:

Нас интересует вероятность истинности утверждения
если [утверждение, истинное с вероятностью P1] то [утверждение, истинное с вероятностью P2]
Если P1=0, то искомая вероятность равна единице, независимо от значения P2.
Парадокс ли это?
Или всё-таки feature, а не bug ?

Re: ?

[identity profile] psilogic.livejournal.com 2007-10-11 09:12 am (UTC)(link)
[ этого как-то недопонял. но понял, что аналогия чем-то не подходит. ]

ну умножение возможно в реальной жизни? умножьте 2 яблока на 2, потом на 3, потом на 4 - будет получаться 4, 6, 8... все увеличивающийся ряд. такие ряды - это и есть аналог бесконечности в вещественном мире.

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

Re: ?

[identity profile] http://users.livejournal.com/-soal/ 2007-10-12 05:19 am (UTC)(link)
"схлопывание" информации, ее потеря - это feature, без которой жить низя.
совершенно верно!
никак нельзя.
но я так и не понимаю, почему Вы утверждаете, что вот это - bug, а не feature:

Нас интересует вероятность истинности утверждения
если [утверждение, истинное с вероятностью P1] то [утверждение, истинное с вероятностью P2]
Если P1=0, то искомая вероятность равна единице, независимо от значения P2.