Обсуждение:Комбинаторная логика

отсутствует чёткое определение существа дела

195.160.253.4 07:46, 3 апреля 2008 (UTC)В начальной части словарной статьи должно содержаться краткое и чёткое определение существа дела. К сожалению, в данном случае это не так. По моему мнению следует убрать параллелизм в изложении комбинаторной логики и λ-исчисления (сходства и различия вынести в последующие разделы), а также исторические аспекты (тоже вынести в историю тразвития). 195.160.253.4 07:46, 3 апреля 2008 (UTC)

Вы совершенно правы, к сожалению, я только начал этап чистки статьи… Если у вас есть время, то правьте смело! --Claymore 07:55, 3 апреля 2008 (UTC)

Кстати, тут логический словарь утверждает, что комбинаторная логика (по Яновской С.) направление в математической логике. Это и предмет статьи - одно и тоже или разные вещи? В данный момент определение просто никакое, поэтому не понять. РоманСузи 08:36, 12 августа 2012 (UTC)

Заметил, что в статье нет ничего о комбинаторах, хотя перенаправление идет сюда. Кроме того, неясна связь К. л. и лямбда-исчисления (все вокруг да около). Кроме того, есть еще и отдельная «теория комбинаторов», которая интересуется сугубо комбинаторами… (возможно, комбинаторы заслуживают отдельной статьи) И еще. Согласно Математическому Энц. Словарю, основными понятиями К. л. являются одноместная функция и ее аппликация. В статье же говорится о каком-то объекте. В общем, нужно статью прочистить. РоманСузи 18:31, 24 августа 2014 (UTC)