其他管理笑成了一團(tuán)，笑完青出于藍(lán)問道：那你們這次有空跑團(tuán)嗎?

    這些年陳頌和童一淮偶爾休息的時(shí)候，如果時(shí)間充裕也會(huì)跑跑團(tuán)，當(dāng)然開團(tuán)是沒這個(gè)時(shí)間了，畢竟想要開好一個(gè)團(tuán)，需要的備團(tuán)時(shí)間也不短。

    當(dāng)歌：小青有團(tuán)啊。不過應(yīng)該沒空，我就這兩天盯一盯，沒什么問題的話就要繼續(xù)研究了，在我解決哥德巴赫猜想或者放棄解決哥德巴赫猜想之前，應(yīng)該都沒空跑團(tuán)。

    真的是人類：我也沒空，雖然我現(xiàn)在主要在研究所那邊，但其實(shí)很多工作在學(xué)校也可以完成。

    雖然童一淮的工作需要對(duì)撞機(jī)的幫助，但對(duì)撞機(jī)也并不是隨時(shí)都可以啟動(dòng)的，每進(jìn)行一次質(zhì)子對(duì)撞，需要的準(zhǔn)備時(shí)間很長(zhǎng)，在此期間童一淮對(duì)研究所那邊也做不到更多的事情。

    栗子：解決或者放棄這么干脆的嗎?

    當(dāng)歌：是啊，因?yàn)槲业闹饕康牟皇菫榱俗C明哥德巴赫猜想，當(dāng)然如果能證明最好了。

    海納百川：我聽說過哥德巴赫猜想，聽說是已經(jīng)證明到了1 2，然后現(xiàn)在要證明1 1。所以，是要證明1 1=2嗎?

    當(dāng)歌：不是，1 1=2早就被用皮亞諾公理證明了。哥德巴赫猜想的1 1，指的是一個(gè)素?cái)?shù)加上一個(gè)素?cái)?shù)，也就是說任何一個(gè)大于2的偶數(shù)都可以表示成兩個(gè)素?cái)?shù)的和。

    栗子：所以，1 1=2，原來真的需要證明啊。我從來沒有想過，這需要證明!

    海納百川：我知道，素?cái)?shù)就是質(zhì)數(shù)，質(zhì)數(shù)一定是奇數(shù)，兩個(gè)奇數(shù)相加不是一定是偶數(shù)嗎?

    當(dāng)歌：1 1=2的證明很簡(jiǎn)單，你們也能看懂，感興趣的話可以去搜索一下看看。

    當(dāng)歌：噗!百川這個(gè)就是典型的民科證明方法了。但是你們中學(xué)階段應(yīng)該都學(xué)過數(shù)學(xué)邏輯，知道什么叫做充分條件和必要條件，以及充分必要條件，充分非必要條件，還有必要非充分條件吧?先不說素?cái)?shù)一定是奇數(shù)這句話就是錯(cuò)的，就算它是對(duì)的，奇數(shù)一定是素?cái)?shù)嗎?這個(gè)結(jié)論可以很容推翻，比如9，這是個(gè)奇數(shù)，但不是個(gè)素?cái)?shù)。

    當(dāng)歌：至于前者，最小的素?cái)?shù)2是個(gè)偶數(shù)，雖然它是唯一的例外。因?yàn)槟愕那疤徨e(cuò)誤，所以你的結(jié)論也是錯(cuò)的，兩個(gè)素?cái)?shù)相加不一定是偶數(shù)，2和任何一個(gè)除2以外的素?cái)?shù)相加都是奇數(shù)。另外，就算不考慮2這個(gè)特殊情況，假設(shè)兩個(gè)素?cái)?shù)相加一定是偶數(shù)，但這能證明一個(gè)偶數(shù)一定可以寫成兩個(gè)素?cái)?shù)相加嗎?

    青鸞：一定要證明它嗎?我不是很理解，我不是說它有什么實(shí)際作用，而是我們不證明它不可以嗎?

    當(dāng)歌：當(dāng)然，一定要證明。因?yàn)殡m然這個(gè)結(jié)論看起來是對(duì)的，但在我們能夠用科學(xué)的方法證明它之前，它只是看起來是對(duì)的，我們不能說它一定是對(duì)的。猜想只是個(gè)猜想，雖然我們現(xiàn)在先把它當(dāng)對(duì)的用，但還是有一定的幾率，它其實(shí)是錯(cuò)的。就在以前，人們覺得地球是宇宙的中心，并且這看起來好像是對(duì)的，但我們現(xiàn)在知道，它是錯(cuò)的。

    青鸞：那我有點(diǎn)明白了。就是說有一個(gè)結(jié)論，它起來是真理，但實(shí)際上它也有可能是錯(cuò)誤的，只有通過邏輯嚴(yán)密的證明才能確定它是不是真理。

    當(dāng)歌：差不多是這么個(gè)意思，只不過在我們數(shù)學(xué)領(lǐng)域，更愿意把這種陳述稱為定理。

    玉兔啼血：這個(gè)我知道，以前的數(shù)學(xué)書上見過很多定理。還有當(dāng)歌之前證明的那些猜想，現(xiàn)在也都是定理了，聽說還是用當(dāng)歌的名字命名的。

    當(dāng)歌：嗯，按照數(shù)學(xué)界的慣例，會(huì)用證明定理的人名字為這個(gè)定理命名，但有些時(shí)候大家還是會(huì)習(xí)慣性地叫某某猜想。

    長(zhǎng)城不倒：說了半天，其實(shí)我比較關(guān)心，當(dāng)歌直接把接下來要做的工作說出來可以嗎?我聽說你們學(xué)術(shù)界也有學(xué)術(shù)競(jìng)爭(zhēng)的說法。

    當(dāng)歌：有啊，但是沒關(guān)系。哥德巴赫猜想本來就有一些數(shù)學(xué)家在研究的，無論我是否在研究這個(gè)猜想都一樣。而且這個(gè)猜想想要證明非常困難，如果這么容易就能被證明出來的話，根本輪不到我，所以無所謂。

    青鸞：我看出來了，當(dāng)歌很自信。

    栗子：你在說什么傻話?菲獎(jiǎng)得主，科學(xué)院院士，自信不是應(yīng)該的嗎?

    青鸞：有道理，是我狹隘了。

    陳頌哭笑不得，把話題又扯到了跑團(tuán)上，在群里和他們瞎聊了一個(gè)晚上，續(xù)上友情。

    之后正如陳頌和童一淮計(jì)劃的那樣，沒等期末考試結(jié)束，他們就又投入到了忙碌的工作之中，工作之余唯一的閑暇則按照唐院士的安排去準(zhǔn)備評(píng)選工程院院士的事情了。

    次年2月，有瀏覽預(yù)印本網(wǎng)站習(xí)慣的數(shù)學(xué)家們發(fā)現(xiàn)這個(gè)網(wǎng)站上出現(xiàn)了一篇名為《哥德巴赫猜想的證明過程》的論文，他們的第一反應(yīng)是誰把該放在民科分類的文章放到了這里。

    但很快他們就改變了自己的想法，因?yàn)樗麄冊(cè)谡撐淖髡吣且粰诳吹搅岁愴灥拿?，他的名字本身就是論文質(zhì)量的保證。

    預(yù)印本網(wǎng)站，顧名思義就是將自己尚未通過期刊審核的論文發(fā)布其上的平臺(tái)，當(dāng)然發(fā)展到現(xiàn)在也并不是只有投稿給期刊的論文才會(huì)發(fā)布在這里。

    --