她瞎扯个理由,实际问题并没有那简单,不可能由她个高中生发现,更和空集八竿子打不着。但她还是观察着老林,希望自己突然理由可以蒙混过关。
“有点扯犊子。”老林总结。
“!!!”林朝夕顿时心虚,她强行辩驳,“真是这样。”
“你应该说:是数学之神突然眷顾。”老林缓缓开口。
“数学之神突然眷顾?”
她圈出来这些内容。
林朝夕毕恭毕敬坐在旁边,大气不敢出。
当时老林认识到自己证明有误,是因为假设出现问题,他在证明映射诱导某自同构是g(p)后,直接将s认定为其子集。
她当时强行记住c→c、aibj→b等等之类关键符号,却并没有完全理解为什这假设出现问题。并且因为反复做那些证明中充斥着这些符号而没有认出这点来,直到小朋友说“反例”。
是啊,本质还是反例。当数学家试图证明某命题遇到困难时,他们会开始寻找反例,来证明其非真。但他们又很容易在自己日常工作中,忘记它。
“嗯。”老林神情轻松平淡,带点笑意看着她圈出那块,“也突然眷顾。”
老林办公室外香樟树不会泛黄,秋天依旧苍翠,林朝夕深深吸口气,听到他说:“你是对,这里错。”
他神情中不可避免带着失落、遗憾,有些凝重,但又释然。承认错误意味着那堵墙出现,他之前所有努力付诸东流,切假设必须完全推翻,对任何个努力许久人来说,这都显得极其残忍。
林朝夕抿抿唇,时间不知该如何让老林重拾信心,再在此基础上发现那个全新算法。
“你是怎发现?”老林打断她思考。
“啊?刚才小朋友突然大喊声‘反例’,就在想,你这样假设话,你是不是并没有考虑到空集?
请关闭浏览器阅读模式后查看本章节,否则可能部分章节内容会丢失。