數學에서 클레이니-로서 逆說 ( 英語 : Kleene-Rosser paradox )은 形式 論理의 特定 시스템에서 缺點을 보인 逆說이다. 1930年 部分的인 커리(Curry)의 組合 論理 버전이 發表됐으며, 1932年에서 1933年 사이에 알론組 處置 의 元本 람다 버전이 紹介됐다. 두 論理 모두 形式 言語의 시스템을 意圖했다. 이 逆說은 1935年 스티븐 클레이니 와 존 버클리 로서 가 提案했다.

逆說 [ 編輯 ]

스티븐 클레이니 와 존 버클리 로서 는 커리 와 處置 의 시스템이 證明 可能하게 定義할 수 있는 數論的 函數들을 특성화하고 列擧할 수 있음을 보였다. 이 函數를 통해 클레이니와 로서는 리처드 逆說을 形式 言語를 利用해 根本的으로 再現할 수 있었다.

以後 커리는 이 逆說을 可能하게 하는 代數學의 核心的 要素들을 찾아냄으로써 커리의 逆說 로 알려진 더욱 簡單한 逆說을 만들었다.

參照 [ 編輯 ]

• Andrea Cantini, " The inconsistency of certain formal logics ", in the Paradoxes and Contemporary Logic entry of Stanford Encyclopedia of Philosophy (2007).
• Kleene, S. C. & Rosser, J. B. (1935). “The inconsistency of certain formal logics”. 《 Annals of Mathematics 》 36 (3): 630?636. doi : 10.2307/1968646 .