|
北京工业大学学报 2002
关于悖论的统一模式——纪念罗素悖论发现100周年Keywords: 悖论,罗素,反对角线集合,统一模式定理,准反对角线集合,加强的统一模式定理,抽象悖论 Abstract: 用数学的语言给出了一个抽象的悖论.令F是从集合A到集合B的双射,记M=aAaF(a),如果在某个理论中MB是合法的(或看起来是合理的)则问题mM?将是该理论中的一个悖论.该抽象悖论也可看成悖论的统一模式,只要适当选择双射F和集合A、B就可以将所有已知悖论包含在该模式中.由于找到所有悖论的统一模式,也找到了产生悖论的唯一的本质的原因,为圆满解决悖论问题创造条件.
|