Парадокс изобретателя - Inventor's paradox

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

История

В книге « Как это решить» венгерский математик Джордж Полиа представляет то, что он определяет как парадокс изобретателя:

Более амбициозный план может иметь больше шансов на успех […] при условии, что он основан не на простом притязании, а на некотором видении вещей, выходящих за рамки непосредственного присутствия.

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

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

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

Примеры

Математика

Сумма чисел последовательно от 1 до 99:

${\ Displaystyle 1 + 2 + 3 + ... + 97 + 98 + 99 \,}$

Этот процесс, хотя и не невозможно осуществить в уме, для большинства может оказаться трудным. Однако возможность обобщить проблему существует, в этом случае путем изменения порядка следования на:

${\ Displaystyle (1 + 99) + (2 + 98) + (3 + 97) + ... + (48 + 52) + (49 + 51) + (50) \,}$

В таком виде пример может быть решен большинством без использования калькулятора. Если вы заметите, что сумма наименьшего и наибольшего чисел проблемы (1 + 99) равна 100, а следующая пара наименьшего и наибольшего чисел (2 + 98) также суммируется до 100, они также поймут, что все 49 чисел являются совпадающими парами. что каждая сумма равна 100, за исключением единственного числа в середине, 50. Изобретательный математик переформулирует задачу в уме как (49 * 100) + 50. Так как 49 * 100 легко вычислить, добавив 2 нуля к разряды 49, они думают: 4900 + 50. Это легко добавить, потому что максимальное порядковое место 50 самой значащей цифры (цифра 5 во второй позиции «десятки») меньше минимальной порядковой позиции 4900 наименьшей. значащая цифра (цифра 9 в 3-й позиции «100» разряда). Таким образом, решатель просто заменяет последние два 0 в 4900 на 50, чтобы сложить их вместе, получая ответ 4950. Хотя текстовое описание этого процесса кажется сложным, каждый из шагов, выполняемых в уме, прост и быстр.

Хотя он встречается в нескольких приложениях, его проще всего объяснить, проанализировав относительно простую математическую последовательность.

${\ Displaystyle 1 + 3 = 4 \,}$

${\ Displaystyle 1 + 3 + 5 = 9 \,}$

и далее в последовательности:

${\ Displaystyle 1 + 3 + 5 + 7 + 9 = 25 \,}$

Позволяя последовательности расширяться до точки, где невозможно быстро найти сумму, мы можем упростить, обнаружив, что сумма последовательных нечетных чисел выглядит следующим образом:

${\ displaystyle \ sum _ {k = 1} ^ {n} \ mathbf {(} 2k-1) = n ^ {2}.}$

Программирование

В качестве примера применения той же логики может быть сложнее решить проблему из 25 случаев, чем решить задачу из n случаев, а затем применить ее к случаю, когда n = 25.

Приложения

Этот парадокс имеет применение при написании эффективных программ. Написание специализированных программ интуитивно понятно, но на практике может быть проще разработать более общие процедуры. По словам Брюса Тейта , некоторые из наиболее успешных фреймворков представляют собой простые обобщения сложных проблем, и он говорит, что плагины веб-серверов Visual Basic , Интернет и Apache являются основными примерами такой практики. При исследовании семантики языка многие логики сталкиваются с этим парадоксом. Пример приложения можно увидеть во внутреннем интересе логиков к условиям истинности в предложении, а не, фактически, к условиям, при которых предложение может быть действительно утверждено. Кроме того, было показано, что парадокс находит применение в промышленности.

Смотрите также

• Абстракция
• Обобщение

Ссылки

дальнейшее чтение

• Барвайз, Джон (1989). «Ситуации в языке и логике». Ситуация в логике . Центр изучения языка (CSLI). п. 327. ISBN. 0-937073-33-4.
• Бентли, Джон Луи (1982). Написание эффективных программ . Прентис-Холл. С.  170 . ISBN 0-13-970251-2.
• Бентли, Джон Луи (2000). Жемчуг программирования . Эддисон-Уэсли. С.  239 . ISBN 0-201-10331-1.
• Pólya, Gyorgy (1957). Как решить: новый аспект математического метода . Doubleday. п. 253. ISBN. 0-691-08097-6.
• Тейт, Брюс; Гехтланд, Джастин (2004). «Разрешить продление». Лучше, быстрее и легче Java . O'Reilly Media, Inc., с.  243 . ISBN 0-596-00676-4.
• Велборн, Ральф; Кастен, Винсент А. (2003). «Совместная ДНК: изучение динамики». Принцип Иерихона: как компании используют стратегическое сотрудничество для поиска новых источников ценности . Джон Уайли и сыновья. С.  276 . ISBN 0-471-32772-7.