Парадокс Клини – Россера - Kleene–Rosser paradox

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

Парадокс

Клини и Россер смогли показать, что обе системы способны охарактеризовать и перечислить свои доказуемо полные, определяемые теоретико-числовые функции, что позволило им построить термин, который по существу воспроизводит Ричард парадокс на формальном языке.

Позже Карри удалось идентифицировать ключевые компоненты исчислений, которые позволили построить этот парадокс, и использовал это для построения гораздо более простого парадокса, теперь известного как Парадокс карри.

Смотрите также

Рекомендации

  • Андреа Кантини "Несостоятельность некоторых формальных логик ", в Парадоксы и современная логика вход Стэнфордская энциклопедия философии (2007).
  • Клини, С. К. и Россер, Дж. Б. (1935). «Несостоятельность некоторых формальных логик». Анналы математики. 36 (3): 630–636. Дои:10.2307/1968646.