Википедия:К объединению/27 апреля 2016
В статье Рекурсивная функция нет ничего, чего нет в статье Рекуррентная формула, кроме раздела "Замкнутая форма", который выглядит как ОРИСС. Кроме того в статье неправильная инервики на en:Recursion_(computer_science). Alexei Kopylov 00:51, 27 апреля 2016 (UTC)
- Объединение не оправдано. Дело в том, что термин «рекурсивная функция» употребляется в математической логике (конкретнее, в теории алгоритмов). Правда, определение, которое там даётся, не совпадает с тем, которое я увидел в статье. Если позволить себе вольный подход к изложению, рекурсивную функцию можно алгоритмически вычислить (хотя, может быть, и не при любом аргументе). Текущее определение взято непонятно из каких источников. С уважением, NN21 08:20, 13 мая 2016 (UTC)
- Прошу прощения: не заметил, что ниже обсуждается статья Рекурсивная функция (теория вычислимости). Собственно, именно эта статья и должна носить заголовок Рекурсивная функция. С уважением, NN21 08:24, 13 мая 2016 (UTC)
- Кстати, термин «рекурсивная функция» может использоваться и в программировании. Так что нынешнюю страницу можно использовать под разные цели (как вариант — в качестве страницы разрешения неоднозначности). С уважением, NN21 07:57, 14 мая 2016 (UTC)
- Посмотрел статью Рекурсивная функция, немного удивился, что оказывается, в математике есть своя "рекурсивная функция". Я привык к совсем другому значению "рекурсивной функции" - тому, которое в программировании. Там нет никаких f(n), слов "числовая", и формул. Там всё просто - это функция, которая вызывает сама себя. И полагаю, что программерское определение с таким же успехом можно было вписать в эту статью. А можно было оба определения вписать, но я предпочёл бы, чтобы это было дизамбигом и голосую за это - Рекурсивная функция - должна быть дизамбигом. Одно значение Рекурсивная функция (математика), другое Рекурсивная функция (программирование). А чем будут последние 2 ссылки - статьями или редиректами на разделы в других статьях - не столь важно. ~Нирваньчик~ øβς 20:25, 3 августа 2016 (UTC)
- Ещё один вариант (как поступить с Рекурсивная функция - сделать редиректом на Рекурсия где оба значения - математическое и программерское - раскрыты. ~Нирваньчик~ øβς 21:10, 3 августа 2016 (UTC)
- Что касается материала этой статьи - поддерживаю объединение. Но я не математик, тонкостей и различий между "рекурсивная" и "рекуррентная" не понимаю. ~Нирваньчик~ øβς 21:10, 3 августа 2016 (UTC)
- Ещё один вариант (как поступить с Рекурсивная функция - сделать редиректом на Рекурсия где оба значения - математическое и программерское - раскрыты. ~Нирваньчик~ øβς 21:10, 3 августа 2016 (UTC)
- Посмотрел статью Рекурсивная функция, немного удивился, что оказывается, в математике есть своя "рекурсивная функция". Я привык к совсем другому значению "рекурсивной функции" - тому, которое в программировании. Там нет никаких f(n), слов "числовая", и формул. Там всё просто - это функция, которая вызывает сама себя. И полагаю, что программерское определение с таким же успехом можно было вписать в эту статью. А можно было оба определения вписать, но я предпочёл бы, чтобы это было дизамбигом и голосую за это - Рекурсивная функция - должна быть дизамбигом. Одно значение Рекурсивная функция (математика), другое Рекурсивная функция (программирование). А чем будут последние 2 ссылки - статьями или редиректами на разделы в других статьях - не столь важно. ~Нирваньчик~ øβς 20:25, 3 августа 2016 (UTC)
НЕЛЬЗЯ ОБЪЕДИНЯТЬ -ЭТИ ПОНЯТИЯ АБСОЛЮТНО РАЗНЫЕ !!! — Эта реплика добавлена с IP 91.102.76.175 (о) 12:42, 7 сентября 2017 (UTC)
- Еще есть Разностное уравнение, что тоже вроде бы то же самое. — Алексей Копылов 17:56, 1 декабря 2018 (UTC)
- Это всё-таки что-то из области вычматов. У разностного уравнения, как я понимаю, почти всегда привязка к контексту того, что мы им диффуры или что-то подобное приближаем. --Adamant.pwn (обс.) 00:30, 27 июля 2019 (UTC)
Предварительный итог[править код]
Статью про рекурсивную функцию перенести в статью про рекуррентную формулу, а на её месте сделать дизамбиг, указывающий на рекурсию и рекурсивную функцию из теории вычислимости. --Adamant.pwn (обс.) 00:30, 27 июля 2019 (UTC)
- @Adamant.pwn возражений за два года нет. Подведёте и реализуете итоги по этим трём номинациям? Delasse (обс.) 14:14, 16 апреля 2021 (UTC)
В статье Рекурсия есть раздел "В математике", который фактически о том же, что написано в Рекурсивное определение. Предлагаю либо объединить, либо переименовать Рекурсивное определение в Рекурсия (математика), с возможностью создания статьи Рекурсия (программирование), а статью Рекурсия оформить как обзорную. Alexei Kopylov 00:58, 27 апреля 2016 (UTC)
- Что нужна обзорная - поддерживаю. Но общее слияние делать не надо, понятие ёмкое и абстрактное. Arachnelis (обс) 18:47, 3 августа 2016 (UTC)
- Не нужно сливать. Тут главное слово "определение", у которого есть признак "рекурсивное". Если вы заглянете в англ. версию статьи, то там есть внизу шаблончик "Definition", в котором перечислено с десяток других определений: Circular, Concept, Coordinative, Enumerative, Extensional, Fallacies of Intensional, Genus–differentia, Lexical, Operational, Ostensive, Persuasive, Precising, Recursive, Stipulative, Theoretical. Как видите, они не зашиты в глубине обзорных статей - они имеют свои страницы. Это всё независимые термины, и лучше если про них будут отдельные статьи, а не абзацы где-то в середине огромной простыни обзорной статьи. Отдельные статьи лучше гуглятся поисковиками, а значит пользы от таких статей - больше. То, что у этой статьи есть раздел в обзорной статье Рекурсия - это хорошо, так и должно быть, нужно только слинковать их друг с другом, чтобы читатель мог переходить туда-обратно. Но тот раздел в обзорной статье нельзя дополнять больше определенного объёма. В обзорных статьях каждый параграф должен иметь ограниченный размер, и не должен сильно погружаться в детали. Не нужно эту статью зажимать в тесную квоту обзорной статьи. Тут её можно спокойно дополнять. ~Нирваньчик~ øβς 20:46, 3 августа 2016 (UTC)
- И ещё мне кажется что это словосочетание "Рекурсивное определение" больше относится к лингвистике, примеры в конце "Рекурсивные определения в информатике" - это как раз про лингвистику. Но я не специалист, теорий не знаю, просто высказал догадку. Но если догадка верна, то переименовывать статью в Рекурсия (математика) было бы очень странным и тот абзац пришлось бы удалить или что с ним делать? ~Нирваньчик~ øβς 21:03, 3 августа 2016 (UTC)
- Хочу заметить что у термина есть синоним "индуктивное определение", который даже не намекает на рекурсию. ~Нирваньчик~ øβς 21:05, 3 августа 2016 (UTC)
- И ещё мне кажется что это словосочетание "Рекурсивное определение" больше относится к лингвистике, примеры в конце "Рекурсивные определения в информатике" - это как раз про лингвистику. Но я не специалист, теорий не знаю, просто высказал догадку. Но если догадка верна, то переименовывать статью в Рекурсия (математика) было бы очень странным и тот абзац пришлось бы удалить или что с ним делать? ~Нирваньчик~ øβς 21:03, 3 августа 2016 (UTC)
- Ужас, такая откровенно бредовая номинация и столь долго висит.
- Объединять точно не стоит, рекурсивное определение -- концепт вполне заслуживающий отдельной статьи. Мне кажется, следует расширить статью про рекурсивное определение информацией из статьи про рекурсию, оставив ту обзорной. Если рекурсивное определение переименовывать, то мне кажется, что термин индуктивное определение более удачный. --Adamant.pwn (обс.) 00:38, 27 июля 2019 (UTC)
- Индуктивным бывает доказательство (доказательство по индукции). Индукция, если не ошибаюсь, — переход от частного утверждения к общему. Выражение «индуктивное определение», скорее всего, возникло в чьей-то голове по ошибке из-за сходства между рекурсивным определением и индуктивным переходом при доказательстве по индукции (зачастую первое может непосредственно использоваться в качестве второго). --Wisgest (обс.) 15:37, 27 июля 2019 (UTC)
- Термин есть в математической энциклопедии Виноградова, Словаре по логике Никифорова, поиск по запросу «индуктивное определение» даёт 2,5 миллионов результатов [1] по сравнению с 277 тысяч для рекурсивного определения [2]. Дело тут не только в том, что доказательства по индукции аналогичны такому способу определению объектов, но и то, что свойства таких объектов чаще всего доказывают через мат. индукцию, то есть, между такими объектами и мат. индукцией есть естественная связь. В англоязычной литературе термин также весьма распространён: [3]. --Adamant.pwn (обс.) 16:33, 27 июля 2019 (UTC)
- Индуктивным бывает доказательство (доказательство по индукции). Индукция, если не ошибаюсь, — переход от частного утверждения к общему. Выражение «индуктивное определение», скорее всего, возникло в чьей-то голове по ошибке из-за сходства между рекурсивным определением и индуктивным переходом при доказательстве по индукции (зачастую первое может непосредственно использоваться в качестве второго). --Wisgest (обс.) 15:37, 27 июля 2019 (UTC)
- Статья не очень хороша, но вообще рекурсивное определение — это чёткая и однозначная вещь, а общая статья рассказывает о несколько мутном понятии, там это потеряется. Я бы сказал, что статья рекурсивное определение должна рассказывать о математическом понятии, а статья рекурсия — о чём-то общефилософском. В общем, не надо объединять, имхо. Викизавр (обс.) 16:07, 6 мая 2020 (UTC)
- Против. Тут всё очевидно. C144229 (обс.) 14:36, 28 июля 2021 (UTC)
В теории вычислимости "рекурсивная функция" старомодный термин для вычислимой функции и тоже самое, что частично рекурсивная функция, хотя в статье Рекурсивная функция (теория вычислимости) говориться несколько иначе. Из статьи Рекурсивная функция (теория вычислимости) можно сделать две полноценные статьи: Общерекурсивная функция и Примитивно рекурсивная функция (инервики с Рекурсивная функция (теория вычислимости) сейчас как раз идёт на en:Primitive recursive function). Alexei Kopylov 01:05, 27 апреля 2016 (UTC)
Рекурсивсность и рекурентность абсолютно разные понятия кардинально. Не объединять. — Эта реплика добавлена с IP 91.102.76.175 (о) 12:40, 7 сентября 2017 (UTC)