Как стать автором
Обновить

Комментарии 8

Прежде всего я исхожу из предположения, что разумность и сложность это одно и то же.

И на этом прочтение статьи лично для меня закончилось…
Мне еще прошлой статьи хватило :)
Любая теория содержательна. Теория называется содержательной если ...

Раз любая теория содержательна, то разве не следет в целях экономии мышления не давать определение содержательной теории?

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


То есть из бесконечно сложной теории можно вывести вывести ещё более сложную? ∞++?
Чем ваш подход лучше других (гораздо глубже проработанных) подходов математической логики? У вас строки, в мат.логике логические конструкции. Суть обоих — носитель информации, но в мат.логике добавлена информация о логических зависимостях, у вас же просто выделение общей подстроки без каких либо дополнительных ограничений. Плюс выделять подстроку можно многими способами, который из них предпочтет ваша система? Пример — строка «abacab», в ней можно выделить а, можно выделить ab, можно выделить b и a, но потерять 2*ab и сочетание ac. Можно выделить a(b(c )), но как потом восстановить до исходного?
После прочтения второй статьи я, кажется, стал лучше понимать свою жену.
Вы это всё серьёзно???

Мышление, когда оно не занято решением математических задач, не сводится к логическому выводу.
Прежде всего я исхожу из предположения, что разумность и сложность это одно и то же.

1. Прежде всего, это нарушение первого закона логики Аристотеля. Про определения понятий. Если Вы определили «разумность» равно «сложность» — то возникает неоднозначность в толковании смысла обеих слов.
2. «Сложность» в этом контексте не равно «разумность». Это когнитивная ошибка. Перестановка причины и следствия не допустима для моделей реального мира, пока иное прямо не доказано. Пример: «многие террористы — арабы». Но «многие арабы — террористы» — неверное суждение.
3. Поэтому утверждение про разумность сложного алгоритма — неверное.
4. Разумность — это свойство биологических объектов. Алгоритм или модель не может быть разумным. Алгоритм или модель могут выглядеть (иметь вид, иметь поведение) похожее на действия разумных существ. Для более корректной формулировки рекомендую прочитать «Бомба мегабитовая» Лема.
Зарегистрируйтесь на Хабре, чтобы оставить комментарий

Публикации

Истории