Curry’s Paradox|柯里悖論:不必說『這句是假的』,只靠自指+『如果…那麼…』也能讓系統爆出任意結論
WHAT 這是什麼
SEP 說明 Curry's paradox 是一族利用 self-reference 或 circularity,加上 implication、entailment 或 consequence 形成的悖論;它可出現在集合論、性質理論與語義領域,特別之處是並不本質依賴 negation。
WHY HERE 為什麼屬於底域的世界
它顯示『問題不只是真假翻轉』,自指和蘊涵本身就足以威脅系統,能連到證明論與語義安全。
BLIND SPOT 補了哪一塊少看的視角
Curry paradox 有多種形式與不同背景理論;不能把它簡化成 Liar paradox 的換句話說。