Войти
В математике парадокс Клини – Россера - это парадокс, который показывает что некоторые системы формальной логики несовместимы, в частности, версия комбинаторной логики Карри, представленная в 1930 году, и Оригинальное лямбда-исчисление Черча, представленное в 1932–1933 годах, изначально задумывалось как системы формальной логики. Парадокс продемонстрировали Стивен Клини и Дж. Б. Россер в 1935 г.
Клини и Россер смогли показать, что обе системы способны характеризовать и перечислять свои доказуемо полные, определяемые теоретико-числовые функции, которые позволили им построить термин, который фактически воспроизводит парадокс Ричарда на формальном языке.
Карри позже удалось идентифицировать ключевые компоненты исчислений, которые позволили построить этот парадокс, и использовал это, чтобы построить гораздо более простой парадокс, теперь известный как парадокс Карри.
.
