埃爾德什差異問題(the Erdos Discrepancy Problem)是由匈牙利數學天才保羅·埃爾德什於1932年提出的數學假設。英國計算機專家阿列克謝·利什特沙和鮑里斯·科涅夫最近藉助計算機破解了這一難題。
1975年出生的華裔數學家陶哲軒生在澳洲，他主要的研究專長是在調和分析、偏微分方程、組合數學、解析數論和表示論。2015年9月17日，他宣布證明了保羅·埃爾德什(Erd s Pál)在1932年提出的埃爾德什差異問題存在，這是個困擾學術界80多年的問題。
基本介紹
- 中文名：埃爾德什差異問題
- 外文名：the Erdos Discrepancy Problem
- 提出者：保羅·埃爾德什
- 提出年份：1932年
簡介,證明,
簡介
埃爾德什差異問題是由匈牙利數學天才保羅·埃爾德什於1932年提出的數學假設。其圍繞著只包含1和-1的無窮數列性質進行探討；這類數列中的模型能夠通過創建有限子序列進行測度。
英國數學家恩里科·斯卡拉斯通俗解釋了這一假設：“假如你有一個由1和-1（例如由扔硬幣隨機產生）組成的數列和常數C。你要尋找到一個足夠長的有限數列，使這一數列的總和大於常數C。”
證明
據美國《物理學家組織》網站報導，英國計算機專家阿列克謝·利什特沙和鮑里斯·科涅夫最近藉助計算機破解了一道有80餘年歷史的數學難題——埃爾德什差異問題(the Erdos Discrepancy Problem)。他們的論文預印本已發表在arXiv.org。
利什特沙和科涅夫的論文描述了他們如何建立電腦程式來破解埃爾德什差異問題。由於證明產生的數據有13GB之多(維基百科的整個數據才10GB)，以至於不可能由人工來檢驗。這就產生了一個有趣的問題：如果藉助計算機證明數學命題，而數據的絕對量過於龐大，以至於沒有辦法由人工進行驗證，那么這種證明能否被驗證真偽呢？
計算機的發明，是為計算而來，而計算能力始終是計算機的根本。計算機的介入改變了數學研究的方法，擴展了數學研究的領域，促進了計算數學的發展。尤其是運算量極斯特羅斯基。
1975年出生的華裔數學家陶哲軒生在澳洲，他主要的研究專長是在調和分析、偏微分方程、組合數學、解析數論和表示論。2015年9月17日，他宣布證明了保羅·埃爾德什(Erd s Pál)在1932年提出的埃爾德什差異問題存在，這是個困擾學術界80多年的問題。
