Еще раз о пределе Чейтина

[nepejvoda_n_n]

Напомним суть теоремы Чейтина. Любой формализм имеет предел, выше которого он не может установить сложность объекта и, соответственно, правильно его понять. Скажем, рассуждение, сложность которого превысила предел Чейтина в данной области для данной личности, либо кажется ей абсолютно нелогичным, хаотичным, либо совершенно заумной

Comments

[nepejvoda_n_n]

Не предполагается. что какой-то из языков является расширением другого. А тезис Черча здесь, конечно же, использован.

Я тоже люблю минимализм и стремлюсь, чтобы мои ученики критиковали не по принципу: "У Вас того-то нет", а по принципу "На шиша Вы еще это туда сунули?"

[nepejvoda_n_n]

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

[nepejvoda_n_n]

ЗЫЖ Не ожидал такой наивности :) Слышали про исихазм? Если смотрели в Красное Солнце, там он упоминается.

[evko]

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

Стереотипы: распознавание образов (как основа для выбора действия)
Тактика: распознавание + формулировка цели (тактику задача не понятна, пока он не поймет, где находится и куда надо попасть)
Комбинации: форсированное распознавание (поиск и оценка всего, что только здесь применимо)
Преобразования: распознавание планов (чтобы применить преобразование, план должен иметь определенную структуру)
Метод: трансляция с внешнего языка в язык метода

[evko]

Мне кажется, то, как происходит распознавание и трансляция в разных сферах разума, не менее важно, чем соответствующие им способы планирования.

[evko]

Получается, что распознавание образов - это частный случай трансляции с языка на язык?

[nepejvoda_n_n]

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

[mishafurman]

Здравствуй, Коля

[nepejvoda_n_n]

Михаил!
Спасибо за отличное возражение. Оно уже помогло мне дополнительно обосновать сделанные выводы в лекции для магистров, а сейчас я просто собираюсь написать очередной пост, в котором и оно будет разобрано. Идея: ты не очень много занимался обучением, и не представляешь, насколько может быть нетривиальным для других то, что для тебя тривиально.

[mishafurman]

Все определяется сравнением, хотя слово тривиально может несколько сильно звучит. И зависит от времени.
В 50-60 это было нетривиально.
Сейчас этому тренируют в институтух. Именно тренируют - в своем бОльшинстве это стало техникой...
Причем под "этим" я имею в виду практические трансляторы/компилеры.интерпретаторы, от которых требуется производительность - что несколько сложнее...

[nepejvoda_n_n]

Беда в том, что в силу того же предела Чейтина натрен(дресс)ированный в одном, слишком часто становится полным тупицей во многом другом. ПОнимание программы на уровне формального описания семантики зачастую противоположно пониманию ее смысла.