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

В математике , то парадокс Клини-Rosser парадокс , который показывает , что некоторые системы формальной логики являются несовместимыми , в частности, версия Haskell Curry «s комбинаторной логики введена в 1930 году и Алонзо Чёрч » s оригинальный лямбда - исчисление , введенный в 1932- 1933 г., обе изначально задумывались как системы формальной логики. Парадокс был продемонстрирован Стивеном Клини и Дж. Б. Россером в 1935 году.

Парадокс

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

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

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

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

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


Значок заглушки

Эта статья по математической логике - незавершенная . Вы можете помочь Википедии, расширив ее .