Парадокс Клини-Россера
В математике парадокс Клини -Россера — это парадокс, который показывает, что некоторые системы формальной логики несовместимы , в частности версия Хаскелла Карри , комбинаторной логики представленная в 1930 году, и Алонзо Черча оригинальное лямбда-исчисление , представленное в 1932 году. 1933 г., обе изначально задумывались как системы формальной логики. Парадокс был продемонстрирован Стивеном Клином и Дж. Б. Россером в 1935 году.
Парадокс
[ редактировать ]Клини и Россер смогли показать, что обе системы способны охарактеризовать и перечислить свои доказуемо полные, определимые теоретико-числовые функции, что позволило им создать термин, который по существу повторяет парадокс Ричарда на формальном языке.
Позже Карри удалось определить важнейшие ингредиенты исчислений, которые позволили построить этот парадокс, и использовать их для построения гораздо более простого парадокса, теперь известного как парадокс Карри .
См. также
[ редактировать ]Ссылки
[ редактировать ]- Андреа Кантини, « Непоследовательность некоторых формальных логик », в Парадоксы и современная логика» статье « Стэнфордской энциклопедии философии (2007).
- Клини, С.К. и Россер, Дж.Б. (1935). «Непоследовательность некоторых формальных логик». Анналы математики . 36 (3): 630–636. дои : 10.2307/1968646 . JSTOR 1968646 .
 | Эта математической логике статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее . |