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

April 2026

S M T W T F S
    1 2 3 4
5 6 7 89 1011
12 13 1415161718
19202122232425
2627282930  

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Apr. 14th, 2026 03:04 pm
Powered by Dreamwidth Studios