psilogic: (Default)
psilogic ([personal profile] psilogic) wrote2010-11-18 01:09 pm
Entry tags:

Еще раз про Бритву Оккама

Расширил и углУбил свою старую статью про Бритву Оккама - в том числе по мотивам недавнего обсуждения. Добавил разные примеры, разобрал стандартные проблемы. Буков много, так как материала по теме накопилось много, так что читать не призываю - но если возникнут трудности с "бритвой", загляните - велик шанс, что найдете там решение... хотя не обещаю, что оно вам понравится :)

[identity profile] bsivko.livejournal.com 2010-11-18 12:36 pm (UTC)(link)
>Пусть в нее добавляется еще одно уравнение: t = v (каждое новое уравнение можно рассматривать как дополнительное утверждение). Новое уравнение позволит выполнить преобразования, в результате получится система:

Данное уравнение изменяет систему. Т.е. система не становится проще, а изменяется в принципе.

Если например менять систему

x+3y+z=0
x-3y-2z=3

на систему

x+3y+z=0
2x-z=3

3x+3y=3
x-z=2

x+y=1
x-z=2

то тогда становится проще и системы эквивалентны.

[identity profile] psilogic.livejournal.com 2010-11-18 12:41 pm (UTC)(link)
[ Т.е. система не становится проще, а изменяется в принципе. ]

В том числе и становится проще. У меня не было цели рассматривать эквивалентные системы. В предыдущем примере 2 отрезка и 1 отрезок не эквивалентны тоже.

[identity profile] bsivko.livejournal.com 2010-11-18 12:44 pm (UTC)(link)
[2 отрезка + точка] эквивалентны одному результирующему отрезку. Так то что там все в порядке.

[identity profile] psilogic.livejournal.com 2010-11-18 12:52 pm (UTC)(link)
тогда и тут все в порядке

2 отрезка + точка = 1 отрезок
2 отрезка ≠ 1 отрезок

система1 + уравнение = система2
система1 ≠ система2

[identity profile] bsivko.livejournal.com 2010-11-18 01:00 pm (UTC)(link)
тогда неверны все последующие рассуждения о сравнении систем (1/2)

>Хотя число уравнений увеличилось, но вся система в целом выглядит проще, в ней теперь 21 символ (не считая пробелов), а было - 28. Это за счет того, что были удалены ненужные фрагменты из некоторых уравнений.

т.к. t=v в системе1 нет.

В системе1 кстати, не 28, а 29 символов.

[identity profile] psilogic.livejournal.com 2010-11-18 01:09 pm (UTC)(link)
[ В системе1 кстати, не 28, а 29 символов. ]

ить, два раза щитал ведь :)) исправил :)

1. [ тогда неверны все последующие рассуждения о сравнении систем (1/2) ]
2. [ т.к. t=v в системе1 нет. ]

не вижу лохической связи между 1 и 2

[identity profile] bsivko.livejournal.com 2010-11-18 01:12 pm (UTC)(link)
По тексту первая система вот эта

x + y + e + v = 9
t + z + g - h = 8
t + v = 16
e = t + 1

а вторая эта

x + y + e = 1
z + g = h
t = 8
v = 8
e = 7

----

Если изменяется система, то и изменяется "необходимое" по Оккаму.

[identity profile] psilogic.livejournal.com 2010-11-18 01:14 pm (UTC)(link)
пример иллюстрирует не оккама, а то, что добавление может вести к удалению и упрощению

отдельная лемма

[identity profile] bsivko.livejournal.com 2010-11-18 01:24 pm (UTC)(link)
ну добавляем б-га. в результате получаем упрощение по оккаму. но система же меняется - в ней совершенно другой смысл.

[identity profile] psilogic.livejournal.com 2010-11-18 01:36 pm (UTC)(link)
еще раз: это отдельная лемма - на тему сравнения сложностей. ее док-во не использует оккама никак.

[identity profile] bsivko.livejournal.com 2010-11-18 01:37 pm (UTC)(link)
Зачем она тогда в там? (если нет там оккама)

[identity profile] psilogic.livejournal.com 2010-11-18 01:40 pm (UTC)(link)
оккама в ней нет, а она в оккаме есть :)


[identity profile] bsivko.livejournal.com 2010-11-18 01:43 pm (UTC)(link)
не может быть её в оккаме, т.к. она меняет систему 1 на 2.

[identity profile] psilogic.livejournal.com 2010-11-18 01:46 pm (UTC)(link)
ты знаешь, что такое лемма?

[identity profile] bsivko.livejournal.com 2010-11-18 01:52 pm (UTC)(link)
это не может быть леммой. т.к. в тексте это пример, ни с чем ранее и позже не связанный.

[identity profile] psilogic.livejournal.com 2010-11-18 01:58 pm (UTC)(link)
тогда просто читайте текст внимательно. чай не интегралы :)

[identity profile] bsivko.livejournal.com 2010-11-18 02:35 pm (UTC)(link)
С интегралами все проще - так как там все строго.

Ассоциативно называть пример леммой - это совсем некамильфо.

