Это вдохновлено этим вопросом. Пусть будет совокупностью всех комбинаторов, которые имеют только две связанные переменные. Является ли C комбинаторно полным?
Я считаю, что ответ отрицательный, однако я не смог найти ссылку для этого. Я также был бы заинтересован в ссылках для доказательства комбинаторной неполноты множеств комбинаторов (я понимаю, почему множество состоящее из комбинаторов только с одной связанной переменной, является неполным, поэтому эти множества должны содержать не только элементы D ).
Ответы:
[Расширяя комментарий в ответ.]
Кажется, что оригинальное доказательство этого содержится в техническом отчете Рика Стэтмана:
источник