解一个古老的悖论  

作　　者：文兰[1,2] 

机构地区：[1]北京大学数学科学学院,北京100871 [2]中国科学院院士教授

出　　处：《科学》2003年第4期51-54,共4页Science

摘　　要：所谓悖论,是指导致矛盾而原因不明的推理.一般说来,在推理中导致矛盾不一定奇怪.数学中的反证法就是这样.区别在于,反证法有一个明确的假设,因而导致矛盾不奇怪,恰恰证明该假设不成立.但在一个悖论里,却看不出有什么特别的假设.明明导致了矛盾,却找不到个中的原因,如鲠在喉,令人不安.

关 键 词：说谎者悖论 双卡悖论 三卡悖论 布尔方程 句方程 说谎者型悖论 

分 类 号：B812[哲学宗教—逻辑学]