Парадокс Клини — Россера — математический парадокс, показывающий, что определённые системы формальной логики являются противоречивыми. В частности, это затрагивает версию комбинаторной логики, предложенную Хаскеллом Карри в 1930 году, а также исходный вариант лямбда-исчисления, разработанный Алонзо Чёрчем в 1932—1933. Парадокс был представлен Стивеном Клини и в 1935 году.
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).