術小城 作品
652章 四步
趙天、小云、曾寒三人赴燕大人民醫院探望歐葉。
剛睡醒的歐葉將手稿交付給三位學生，如此這般，這般如此，她對學生們面授機宜。
歐葉整理出的關於強bsd猜想證明的脈絡很清晰了，這條證明脈絡採用了逆推倒逼的方式。
最後一步，欲證明強bsd猜想，即證明這句話:e（q）是無窮集的充要條件是l（e，s）在s=1處的泰勒多項式具有如下形式，l（e，s）=c（s-1）^r+高階項，其中c≠0，r是e的秩。
倒數第二步，欲證明上面的這句話，則需對橢圓曲線上的有理點進行計數。
倒數第三步，欲對橢圓曲線上的有理點進行計數，則需先論證橢圓曲線上的秩。
倒數第四步，欲論證橢圓曲線上的秩，可考慮採取群論的方法。
經過歐葉和她三個學生的不懈努力，目前這個團隊已做到了倒數第四步。
“其實，倒數第四步，也可以認為是正數第一步，它耗時最長。如果我們用兩年時間做完倒數第四步，那麼後面的三步，可以在兩個月內完成……哈……哈欠……”歐葉雖然身體欠佳，但她的數學思路十分清晰。
歐葉剛睡醒，卻又哈欠連連，三個學生說到:“葉子姐你休息吧，我們知道該怎麼做了！你睡會兒，我們先走了。”
三位學生小心翼翼的裝好歐葉的手稿，這便離開人民醫院返回燕大。
數院一樓走廊盡頭的小房間，是三位學生的作戰室。
三人首先將歐葉的手稿整理為可進行計算機驗證的電子數據模式。
這份工作大概需要三人連做三天，每人每天的工作時間不會少於12個小時。
歐葉的思路，三個學生非常清楚了。
歐葉從群論出發，通過對典型的橢圓曲線的秩進行計算證明，得到了一個關於橢圓曲線的秩的假設。
這個假設是否可以成為引理，需要驗證。
歐葉採取的手段很傳統，從典型例子上推斷出典型理論，再把典型理論放到全部例子中，以求證它的普適性。
蘋果從樹上落下，砸到牛頓的腦袋。牛頓推導出一個理論，蘋果受到了地球引力影響。這個理論只是對蘋果有效，還是具備普適性？這就是牛頓接下來要做的普適性論證工作，最終他證明了萬有引力定律。
牛頓是偉大的人類之光，但他論證偉大理論的手段同樣很傳統，從簡單到複雜，再由複雜迴歸簡單。
剛睡醒的歐葉將手稿交付給三位學生，如此這般，這般如此，她對學生們面授機宜。
歐葉整理出的關於強bsd猜想證明的脈絡很清晰了，這條證明脈絡採用了逆推倒逼的方式。
最後一步，欲證明強bsd猜想，即證明這句話:e（q）是無窮集的充要條件是l（e，s）在s=1處的泰勒多項式具有如下形式，l（e，s）=c（s-1）^r+高階項，其中c≠0，r是e的秩。
倒數第二步，欲證明上面的這句話，則需對橢圓曲線上的有理點進行計數。
倒數第三步，欲對橢圓曲線上的有理點進行計數，則需先論證橢圓曲線上的秩。
倒數第四步，欲論證橢圓曲線上的秩，可考慮採取群論的方法。
經過歐葉和她三個學生的不懈努力，目前這個團隊已做到了倒數第四步。
“其實，倒數第四步，也可以認為是正數第一步，它耗時最長。如果我們用兩年時間做完倒數第四步，那麼後面的三步，可以在兩個月內完成……哈……哈欠……”歐葉雖然身體欠佳，但她的數學思路十分清晰。
歐葉剛睡醒，卻又哈欠連連，三個學生說到:“葉子姐你休息吧，我們知道該怎麼做了！你睡會兒，我們先走了。”
三位學生小心翼翼的裝好歐葉的手稿，這便離開人民醫院返回燕大。
數院一樓走廊盡頭的小房間，是三位學生的作戰室。
三人首先將歐葉的手稿整理為可進行計算機驗證的電子數據模式。
這份工作大概需要三人連做三天，每人每天的工作時間不會少於12個小時。
歐葉的思路，三個學生非常清楚了。
歐葉從群論出發，通過對典型的橢圓曲線的秩進行計算證明，得到了一個關於橢圓曲線的秩的假設。
這個假設是否可以成為引理，需要驗證。
歐葉採取的手段很傳統，從典型例子上推斷出典型理論，再把典型理論放到全部例子中，以求證它的普適性。
蘋果從樹上落下，砸到牛頓的腦袋。牛頓推導出一個理論，蘋果受到了地球引力影響。這個理論只是對蘋果有效，還是具備普適性？這就是牛頓接下來要做的普適性論證工作，最終他證明了萬有引力定律。
牛頓是偉大的人類之光，但他論證偉大理論的手段同樣很傳統，從簡單到複雜，再由複雜迴歸簡單。