……
不可能啊。
颜姿琦和伊诚不约而同地沉默下来。
至于其他人,即使听懂了姿琦的话,知道这是一道跟罗素悖论相关的题目了,他们也不知道该怎么做。
一部分人已经放弃了第二问的作答,开始翻后面的题。
按照老师的谆谆教导,不要死攻一个题目,先放一放,解决掉容易做的题之后再回来。
结果是——
越往后翻越不会做。
“妈耶,这题目谁出的啊?!”
“这已经是奥数题了吧?”
“不,已经超越奥数题了吧?!”
只有少数几个人还在耐心地做答。
其中就包括伊诚和颜姿琦。
他们还不打算放弃。
伊诚百思不得其解,直到看到了第二问前面的两个字:
【试证。】
狡猾的出题人啊!
居然玩这种文字游戏。
证明题一般用试证两个字,其结果有可能是证明命题为假。
【试】,这个字就很灵性了。
按照现在的情况,试证,就是尝试一下。
这是不需要证明的,也无法证明的东西。
你只需要通过数学语言描述证明思路就行。
至于能不能证明出来不是这道题的重点。
后面的那个举例才是重点,是考察你对悖论命题的理解程度。
要解决罗素悖论,哪怕是顶尖的数学家也只得绕行。
但是要通过一般的数学语言来对罗素悖论进行描述,这是初中生都能做到的事情。
伊诚嘴角微微上扬,浮出轻松的笑容。
一旦想通了这层关系之后,一切都变得简单起来。
他提笔写到:
设性质p(x)表示“x不属于x“。
假设由性质p确定了一个类a
也就是说“a={x|x?a}“。
首先,若a属于a,则a是a的元素,那么a具有性质p,由性质p知a不属于a;
其次,若a不属于a,也就是说a具有性质p,而a是由所有具有性质p的类组成的,所以a属于a。
……
好,证明思路已经写完了,接下来是举例:
伊诚在试卷上写到:
“我写的这句话是假的。”
40分到手。
……