polenadisto: (глазъ)
polenadisto ([personal profile] polenadisto) wrote2016-04-16 07:40 pm

Презумпция решаемости

Математика учит нас, что существуют задачи, не имеющие решения. Жизнь, собственно, тоже учит нас этому, но не так очевидно.
Потому что жизнь чаще всего обучает тому, что какие-то действия запретны - и всё тут, но их круг скорее ограничен и понятен. Ну там, фарш назад не провернешь или сказанного не воротишь. А математика учит, что с виду просто сформулированная задача ВНЕЗАПНО решения не имеет - как та же квадратура круга или аналитическое выражение для неберущегося интеграла.
Но это я к чему. Если в математике человек обычно довольно быстро смиряется с несуществованием решения у ряда задач (хотя и тут есть варианты), то "в жизни" это дается гораздо тяжелее.

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

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

[identity profile] polenadisto.livejournal.com 2016-04-17 04:57 am (UTC)(link)
Да это во всем так, я уверен.

[identity profile] oldodik.livejournal.com 2016-04-17 05:08 am (UTC)(link)
в картинках сравнительно легше переформулировать задачу, навскидку. Хотя иногда сюжет и стиль, например, входят в такое противуречие, что проще отказаться начисто. Вот кстати на серии по шбошным ляпам это очень заметно получилось. То есть в принципе решить можно, но или такой обходной путь надо прокладывать, или через настолько другие приемы раскрывать, что ну его.