avva: (Default)
[personal profile] avva
Андрей Карпати в твиттере: "Есть что-то глубокое и граничащее с неинтуитивным в том, что большинство проблем в реальном мире оказываются (неформально говоря) NP-полными: их трудно решить, но легко проверить, что решение верное. Именно эта асимметрия делает прогресс возможным, поскольку культура может сохранить выполненную вычислительную работу."

Интересный взгляд, но кажется, что в каком-то смысле он неизбежен из-за того, что мы понимаем под "проблемами". Если проблему легко решить, она не считается проблемой. Если ее не только тяжело решить, но и тяжело проверить, что решение верное, она тоже не входит в список проблем, которые имеет в виду Карпати.

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

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

Возможно, реально полезное зерно в словах Карпати - это всего лишь очередной пересказ принципа фальсифицируемости Поппера.
This account has disabled anonymous posting.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting

January 2026

S M T W T F S
    1 2 3
45678910
11121314151617
18192021222324
25262728293031

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jan. 4th, 2026 02:25 am
Powered by Dreamwidth Studios