第41 章 来一点天才的震撼（2 / 3）
【……for any infinite set a ? n, there exists an infinite subset b ? a such that b is either contained in or disjoint from the solution set of the given instance of rt2?… wkl? does not prove rt2? over rca?……】
小兰：“……”
对不起，打扰了，是我不配。
原来那天林染轻描淡写地说“文学只是爱好，数学才是梦想”，真的不是在开玩笑，而是陈述一个可怕的事实啊！
“数学论文？”
听到小兰的话，园子一愣。
她不死心的又看了一眼林染正在写的东西，小脸蛋顿时就皱成了一团，“小兰你骗人！这哪里是数学了？我怎么一个数字都没看到？”
在她单纯的世界观里，数学就等於算数，林染写的这些东西，跟她认知中那个充满了数字和等式的学科，完全就是两种不同的物种。
小兰：“……”
看著好友那一脸“你休想蒙我”的表情，她哭笑不得地解释道：“园子，这真的是数学，这些符號是逻辑符號，这些英文是专业术语……嗯，就是一种更抽象、更高级的数学。”
“高级到连数字都不需要了吗？”
园子感觉自己的世界观受到了衝击。
好半天，她才嘆了口气，拉著小兰退到一边，“算了算了，看来今天是不能找他玩了，唉，天才的世界我们凡人不懂啊。”
小兰笑了笑，目光落在林染身上。
她发现，认真钻研学术的林染，身上似乎又多了另一种迷人的魅力，那是一种介於文雅与理性之间的独特气质，格外吸引人。
两位美少女的內心戏，林染是无暇顾及。
他此刻正徜徉在数学女神慷慨的胸怀里，疯狂汲取著智慧的甘露，同时对论文的最后一部分进行最后的验算和打磨，力求每一个细节都完美。
一上午的时间很快过去。
直到午休的铃声响起，林染才意犹未尽的放下了笔，看著基本完成的论文初稿，满意的舒了口气。
然后他就听到了肚子的咕咕叫声。
高强度用脑对於体力的消耗是非常大的，所以平时如果他通宵熬夜的话，明美睡前都会帮他做一份夜宵放在保温炉里，隨时可以享用。
现在嘛……
“林染林染！你终於出关啦！”
看到他停笔，早就等不及的园子立马凑了过来，往他课桌前一趴，双手托著下巴，“你上午到底在写什么呀？真的是数学论文吗？”
小兰递过来一小盒洗好的草莓：“林同学，用脑辛苦了，吃点水果吧。”
“谢谢。”
林染也不客气，接过草莓，捏起一颗最大的就塞进嘴里，然后看向一脸求知慾的园子，解释道，“嗯，是一篇关於数理逻辑的小论文，准备试著投稿。”
“数理逻辑？”
园子歪著头，满脸问號，“那是什么？听起来就好复杂。”
“简单来说，就是研究数学推理本身规律的一门学科。”林染儘量用通俗的语言解释，“比如，我们证明一个数学结论，到底需要多强的『规则』。” ↑返回顶部↑
小兰：“……”
对不起，打扰了，是我不配。
原来那天林染轻描淡写地说“文学只是爱好，数学才是梦想”，真的不是在开玩笑，而是陈述一个可怕的事实啊！
“数学论文？”
听到小兰的话，园子一愣。
她不死心的又看了一眼林染正在写的东西，小脸蛋顿时就皱成了一团，“小兰你骗人！这哪里是数学了？我怎么一个数字都没看到？”
在她单纯的世界观里，数学就等於算数，林染写的这些东西，跟她认知中那个充满了数字和等式的学科，完全就是两种不同的物种。
小兰：“……”
看著好友那一脸“你休想蒙我”的表情，她哭笑不得地解释道：“园子，这真的是数学，这些符號是逻辑符號，这些英文是专业术语……嗯，就是一种更抽象、更高级的数学。”
“高级到连数字都不需要了吗？”
园子感觉自己的世界观受到了衝击。
好半天，她才嘆了口气，拉著小兰退到一边，“算了算了，看来今天是不能找他玩了，唉，天才的世界我们凡人不懂啊。”
小兰笑了笑，目光落在林染身上。
她发现，认真钻研学术的林染，身上似乎又多了另一种迷人的魅力，那是一种介於文雅与理性之间的独特气质，格外吸引人。
两位美少女的內心戏，林染是无暇顾及。
他此刻正徜徉在数学女神慷慨的胸怀里，疯狂汲取著智慧的甘露，同时对论文的最后一部分进行最后的验算和打磨，力求每一个细节都完美。
一上午的时间很快过去。
直到午休的铃声响起，林染才意犹未尽的放下了笔，看著基本完成的论文初稿，满意的舒了口气。
然后他就听到了肚子的咕咕叫声。
高强度用脑对於体力的消耗是非常大的，所以平时如果他通宵熬夜的话，明美睡前都会帮他做一份夜宵放在保温炉里，隨时可以享用。
现在嘛……
“林染林染！你终於出关啦！”
看到他停笔，早就等不及的园子立马凑了过来，往他课桌前一趴，双手托著下巴，“你上午到底在写什么呀？真的是数学论文吗？”
小兰递过来一小盒洗好的草莓：“林同学，用脑辛苦了，吃点水果吧。”
“谢谢。”
林染也不客气，接过草莓，捏起一颗最大的就塞进嘴里，然后看向一脸求知慾的园子，解释道，“嗯，是一篇关於数理逻辑的小论文，准备试著投稿。”
“数理逻辑？”
园子歪著头，满脸问號，“那是什么？听起来就好复杂。”
“简单来说，就是研究数学推理本身规律的一门学科。”林染儘量用通俗的语言解释，“比如，我们证明一个数学结论，到底需要多强的『规则』。” ↑返回顶部↑