Презумпция решаемости
Apr. 16th, 2016 07:40 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
Математика учит нас, что существуют задачи, не имеющие решения. Жизнь, собственно, тоже учит нас этому, но не так очевидно.
Потому что жизнь чаще всего обучает тому, что какие-то действия запретны - и всё тут, но их круг скорее ограничен и понятен. Ну там, фарш назад не провернешь или сказанного не воротишь. А математика учит, что с виду просто сформулированная задача ВНЕЗАПНО решения не имеет - как та же квадратура круга или аналитическое выражение для неберущегося интеграла.
Но это я к чему. Если в математике человек обычно довольно быстро смиряется с несуществованием решения у ряда задач (хотя и тут есть варианты), то "в жизни" это дается гораздо тяжелее.
И даже понятно, почему. Есть у нас с вами, видимо, в мозговой "прошивке" презумпция существования решения. Мы считаем любую задачу имеющей решение, пока не удостоверимся в обратном. И даже понятно откуда это - в конце концов, презумпция эта вполне себе адаптивна, без нее легко сидеть сложа руки и зарастать мхом (в чем, конечно, ничего плохого - но не с точки зрения репродуктивного, да и просто жизненного успеха). Презумпции вообще - очень полезные логические инструменты.
Но вот это "пока не доказано обратное" мы склонны растягивать до бесконечности. Тут часто не помогает не неполная индукция по безуспешным попыткам, ни логические увещевания в невозможности.
Причем с ростом сложности задачи это "доказательство обратного" становится все менее и менее реалистичным. И бьются люди, в прямом и переносном смысле, стараясь обустроить страну/общество, или хотя бы устроить собственную жизнь, ставят себе задачу - и считают ее решаемой. А, собственно говоря, с чего вы взяли, что это так?! Исключительно по причине презумпции решаемости! Беда в том, что доказательство ее нерешаемости мы не примем. И будем биться с политеческими конкурентами/жизненными обстоятельствами не хуже квадратуристов и трисекторов, так и не осознав, что надо саму задачу изменить.
Потому что жизнь чаще всего обучает тому, что какие-то действия запретны - и всё тут, но их круг скорее ограничен и понятен. Ну там, фарш назад не провернешь или сказанного не воротишь. А математика учит, что с виду просто сформулированная задача ВНЕЗАПНО решения не имеет - как та же квадратура круга или аналитическое выражение для неберущегося интеграла.
Но это я к чему. Если в математике человек обычно довольно быстро смиряется с несуществованием решения у ряда задач (хотя и тут есть варианты), то "в жизни" это дается гораздо тяжелее.
И даже понятно, почему. Есть у нас с вами, видимо, в мозговой "прошивке" презумпция существования решения. Мы считаем любую задачу имеющей решение, пока не удостоверимся в обратном. И даже понятно откуда это - в конце концов, презумпция эта вполне себе адаптивна, без нее легко сидеть сложа руки и зарастать мхом (в чем, конечно, ничего плохого - но не с точки зрения репродуктивного, да и просто жизненного успеха). Презумпции вообще - очень полезные логические инструменты.
Но вот это "пока не доказано обратное" мы склонны растягивать до бесконечности. Тут часто не помогает не неполная индукция по безуспешным попыткам, ни логические увещевания в невозможности.
Причем с ростом сложности задачи это "доказательство обратного" становится все менее и менее реалистичным. И бьются люди, в прямом и переносном смысле, стараясь обустроить страну/общество, или хотя бы устроить собственную жизнь, ставят себе задачу - и считают ее решаемой. А, собственно говоря, с чего вы взяли, что это так?! Исключительно по причине презумпции решаемости! Беда в том, что доказательство ее нерешаемости мы не примем. И будем биться с политеческими конкурентами/жизненными обстоятельствами не хуже квадратуристов и трисекторов, так и не осознав, что надо саму задачу изменить.
no subject
Date: 2016-04-16 05:04 pm (UTC)no subject
Date: 2016-04-16 05:20 pm (UTC)polenadisto
Date: 2016-04-16 05:37 pm (UTC)no subject
Date: 2016-04-17 12:31 am (UTC)polenadisto
Date: 2016-04-17 04:56 am (UTC)no subject
Date: 2016-04-17 02:59 am (UTC)no subject
Date: 2016-04-17 04:57 am (UTC)no subject
Date: 2016-04-17 05:08 am (UTC)