我很喜歡Eugenia Cheng。我第一次知道她，是因為朋友告訴我有個在Sheffield的數學家寫了個「證明」去證說，吃scone時，用clotted cream比用whipped cream好[註一]，我想說這人也太寶了，還特地用latex排一篇文章出來分享她的證明，實在是太有趣的一個人。後來又發現，她在youtube上有開一個很樸實無華的頻道教數學［註二］，剛好我一直想學怎麼處理無限大，便這樣成為她數普的受益者之一。
我很佩服她總是能將抽象的概念講得極其清晰易懂，雖然我偶爾仍須反覆播放影片或是停下來自己慢慢推導，但她的影片總能讓我相信，跟著她一步一步走，我一定能搞懂，這是我過往不曾有過的感受。從小到大我一直都對我的數學能力很沒有信心，是一直到了大學，在心理系開的統計課程上拿了九十幾分後，我才察覺我的數學好像沒那麼差、我好像其實也滿喜歡數學的，但那種恐懼，還是一直隱隱作祟，所以我很崇拜我的諸多數學家朋友們，我覺得他們都是天才，我一輩子都不能像他們一樣，真的是直到看了她的影片，我才知道其實我的恐懼與自卑是來自於我沒有好的啟蒙老師。
感激她拍這些影片寫這些數普之餘，卻仍是有很多複雜的情緒在。Eugenia Cheng專攻的領域叫做範疇論（category theory），數學家朋友告訴我這個領域在數學中的抽象程度很高，要非常聰明的人才有辦法去「想像」這麼抽象的東西到底是什麼，她處理的又是抽象中的抽象的higher-dimensional category theory，真的是號人物。說實在的，我聽完後，還是不知道範疇論在做什麼，只知道這是很抽象很抽象很抽象的領域而已。在youtube另外找了她給的talk，我才真正比較了解到底所謂的「the mathematics of mathematics」是怎麼一回事。她在短短四十分鐘內說明了範疇論主要的關懷外，另外還給了不少生活中極度具體的例子幫助聽眾更加了解她所說的是什麼，淺顯到我覺得國中生也都能夠聽得懂這個一般來說要到數學系碩士班程度才會「聽過」的領域涉及哪些問題。所以我感受很複雜。
我的感受很複雜，因為我能理解為什麼Eugenia Cheng選擇做數學普及，放棄她在Sheffield的終身聘的教職（這真的不是個容易的決定），但還是不免會想，如果她能繼續研究higher dimensional category theory有多好。聽她上BBC訪談［註三］，聽得出這真的是她的摯愛。但是一天只有24小時，她得做出選擇。從她在BBC上的訪談直接說數學界的性別問題跟她在Sheffield的不快樂，可以知道她是真的非常的不快樂。快樂與不快樂之間，她也需要做出選擇。她最後選擇了數學普及、離開讓她充滿負面情緒的學界。作為受益於這一切的我，感受真的很複雜。
噢對了，她的中文名字是鄭樂雋，我不知道這是快樂的樂還是音樂的樂。不過她也愛音樂，所以可能沒差吧？希望我自己面對人生的選擇時，也能跟她一樣，選擇快樂。
註一：Cheng, 2013, On the perfect quantity of cream for a scone
https://eugeniacheng.com/wp-content/uploads/2017/02/cheng-cream.pdf
註二：https://www.youtube.com/user/TheMathsters
註三：Eugenia Cheng on the mathematics of mathematics
https://www.bbc.co.uk/programmes/b09nvrcn
--
後來Eugenia Cheng的wiki上加上了中文名字的發音，原來她的樂雋唸作loh-gene呀！解了這個惑，真是快樂啊！
--