Кстати, понятие "сложность" в теме не раскрыто. Кол-во букв - тот ещё критерий.

[identity profile] psilogic.livejournal.com 2010-11-18 02:40 pm (UTC)(link)
Что поделаешь - естественный язык нестрогий.

Лемма там не ассоциативно, в прямом смысле.

Критерии сложности есть разные.

[identity profile] bsivko.livejournal.com 2010-11-18 02:58 pm (UTC)(link)
Тогда как звучит лемма, и как теорема?

[identity profile] psilogic.livejournal.com 2010-11-18 03:57 pm (UTC)(link)
лемма: "не всякое добавление усложняет"

теорема: "если возник спор о сложности, будьте осторожны с аргументом будто добавление еще одной сущности непременно усложнит теорию"

[identity profile] bsivko.livejournal.com 2010-11-18 02:59 pm (UTC)(link)
Критерии сложности есть разные. Но без определения этого понятия звучит как-то не совсем.. Сложность оно же тут чуть ли не самое основное в бритве.

[identity profile] psilogic.livejournal.com 2010-11-18 03:59 pm (UTC)(link)
Вот именно потому, что критерии сложности бывают разные, а в бритве не указано, какие именно критерии сложности там должны быть, может потребоваться заранее согласовать критерии (какие-нибудь) или выбирать те, которые обычно легко согласовать (примеры таких критериев в конце того параграфа - время вычисления, время обучения).

[identity profile] alex-navi.livejournal.com 2010-11-18 04:09 pm (UTC)(link)
В бритве вообще о сложности речь не идет. Или не понятно?
Там обыкновенное пожелание - не следует плодить... без необходимости.

[identity profile] psilogic.livejournal.com 2010-11-18 04:12 pm (UTC)(link)
а чтобы понять, наплодили или нет, надо сравнить сложность

[identity profile] alex-navi.livejournal.com 2010-11-18 04:51 pm (UTC)(link)
:)
А может от создания мира начать?

В предложении всего несколько слов. И они оказываются непонятны? :(

Почему никому в математике, например, не приходит в голову, изменить определение точки? Или еще парочку придумать?
А в психологии, например, каждый лезет определить "сознание", "психику", "интеллект"...
Этих определений используют немерено. Вот тут и нужна бритовка Оккама, а не рассуждения философские и околологические о ней.
Правда, в психологии придется выбрить почти все определения, поскольку они негодные.

[identity profile] alex-navi.livejournal.com 2010-11-18 03:12 pm (UTC)(link)
На твою статью. Мирослав, надо с десяток бритв Оккама. :))
При всем уважении к тебе, ты не раскрыл смысл утверждения Оккама. Затеоритизировал ненужным хламом.
Придется писать статью. Уже достал объемную папку с подборкой материалов. Есть даже избранные сочинения его. Вообще, интересно читать то, как тогда, 8-10 веков назад мыслили тогдашние ученые.
Например, "термин - это то, на что разлагается суждение".
И под сущностями Оккама понимал не то, что ты изложил. Сущность - суть.
Следует избегать создания новых понятий, терминов,определений и т.п. сущностей, если без них можно обойтись. Вот такой вот краткий вывод.

[identity profile] psilogic.livejournal.com 2010-11-18 04:01 pm (UTC)(link)
хлам нужный - не с потолка, а то с чем сталкивался не 1 раз

[identity profile] padb.livejournal.com 2010-11-18 05:57 pm (UTC)(link)
а разве не по экспериментальному опыту Майкельсона-Морли и отвергли теорию эфира, а не применением бритвы?

[identity profile] psilogic.livejournal.com 2010-11-18 07:12 pm (UTC)(link)
эфир бывает разный. отвергли изначальную идею эфира. потом пытались как-то подогнать экспериментальные данные, придумывая сжимающийся эфир (я уже не помню деталей, но даже Лоренц еще пытался эфир спасти). в принципе ничто не мешало изобрести какой-то другой эфир, но оказалось что незачем.

[identity profile] padb.livejournal.com 2010-11-18 07:34 pm (UTC)(link)
получается его отвергли, а потом еще были "выхлопы" отвергнутого эфира, которые опровергали экспериментами, а не изобретали, потомучто наука отвергла идею на основе экспериментального опыта. может так?

[identity profile] psilogic.livejournal.com 2010-11-18 07:47 pm (UTC)(link)
эфиров было много
сначала был простой, с абсолютной системой координат
потом его отвергли, но пытались придумать другой
потом придумали вообще без эфира и теперь отвергают все новые варианты с эфиром, т.к. он не нужен

[identity profile] padb.livejournal.com 2010-11-19 04:34 am (UTC)(link)
извините конечно за обсуждение, просто остается до конца не понятно, что эфир отвергают экспериментами или его ненужностью(по научному ли так).

[identity profile] komolcev.livejournal.com 2010-11-18 07:54 pm (UTC)(link)
Когда батя уводит спор в сторону, говорю "уши торчат, надо бритвой Оккама их отрезать".

[identity profile] psilogic.livejournal.com 2010-11-18 07:56 pm (UTC)(link)
:)