psilogic: (Default)
psilogic ([personal profile] psilogic) wrote2010-01-25 02:17 pm
Entry tags:

Про бритву Оккама - историческое

http://fat-yankey.livejournal.com/93861.html

Дескать, афоризм выдал вовсе не Оккам, а Оккам сказал не то, и имел в виду не то...

Но это история. Сам принцип остается верным, неважно, кто его первый высказал.

Точнее так. Высказывание "не нужно изобретать сущностей сверх необходимого" можно понимать либо как утверждение, либо как лозунг (призыв). Если "не нужно" понимать как "нет необходимости", "не требуется", то получится утверждение. Если понимать как "не следует", "не положено", то получится лозунг.

Утверждение можно даже доказать достаточно формально, и в процессе доказательства выясняется, что оно не стоит выеденного яйца. В самом деле, можно доказать высказывания "не нужно больше, чем нужно", "не нужно меньше, чем нужно". Это почти тавтологии, относятся они к чему угодно. Не нужно жрать, спать, гулять, дышать... больше, чем нужно - ну и изобретать сущностей - тоже. Сие явно не тянет на откровение.

Атеисты любят применять бритву Оккама к религии. А зря! И дело тут совсем не в том, что Оккам был монахом. Просто подумайте: "не нужно изобретать сущностей сверх необходимого" - но необходимого для чего? Для объяснения природы? Так задача религии не в этом (по нынешним временам). В современных условиях задачи религии совсем другие. Например, утешение. Повышение самооценки. Да даже пресловутые "мерседесы для жырных попов", будь они неладны. Для того, чтобы смягчить горе человека, потерявшего близкого родственника, чтобы успокоить его сказкой, что родственник попал в рай, что ему там хорошо - эти сущности необходимы?

[identity profile] psilogic.livejournal.com 2010-01-25 03:47 pm (UTC)(link)
Полнота по Гёделю относится к аксиоматическим системам. Мышление - не аксиоматическая система. Поэтому полнота по Гёделю отношения к заявленной не имеет.

[identity profile] matfuck.livejournal.com 2010-01-25 04:41 pm (UTC)(link)
Так я и говорю. Если уж там нет, то шире и подавно нет.

Человек формальные рациональные схемы может расширять так широко, насколько мозгов хватит, но рано или поздно жена ему всё равно заявит что-то типо "ты казёл! потомучта сидишь мусор не выкинул, а погода дерьмо!"

[identity profile] psilogic.livejournal.com 2010-01-25 04:45 pm (UTC)(link)
[ Если уж там нет, то шире и подавно нет. ]

Мышление не является расширением аксиоматики, используемой у Гёделя.

[identity profile] matfuck.livejournal.com 2010-01-25 04:53 pm (UTC)(link)
Ну, у гёделя не аксиоматика. У него про фс. А они (фс) какбы соответствуют лишь одной из бесконечно-возможных схем мышления, дедуктивной. Ну это, т.е., как бы и есть "рациональные" описания.
(т.е. имеет место говорить "ширше")
(хотя он, гёдель, здесь вообще мало причём)

[identity profile] psilogic.livejournal.com 2010-01-25 05:03 pm (UTC)(link)
[ Ну, у гёделя не аксиоматика. У него про фс. ]

пиздец приехали

[identity profile] matfuck.livejournal.com 2010-01-25 05:15 pm (UTC)(link)
хули

Эхехехехехеех.

[identity profile] metarattus.livejournal.com 2010-01-25 07:27 pm (UTC)(link)
У Нас, на Кафкедре Пихоанатомии в Обители Тепла и Доброты это называется хронический гойделит ГМ.
Заб-левание проявляется в необоснованной экстраполяции выводов теоремы о неполноте на более другие области.
Здесь мы наблюдаем классическую форму течения.

Re: Эхехехехехеех.

[identity profile] psilogic.livejournal.com 2010-01-25 07:58 pm (UTC)(link)
Ну, поскольку я не знаю средств для купирования острых приступов, то решил предоставить поциента самому себе...

Re: Эхехехехехеех.

[identity profile] matfuck.livejournal.com 2010-01-25 09:03 pm (UTC)(link)
пидросян детектед

Re: Эхехехехехеех.

[identity profile] metarattus.livejournal.com 2010-01-25 09:14 pm (UTC)(link)
И давно Вы ощущаете себя детектором?
С тех пор как аналитический и эффекторный блок выгорел?

Re: Эхехехехехеех.

[identity profile] matfuck.livejournal.com 2010-01-25 09:34 pm (UTC)(link)
Аватарка, вопросы... Ну вы юморист! Этож настоящий "аншлаг"!

Давайте, я тоже искромётно пошучу.
- Скажите, а где же Региночка? Неужеле на теплоходе без Вас?

Re: Эхехехехехеех.

[identity profile] metarattus.livejournal.com 2010-01-25 09:55 pm (UTC)(link)
Ой, Вы и вправду считаете, что Мы Вас смешить пытаюсь?

Блок детекции видимо тоже не сов7 в порядке. Хотя и не сгойрел оконьчательно.