對完答案以後,伊誠發現兩個人的答案竟然完全一緻。
也就是解題方法不同而已。
不出意外的話應該是兩個滿分。
這明顯無法分出勝負,隻能期望二試能稍微拉開差距了。
9點40分,二試正式開始。
二試題目可謂簡單粗暴,總共就4道解答或者證明題。
分值也是超級暴力
前面兩道題每題40分,後面兩道題每題50分,全卷滿分180分。
有幾個第一次參加高聯的同學看到這樣的分值,吓得連拿筆的手都在開始顫抖。
“媽耶……40分一題,随便就沒了。”
“從來沒有見過這麽誇張的分數啊。”
……
伊誠深呼吸,鎮定心神,翻開試卷。
“媽耶,這是個什麽鬼?”
旁邊傳來一個少年的輕呼。
“考場上注意安靜。”監考老師提醒到。
也不怪他發出感歎,因爲跟他一樣懵逼和難受的大有人在。
隻不過其他人沒有表現出來而已。
第一題,是這樣的
【馬者,所以名形也;白者,所以名色也。名形者非名色也。故曰:白馬非馬。求馬,黃黑馬皆可緻。求白馬,黃黑馬不可緻。……故黃黑馬一也,而可以應有馬,而不可以應有白馬,是白馬之非馬審矣。馬者,無去取于色,故黃黑皆所以應。白馬者有去取于色,黃黑馬皆所以色去,故惟白馬獨可以應耳。無去者,非有去也。故曰:白馬非馬馬故有色,故有白馬。使馬無色,由馬如己耳。安取白馬?故白者,非馬也。白馬者,馬與白也,白與馬也。故曰:白馬非馬也。
(1)試證白馬非馬(5分)
(2)如果有一匹馬,它得爲所有【不給自己找食物的馬】尋找食物,試證此馬非此馬,并舉例說明“此馬非此馬”的存在情況(35分)】
伊誠不由得發出一聲輕歎。
現在語文不好連數學題都做不了了。
這是關于古時候一個叫做詭辯家公孫龍的典故
有一次公孫龍過關,關吏說:“按照慣例,過關人可以,但是馬不行。“公孫龍便說白馬不是馬,一番論證,關吏聽了後連連點頭,說:“你說的很有道理,請你爲馬匹付錢吧。“
現在這道題目,就是需要你用數學語言對文言文進行翻譯,并且證明【白馬非馬】
可以說前面的話都是廢話,要說有用也有點用,要說沒用也沒多大用。
隻能說出題人是個狂熱的古文化愛好者。
第一問明顯是個送分題。
伊誠搖搖頭,開始做出證明
假設馬爲集合a,白馬爲元素b。
那麽有b∈a
b ≠a
也就是說,公孫龍得先定義清楚兩者的關系才能對結果進行讨論。
如果按照第一種情況,b∈a,白馬是馬這個集合中的一個元素,那麽白馬是馬,這就是一個僞命題。
如果按照第二種情況,b ≠a,白馬隻是馬這個集合中的一個元素,所以白馬不等于馬,這就是一個真命題。
第一問順利證完,來到第二問的伊誠瞬間傻了眼。
此馬非此馬。
不會吧?
這道題明顯不該放在這裏。
因爲這是一個典型的羅素悖論題。
何爲羅素悖論?
這是一個引發了數學界軒然大波的可怕故事,至今沒有得到完美的解答
德國數學家康托爾創立了著名的集合論,集合論成爲現代數學的基石。“一切數學成果可建立在集合論基礎上“這一發現使數學家們爲之陶醉。
1903年,一個震驚數學界的消息傳出:集合論是有漏洞的!這就是英國數學家羅素提出的著名的羅素悖論。
羅素舉了一個非常淺顯易懂的例子來描述集合論中的這一漏洞
在某個城市中有一位理發師,他隻給【不自己刮臉】的人刮臉。
但是有一天,這位理發師從鏡子裏看見自己的胡子長了,他本能地抓起了剃刀。
那麽這個理發師到底該不該給自己刮臉呢?】
這個悖論顯而易見。
如果他給自己刮臉,那麽他就違背了給自己刮臉的人這一原則。
如果他不給自己刮臉,那麽他就得爲【不自己刮臉的人】刮臉。
這就是矛盾的地方。
這個悖論引發了數學史上的第三次危機。
如果要高中生在這裏進行證明就未免太難爲人了。
所以伊誠認爲這道題目不該出現在這裏。
完蛋了。
第一道題目就這麽難,這次高聯明顯是不要人活了啊。
“老師!”
正是這時,教室内一個學生舉起了右手。
監考老師回過頭來。
“怎麽了?”
“這道題目出題有誤。”那個學生很硬氣的說到。
所有人擡起頭來不約而同地看着她。
這個學生就是伊誠臨桌的顔姿琦。
很明顯她也發現試題超綱了。
“第一題第二問,明顯是一個羅素悖論題,這道題目明顯超綱,哪怕是現在最頂尖的數學家都無法完美解答羅素悖論,它不該出現在這裏。”顔姿琦擲地有聲地說到。
她是去年奧數金牌獲得者,她是學校年級數學第一,她是本省的數學驕傲,她是國家未來重點培養的數學人才。
她有資格提出質疑。
監考老師走過來,看了看顔姿琦的考試牌。
然後他再仔細核對了一下試卷。
監考老師看了半分鍾左右,回過身來,面對整個教室的考生,淡淡地說到,“這題沒有出錯,大家繼續答題吧。”
……
不可能啊。
顔姿和伊誠不約而同地沉默下來。
至于其他人,根本沒聽懂剛才姿琦在說什麽,即使聽懂了他們也不知道該怎麽做。
一部分人已經放棄了第二問的作答,開始翻後面的題。
按照老師的諄諄教導,不要死攻一個題目,先放一放,解決掉容易做的題之後再回來。
結果是——
越往後翻越不會做。
“媽耶,這題目誰出的啊?!”
“這已經是奧數題了吧?”
“不,已經超越奧數題了吧?!”
隻有少數幾個人還在耐心地做答。
其中就包括伊誠和顔姿琦。
他們還不打算放棄。
伊誠百思不得其解,直到看到了第二問前面的兩個字
【試證。】
也就是說,這是不需要證明的,也無法證明的東西。
你隻需要通過數學語言描述證明思路就行。
至于能不能證明出來不是這道題的重點。
後面的那個舉例才是重點,是考察你對悖論命題的理解程度。
要解決羅素悖論,哪怕是頂尖的數學家也隻得繞行。
但是要通過一般的數學語言來對羅素悖論進行描述,這是初中生都能做到的事情。
伊誠嘴角微微上揚,浮出輕松的笑容。
一旦想通了這層關系之後,一切都變得簡單起來。
他提筆寫到
設性質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分到手。
……
。