클레이니-로서 역설수학에서 클레이니-로서 역설(영어: Kleene-Rosser paradox)은 형식 논리의 특정 시스템에서 결점을 보인 역설이다. 1930년 부분적인 커리(Curry)의 조합 논리 버전이 발표됐으며, 1932년에서 1933년 사이에 알론조 처치의 원본 람다 버전이 소개됐다. 두 논리 모두 형식 언어의 시스템을 의도했다. 이 역설은 1935년 스티븐 클레이니와 존 버클리 로서가 제안했다. 역설스티븐 클레이니와 존 버클리 로서는 커리와 처치의 시스템이 증명 가능하게 정의할 수 있는 수론적 함수들을 특성화하고 열거할 수 있음을 보였다. 이 함수를 통해 클레이니와 로서는 리처드 역설을 형식 언어를 이용해 근본적으로 재현할 수 있었다. 이후 커리는 이 역설을 가능하게 하는 대수학의 핵심적 요소들을 찾아냄으로써 커리의 역설로 알려진 더욱 간단한 역설을 만들었다. 참조
|
Index:
pl ar de en es fr it arz nl ja pt ceb sv uk vi war zh ru af ast az bg zh-min-nan bn be ca cs cy da et el eo eu fa gl ko hi hr id he ka la lv lt hu mk ms min no nn ce uz kk ro simple sk sl sr sh fi ta tt th tg azb tr ur zh-yue hy my ace als am an hyw ban bjn map-bms ba be-tarask bcl bpy bar bs br cv nv eml hif fo fy ga gd gu hak ha hsb io ig ilo ia ie os is jv kn ht ku ckb ky mrj lb lij li lmo mai mg ml zh-classical mr xmf mzn cdo mn nap new ne frr oc mhr or as pa pnb ps pms nds crh qu sa sah sco sq scn si sd szl su sw tl shn te bug vec vo wa wuu yi yo diq bat-smg zu lad kbd ang smn ab roa-rup frp arc gn av ay bh bi bo bxr cbk-zam co za dag ary se pdc dv dsb myv ext fur gv gag inh ki glk gan guw xal haw rw kbp pam csb kw km kv koi kg gom ks gcr lo lbe ltg lez nia ln jbo lg mt mi tw mwl mdf mnw nqo fj nah na nds-nl nrm nov om pi pag pap pfl pcd krc kaa ksh rm rue sm sat sc trv stq nso sn cu so srn kab roa-tara tet tpi to chr tum tk tyv udm ug vep fiu-vro vls wo xh zea ty ak bm ch ny ee ff got iu ik kl mad cr pih ami pwn pnt dz rmy rn sg st tn ss ti din chy ts kcg ve
Portal di Ensiklopedia Dunia
