一区二区三区日韩精品-日韩经典一区二区三区-五月激情综合丁香婷婷-欧美精品中文字幕专区

分享

數(shù)學(xué)簡(jiǎn)史:現(xiàn)代數(shù)學(xué)的五大應(yīng)用

 zjshzq 2023-09-29 發(fā)布于浙江
   9.29
知識(shí)分子
The Intellectual

圖片

圖源:Pixabay

撰文 | 蔡天新

 ●                   ●                    


理論物理學(xué)

現(xiàn)代數(shù)究有兩大范疇,即純粹數(shù)學(xué)和應(yīng)用數(shù)學(xué)?,F(xiàn)在我們來談?wù)剶?shù)學(xué)向人類文明的其他結(jié)晶(科學(xué))的滲透。先來看物理學(xué),18世紀(jì)是數(shù)學(xué)與經(jīng)典力學(xué)相結(jié)合的黃金時(shí)代,19世紀(jì)數(shù)學(xué)主要應(yīng)用于電磁學(xué),產(chǎn)生了劍橋數(shù)學(xué)物理學(xué)派,其最具代表性的成就是麥克斯韋(1831-1879)創(chuàng)立的電磁學(xué)方程組,由4個(gè)簡(jiǎn)潔的偏微分方程組成。據(jù)說麥克斯韋最初得到的方程組比較復(fù)雜,后來他相信表達(dá)物理世界的數(shù)學(xué)應(yīng)該是美的,因而推倒重來。

圖片

 就讀劍橋時(shí)的麥克斯韋,圖源維基

麥克斯韋是蘇格蘭人,這個(gè)流行男子穿格子短裙的民族所貢獻(xiàn)出的偉大發(fā)明家按人口比例堪稱世界之最。在麥克斯韋之前有(實(shí)用)蒸汽機(jī)發(fā)明人瓦特(1736-1819),之后有電話發(fā)明人貝爾(1847-1922)、胰島素發(fā)明人麥克里奧德(1876-1935,與人合作)、青霉素發(fā)明人弗萊明(1881-1955)、電視發(fā)明人貝爾德(1888-1946)。此外,還有第一個(gè)將經(jīng)濟(jì)理論完整化和系統(tǒng)化的亞當(dāng)·斯密(1723-1790),他的代表作《國(guó)富論》的中心思想是:看似混亂的自由市場(chǎng)實(shí)際上是一種自我調(diào)控機(jī)制,它能自動(dòng)傾向于以最合適的數(shù)量生產(chǎn)那些社會(huì)上最受歡迎和最需要的產(chǎn)品。

進(jìn)入20世紀(jì)以后,數(shù)學(xué)相繼在相對(duì)論、量子力學(xué)以及基本粒子等理論物理學(xué)領(lǐng)域得到應(yīng)用。1908年,德國(guó)數(shù)學(xué)家閔可夫斯基提出了空間和時(shí)間的四維時(shí)空結(jié)構(gòu)圖片,即通過(c 為光速)

圖片

為愛因斯坦(1879-1955)的狹義相對(duì)論(1905)提供了最合適的數(shù)學(xué)模型,這種結(jié)構(gòu)后來被稱為閔可夫斯基空間。有趣的是,閔可夫斯基本人對(duì)他早年學(xué)生愛因斯坦的數(shù)學(xué)才能卻毫無印象。

圖片

愛因斯坦故居,他在這里發(fā)明了相當(dāng)論

作者攝于伯爾尼

有了這個(gè)模型以后,愛因斯坦又進(jìn)一步研究了引力場(chǎng)理論。等到1912年夏天,他已經(jīng)概括出這一理論的基本原理,可是由于他只會(huì)一些最簡(jiǎn)單的數(shù)學(xué)工具,甚至微積分的方法都無法用上(他自稱那樣會(huì)使讀者驚呆),自然難以提煉出來。這個(gè)時(shí)候愛因斯坦在蘇黎世遇到一位數(shù)學(xué)家,幫助他學(xué)會(huì)了以黎曼幾何為基礎(chǔ)的微分學(xué),后來他把它叫張量分析。經(jīng)過3年多的努力,在1915年11月25日發(fā)表的一篇論文中,愛因斯坦導(dǎo)出了引力場(chǎng)方程

圖片

其中 圖片 是里奇(Ricci)張量,圖片是能量動(dòng)量張量,R是曲率標(biāo)量,圖片是度規(guī)張量,k是常數(shù),與萬有引力常數(shù)和光速有關(guān)。愛因斯坦指出,“由于這組方程,廣義相對(duì)論作為一種邏輯結(jié)構(gòu)終于大功告成!”

值得一提的是,雖然愛因斯坦在1915年完成了廣義相對(duì)論,但他的工作發(fā)表在1916年。巧合的是,幾乎是在同時(shí),另一個(gè)德國(guó)人、數(shù)學(xué)家希爾伯特沿著另一條道路也得到了上述引力場(chǎng)方程。希爾伯特采用的是公理化方法,同時(shí)運(yùn)用了諾特關(guān)于連續(xù)群的不變量理論。他向哥廷根科學(xué)院提交這篇論文的時(shí)間是1915年11月20日,發(fā)表的時(shí)間也比愛因斯坦的論文早了5天。

通過廣義相對(duì)論,愛因斯坦預(yù)言了引力波和黑洞的存在性,它們分別于2017年和2019年獲得證實(shí)。依照廣義相對(duì)論,時(shí)空整體上是不均勻的,只是在微小的區(qū)域內(nèi)例外。在數(shù)學(xué)上,這個(gè)非均勻的時(shí)空區(qū)可以借助下列現(xiàn)成的黎曼度量描述

圖片


廣義相對(duì)論的這個(gè)數(shù)學(xué)描述第一次揭示了非歐幾何學(xué)的現(xiàn)實(shí)意義,也成為歷史上最偉大的數(shù)學(xué)應(yīng)用例子之一??墒?,與建立萬有引力定律的牛頓相比,愛因斯坦還是要顯得遜色,因?yàn)榕nD力學(xué)的數(shù)學(xué)基礎(chǔ)——微積分是由他自己創(chuàng)立的。

與相對(duì)論不同,量子力學(xué)與一群物理學(xué)家的名字相聯(lián)系,普朗克(1855-1947)、愛因斯坦、玻爾(1855-1962)是開拓者,薛定諤(1887-1961)、海森堡(1901-1976)、狄拉克等分別以波動(dòng)力學(xué)、矩陣力學(xué)和變換理論的形式建立起了量子力學(xué)。為了將這些理論融合成統(tǒng)一的體系,需要新的數(shù)學(xué)理論。希爾伯特開始用積分方程等分析工具,馮·諾伊曼進(jìn)一步提取出了所謂的希爾伯特空間理論,去解決量子力學(xué)的特征值問題,并最終將希爾伯特的譜理論推廣到量子力學(xué)中經(jīng)常出現(xiàn)的無界算子情形,從而奠定了這門學(xué)科嚴(yán)格的數(shù)學(xué)基礎(chǔ)。

在20世紀(jì)下半葉,還有多項(xiàng)物理學(xué)的工作需要應(yīng)用抽象的純粹數(shù)學(xué),例如著名的規(guī)范場(chǎng)理論和超弦理論。1954年,楊-米爾斯理論的提出揭示了所謂的規(guī)范不變性可能是自然界中所有四種力(電磁力、引力、強(qiáng)力和弱力)相互作用的共性,這使得早就有的規(guī)范場(chǎng)理論重新引起人們的注意,他們?cè)噲D用這個(gè)理論來統(tǒng)一自然力的相互作用。結(jié)果數(shù)學(xué)家們很快發(fā)現(xiàn),統(tǒng)一場(chǎng)論所需要的數(shù)學(xué)工具——微分幾何纖維叢早就有了,而楊-米爾斯方程實(shí)際上是一組偏微分方程,對(duì)它們的進(jìn)一步研究也推動(dòng)了數(shù)學(xué)的發(fā)展。1963年證明的阿蒂亞-辛格指標(biāo)定理也在楊-米爾斯理論中獲得重要應(yīng)用,成為溝通純粹數(shù)學(xué)和理論物理的又一座橋梁,其研究方法涉及分析學(xué)、拓?fù)鋵W(xué)、代數(shù)幾何、偏微分方程和多復(fù)變函數(shù)等諸多核心數(shù)學(xué)分支,因而常被用來舉證現(xiàn)代數(shù)學(xué)的統(tǒng)一性。

“超弦理論”或“弦理論”興起于上個(gè)世紀(jì)80年代,它把基本粒子看成是一些伸展的一維弦線般無質(zhì)量的實(shí)體(其長(zhǎng)度約為厘米,稱為普朗克長(zhǎng)度),以代替其他理論中所用的在時(shí)空中無尺寸的點(diǎn)。這個(gè)理論以引力理論、量子力學(xué)和粒子相互作用的統(tǒng)一數(shù)學(xué)描述為目標(biāo),正成為數(shù)學(xué)家與物理學(xué)家攜手合作的一個(gè)最活躍的領(lǐng)域,其中所用到的數(shù)學(xué)已涉及微分拓?fù)?、代?shù)幾何、微分幾何、群論、無窮維代數(shù)、復(fù)分析和黎曼曲面上的模理論等??梢韵胂?,與它相聯(lián)系的物理學(xué)家和數(shù)學(xué)家不計(jì)其數(shù)。

生物學(xué)和經(jīng)濟(jì)學(xué)

除了物理學(xué)以外,數(shù)學(xué)還在其他自然科學(xué)和社會(huì)科學(xué)領(lǐng)域發(fā)揮了重要作用。限于篇幅,我們僅以生物數(shù)學(xué)和數(shù)理經(jīng)濟(jì)學(xué)為例。與物理學(xué)相比,生物學(xué)是一門年輕的學(xué)科,在17世紀(jì)顯微鏡發(fā)明以后才真正步入軌道,但它和物理學(xué)是自然科學(xué)最重要的兩個(gè)分支。生物學(xué)研究中數(shù)學(xué)方法的引進(jìn)也相對(duì)遲緩,大約開始于20世紀(jì)初,多才多藝的英國(guó)數(shù)學(xué)家皮爾遜(1857-1936)首先將統(tǒng)計(jì)學(xué)應(yīng)用于遺傳和進(jìn)化問題,并于1901年創(chuàng)辦了《生物測(cè)量》雜志,這是最早的生物數(shù)學(xué)雜志。

1926年,意大利數(shù)學(xué)家沃爾泰拉提出了下列微分方程:

圖片

成功地解釋了地中海中不同魚種周期消長(zhǎng)的現(xiàn)象,其中x表示被食小魚數(shù),y表示食肉大魚數(shù)。這個(gè)方程組也被稱為沃爾泰拉方程,它開啟了用微分方程建立生物模型的先例。

上個(gè)世紀(jì)50年代,在英國(guó)和美國(guó)出現(xiàn)了兩項(xiàng)轟動(dòng)性的成果,即描述神經(jīng)脈沖傳導(dǎo)的數(shù)學(xué)模型霍奇金-赫胥黎方程(此赫胥黎為達(dá)爾文進(jìn)化論支持者赫胥黎之孫、小說家赫胥黎之弟)和視覺系統(tǒng)側(cè)抑制作用的哈特萊因-拉特里夫方程,它們都是復(fù)雜的非線性方程,引起了數(shù)學(xué)家和生物學(xué)家的興趣。有意思的是,前三位因此分別獲得1963年和1967年度諾貝爾生理和醫(yī)學(xué)獎(jiǎng),而拉特里夫只是因?yàn)檫@個(gè)方程和作為哈特萊因的前同事被人們記住。

1953年,即霍奇金-赫胥黎方程誕生的第二年,美國(guó)生物化學(xué)家沃森和英國(guó)物理學(xué)家克里克,發(fā)現(xiàn)了脫氧核糖核酸(DNA)的雙螺旋結(jié)構(gòu),這不僅標(biāo)志著分子生物學(xué)的誕生,也把抽象的拓?fù)鋵W(xué)引入了生物學(xué)。因?yàn)樵陔娮语@微鏡下可以看到,雙螺旋鏈有纏繞和紐結(jié),這樣一來代數(shù)拓?fù)鋵W(xué)在扭結(jié)理論中便有了用武之地,并應(yīng)驗(yàn)了一個(gè)多世紀(jì)前高斯的預(yù)言。1984年,新西蘭出生的美國(guó)數(shù)學(xué)家瓊斯(1952-2020)建立了關(guān)于紐結(jié)的不變量——瓊斯多項(xiàng)式,幫助生物學(xué)家對(duì)DNA結(jié)構(gòu)中觀察到的紐結(jié)進(jìn)行分類,瓊斯本人也獲得了1990年的菲爾茲獎(jiǎng)。

圖片

脫氧核糖核酸(DNA)的雙螺旋結(jié)構(gòu) (圖源:維基百科)

沃森和克里克獲得了1962年度諾貝爾生理和醫(yī)學(xué)獎(jiǎng),但他們發(fā)現(xiàn)的意義還沒有被充分認(rèn)識(shí),這里我想多說幾句。先用物理學(xué)來作參照,它主要探討宏觀的世界(原子內(nèi)部結(jié)構(gòu)的重要性也在于核聚變和裂變的巨大能量),而生物學(xué)則側(cè)重研究微觀的事物(細(xì)胞和基因)。達(dá)爾文的進(jìn)化論和伽利略的自由落體運(yùn)動(dòng)定律一樣,主要表現(xiàn)了生命和物體運(yùn)動(dòng)的外在規(guī)律,而牛頓的萬有引力定律則發(fā)現(xiàn)了物體乃至宇宙運(yùn)動(dòng)的內(nèi)在規(guī)律和原因,與此相對(duì)應(yīng)的生物學(xué)成就正是揭示了生命奧秘的DNA雙螺旋結(jié)構(gòu)。值得一提的是,沃森和克里克是在他們平日和同事們常去的劍橋老鷹酒吧宣布這一里程碑式的發(fā)現(xiàn)。

1979年度諾貝爾生理和醫(yī)學(xué)獎(jiǎng)由兩位非本行專家分享,即南非出生的美國(guó)物理學(xué)家科馬克(1924-1998)和英國(guó)電器工程師豪斯菲爾德(1919-2004)。還在開普頓的一家醫(yī)院放射科兼職時(shí),身為物理學(xué)講師的科克馬就對(duì)人體軟組織和不同密度組織層的X射線成像問題感興趣,到美國(guó)后任教后,他建立起了計(jì)算機(jī)化掃描的數(shù)學(xué)基礎(chǔ),即人體不同組織X射線吸收量的計(jì)算公式。這個(gè)公式建立在積分幾何的基礎(chǔ)之上,解決了計(jì)算機(jī)斷層掃描的理論問題。這項(xiàng)工作促使豪斯菲爾德發(fā)明了第一臺(tái)計(jì)算機(jī)X射線斷層掃描儀即CT掃描儀,并在臨床實(shí)驗(yàn)中獲得成功。

下面我們要談的是數(shù)理經(jīng)濟(jì)學(xué),這門學(xué)科是由匈牙利數(shù)學(xué)家馮·諾伊曼開啟的,他與人合著的《博弈論與經(jīng)濟(jì)行為》(1944)提出競(jìng)爭(zhēng)的數(shù)學(xué)模型并應(yīng)用于經(jīng)濟(jì)問題,成為數(shù)理經(jīng)濟(jì)學(xué)的開端。整整半個(gè)世紀(jì)以后,美國(guó)數(shù)學(xué)納什(1928-2015)和德國(guó)經(jīng)濟(jì)學(xué)家澤爾藤(1930-2016)還因?yàn)椴┺恼摚磳?duì)策論)的成就獲得諾貝爾經(jīng)濟(jì)學(xué)獎(jiǎng),納什患有精神病,是被改編成電影的小說《美麗心靈》的主人公,他建立了以納什解或納什平衡著稱的理論,試圖解釋競(jìng)爭(zhēng)者之間的威脅和行動(dòng)的動(dòng)力學(xué)。而納什因?yàn)榉蔷€性偏微分方程所作的貢獻(xiàn)獲得數(shù)學(xué)界的至高榮譽(yù)——阿貝爾獎(jiǎng),則是在他生命的最后一年。

如果說前蘇聯(lián)數(shù)學(xué)家康托洛維奇(1912-1986)的線形規(guī)劃論和荷蘭出生的美國(guó)經(jīng)濟(jì)學(xué)家?guī)炱账孤?910-2004)的生產(chǎn)函數(shù)所用的數(shù)學(xué)理論還比較簡(jiǎn)單的話(他們因?yàn)樵谫Y源最佳配置理論方面的貢獻(xiàn)獲得1975年度諾貝爾經(jīng)濟(jì)學(xué)獎(jiǎng)),那么法國(guó)出生的美國(guó)經(jīng)濟(jì)學(xué)家德布洛(1921-2004)和另一位美國(guó)經(jīng)濟(jì)學(xué)家阿羅(1921-)所用的凸集和不動(dòng)點(diǎn)理論就較為深刻了,他們建立的均衡價(jià)格理論的后續(xù)研究動(dòng)用了微分拓?fù)洹⒋鷶?shù)拓?fù)?、?dòng)力系統(tǒng)和大范圍分析等抽象的數(shù)學(xué)工具。有意思的是,阿羅和德布洛獲得諾貝爾經(jīng)濟(jì)學(xué)獎(jiǎng)卻相隔了多年(分別是在1972年和1983年)。

上個(gè)世紀(jì)70年代以來,隨著隨機(jī)分析進(jìn)入經(jīng)濟(jì)學(xué)領(lǐng)域,尤其美國(guó)經(jīng)濟(jì)學(xué)家布萊克和加拿大出生的美國(guó)經(jīng)濟(jì)學(xué)家斯科爾斯將期權(quán)的股票定價(jià)問題歸結(jié)為一個(gè)隨機(jī)微分方程的解,并導(dǎo)出與實(shí)際相當(dāng)吻合的期權(quán)定價(jià)公式,即布萊克-斯科爾斯公式。在此以前,投資者無法精確地確定未來期權(quán)的價(jià)值,這個(gè)公式已把風(fēng)險(xiǎn)溢價(jià)作為因素計(jì)入股票的價(jià)格之中,從而降低了投資期權(quán)的復(fù)雜性風(fēng)險(xiǎn)。后來美國(guó)經(jīng)濟(jì)學(xué)家默頓(1944-)消除了許多限制,使得該公式適用于金融交易的其他領(lǐng)域,如住宅抵押。1997年,默頓和斯科爾斯(1941-)分享了諾貝爾經(jīng)濟(jì)學(xué)獎(jiǎng)。

可是,進(jìn)入21世紀(jì)以來,美國(guó)發(fā)生了次貸金融危機(jī),嚴(yán)重影響了世界經(jīng)濟(jì)的發(fā)展。在正常情況下,客戶一般向銀行申請(qǐng)貸款??墒?,一部分客戶由于信用條件差或其他原因,銀行不愿意與他們簽署貸款協(xié)議。于是,就有貸款機(jī)構(gòu)發(fā)放信用要求寬松但利率更高的貸款。次級(jí)貸款蘊(yùn)涵較大的違約風(fēng)險(xiǎn),主要原因在于基于其上的衍生產(chǎn)品。有關(guān)部門不愿意獨(dú)自承擔(dān)風(fēng)險(xiǎn),往往要打包出售給投資銀行,甚至保險(xiǎn)或?qū)_機(jī)構(gòu)。這些衍生品看不見摸不著,其價(jià)格以及打包方式無法通過人為的簡(jiǎn)單判斷而估定,這就需要并助長(zhǎng)了一門新興的數(shù)學(xué)分支——金融數(shù)學(xué)。

圖片

圖源:Pixabay

在衍生產(chǎn)品的定價(jià)過程中,有兩個(gè)非常重要的參數(shù),即折現(xiàn)率和違約概率,前者基于某個(gè)隨機(jī)微分方程,后者是密度的泊松分布。通過這次世界性的金融危機(jī),人們發(fā)現(xiàn)這兩種數(shù)學(xué)手段以及其他估計(jì)和定價(jià)手段還需要更精準(zhǔn)的方法。20世紀(jì)90年代,同年(1947)出生的中國(guó)數(shù)學(xué)家彭實(shí)戈和法國(guó)數(shù)學(xué)家巴赫杜合作創(chuàng)立了倒向隨機(jī)微分方程,現(xiàn)已成為研究金融產(chǎn)品定價(jià)的重要工具。18世紀(jì)初,雅各布·貝努利曾說過:從事物理學(xué)研究而不懂?dāng)?shù)學(xué)的人實(shí)際上處理的是意義不大的東西。到了21世紀(jì),金融業(yè)或銀行業(yè)也出現(xiàn)了這種情況,有著兩百年歷史的美國(guó)花旗銀行宣稱,他們70%的業(yè)務(wù)依賴于數(shù)學(xué),同時(shí)強(qiáng)調(diào),沒有數(shù)學(xué)花旗就不可能生存。

最后,值得一提的是,康托洛維奇的線形規(guī)劃論是運(yùn)籌學(xué)最早成熟的研究?jī)?nèi)容和分支之一。運(yùn)籌學(xué)可以定義為,管理系統(tǒng)的人為了獲得關(guān)于系統(tǒng)運(yùn)行的最優(yōu)解而必須使用的一種科學(xué)方法,主要依賴于數(shù)學(xué)方法和邏輯判斷。與運(yùn)籌學(xué)幾乎同時(shí)脫胎于第二次世界大戰(zhàn)的應(yīng)用數(shù)學(xué)學(xué)科還有控制論和信息論,其創(chuàng)始人分別是美國(guó)數(shù)學(xué)家維納(1894-1964)和香農(nóng)(1916-2001),兩人退休前都在麻省理工學(xué)院任教,且都是公眾人物。維納18歲獲得哈佛大學(xué)博士學(xué)位,出版過兩本自傳《昔日神童》和《我是一個(gè)數(shù)學(xué)家》,香農(nóng)則被譽(yù)為數(shù)字通信時(shí)代的奠基人。

在維納看來,控制論是一門研究機(jī)器、生命社會(huì)中控制和通訊的一般規(guī)律的科學(xué),是研究動(dòng)態(tài)系統(tǒng)在變的環(huán)境條件下如何保持平衡或穩(wěn)定狀態(tài)的科學(xué)。他創(chuàng)造了cybernetics 這個(gè)詞,希臘文里的原意為“操舵術(shù)”,就是掌舵的方法和技術(shù)的意思。在柏拉圖的著作中,常用它來表示管理人的藝術(shù)。而信息(information)論是一門用數(shù)理統(tǒng)計(jì)方法來研究信息的度量、傳遞和變換規(guī)律的科學(xué)。需要注意的是,這里的信息不是傳統(tǒng)的消息,而是一種秩序的等級(jí),或非隨機(jī)性的程度,可以測(cè)量或用數(shù)學(xué)方法處理,就像質(zhì)量、能量或其他物理量一樣。

計(jì)算機(jī)和混沌理論

一般來說,計(jì)算機(jī)是指能接受數(shù)據(jù)、按照程序指令進(jìn)行運(yùn)算并提供運(yùn)算結(jié)果的自動(dòng)電子機(jī)器。計(jì)算機(jī)的歷史上,起重要革新作用的幾何全是數(shù)學(xué)家。直到上個(gè)世紀(jì)70年代末,中國(guó)大學(xué)里的電子計(jì)算機(jī)專業(yè)還大多設(shè)在數(shù)學(xué)系,就像康德時(shí)代數(shù)學(xué)仍隸屬于哲學(xué)系一樣??墒侨缃瘢鄶?shù)大學(xué)都有了一兩個(gè)計(jì)算機(jī)學(xué)院。用機(jī)器來代替人工計(jì)算,一直是人類的夢(mèng)想?;蛟S最早使用算盤的并非中國(guó)人,但長(zhǎng)期以來使用最廣泛的首推中國(guó)的算盤。在明代(1371)出版的一本書里,就有十檔算盤的插圖,但實(shí)際發(fā)明遠(yuǎn)在此以前。數(shù)學(xué)家程大位(1533-1606)的《算法統(tǒng)宗》(1592)詳述了珠算的制度和方法,標(biāo)志著珠算的成熟,這本書也流傳到朝鮮和日本,使得算盤在這兩個(gè)國(guó)家十分盛行。

第一個(gè)提出機(jī)械式計(jì)算機(jī)設(shè)計(jì)思想的是德國(guó)人席卡德(1592-1635),他在與開普勒通信時(shí)闡述了這一想法。第一臺(tái)能進(jìn)行加減計(jì)算的機(jī)械計(jì)算機(jī)是由帕斯卡爾發(fā)明(1642),30年后萊布尼茨制造出了一臺(tái)能進(jìn)行乘除和開方運(yùn)算的計(jì)算機(jī)。使四則運(yùn)算機(jī)能帶程序控制的功能,是向現(xiàn)代計(jì)算機(jī)過渡的關(guān)鍵一步,由英國(guó)數(shù)學(xué)家巴比奇(1792-1871)首先邁出,在數(shù)論里有一個(gè)與二項(xiàng)式系數(shù)有關(guān)的同余式用他的名字命名。巴比奇設(shè)計(jì)的“分析機(jī)”(1834)分為加工部和儲(chǔ)存部,外加一個(gè)專門控制運(yùn)算程序的機(jī)構(gòu),他曾設(shè)想根據(jù)穿孔卡片上的指令進(jìn)行各種算術(shù)運(yùn)算的可能性,這無疑是現(xiàn)代電子計(jì)算機(jī)的雛形。

遺憾的是,即便巴比奇付出后半生主要精力和財(cái)產(chǎn),甚至失去劍橋大學(xué)的盧卡斯教授職位,也沒幾個(gè)人能理解他的思想。據(jù)說真正支持他的人只有三個(gè):他的兒子——巴比奇少將(在父親身后還為分析機(jī)奮斗了許多年)、未來的意大利總理和詩人拜倫(1788-1824)的女兒阿達(dá)。阿達(dá)(1815-1852)是拜倫和妻子的獨(dú)生女,她為某些函數(shù)編制了計(jì)算程序,可謂開現(xiàn)代程序設(shè)計(jì)的先河。由于時(shí)代的局限性,巴比奇分析機(jī)的設(shè)計(jì)方案在技術(shù)實(shí)施上遇到了巨大的障礙,他借助通用程序控制數(shù)字計(jì)算機(jī)的天才設(shè)想,還需要過一個(gè)多世紀(jì)才能實(shí)現(xiàn)。

進(jìn)入20世紀(jì)以來,科學(xué)技術(shù)的迅猛發(fā)展,帶來了堆積如山的數(shù)據(jù)問題,尤其是在二戰(zhàn)期間,軍事上的計(jì)算需要,更使計(jì)算速度的改進(jìn)成為燃眉之急。起初,人們采用電器原件來代替機(jī)械齒輪,1944年,美國(guó)哈佛大學(xué)的數(shù)學(xué)家艾肯(1900-1973)在IMB公司的支持下設(shè)計(jì)制造出了世界上第一臺(tái)能實(shí)際操作的通用程序計(jì)算機(jī)(占地170平方米),那次他只是部分采用了繼電器,不久他制成了一臺(tái)全部用繼電器的計(jì)算機(jī)。與此同時(shí),在賓夕法尼亞大學(xué),人們用電子管來代替繼電器,第二年便造出了第一臺(tái)通用程序控制電子計(jì)算機(jī)(ENIAC),效率快了1000倍。

圖片

ENIAC一個(gè)部分的背面細(xì)節(jié) (圖源:Pixabay)

1947年,數(shù)學(xué)家馮·諾伊曼(1903-1957)設(shè)計(jì)了把ENIAC中使用的外部程序改為存貯程序概念的想法,按照這種想法制成的計(jì)算機(jī)能按存貯的指令進(jìn)行操作,改變這種指令就可以修改自身的程序。在此之前一年,他與人合作發(fā)表論文,提出了并行處理和存貯程序計(jì)算機(jī)的綜合設(shè)計(jì),對(duì)后來的數(shù)字計(jì)算機(jī)設(shè)計(jì)產(chǎn)生了深遠(yuǎn)影響。馮·諾伊曼出生在布達(dá)佩斯,屬于多才多藝的那一類學(xué)者,在數(shù)學(xué)、物理學(xué)、經(jīng)濟(jì)學(xué)、氣象學(xué)、爆炸理論和計(jì)算機(jī)領(lǐng)域都取得了卓越的成就。據(jù)說他是在火車站候車時(shí)遇見ENIAC的設(shè)計(jì)師,后者向他討教計(jì)算機(jī)的技術(shù)問題,才引起了他的興趣。

另一位對(duì)計(jì)算機(jī)設(shè)計(jì)理念有杰出貢獻(xiàn)的是英國(guó)數(shù)學(xué)家圖靈(1912-1954),他為了解決數(shù)理邏輯中的基本理論問題——相容性以及數(shù)學(xué)問題機(jī)械可解性或可計(jì)算性的判別,而提出了他的理想計(jì)算機(jī)理論。直到今天,數(shù)字計(jì)算機(jī)都沒有跳出這個(gè)理想的模型:輸入/ 輸出裝置(帶子和讀寫頭)、存儲(chǔ)器和中央處理器(控制機(jī)構(gòu))。

圖靈還研究過可以造出能思維的計(jì)算機(jī)的理論,這方面的構(gòu)想已成為人工智能研究的基礎(chǔ)。他還提出了會(huì)思考的機(jī)器的標(biāo)準(zhǔn),即有超過30%的測(cè)試者不能確定被測(cè)試者是人還是機(jī)器,被稱為“圖靈測(cè)試”。遺憾的是,圖靈后來因?yàn)椴豢叭淌軐?duì)其性取向的強(qiáng)迫治療,食用了氰化物溶液浸泡過的蘋果而自殺。為了紀(jì)念圖靈,1966年,英特爾公司出資設(shè)立了“圖靈獎(jiǎng)”,這是計(jì)算機(jī)領(lǐng)域的最高獎(jiǎng)項(xiàng)。1976年創(chuàng)建的蘋果電腦公司則以一只咬了一口的蘋果作為徽標(biāo),這家以推出iPhone手機(jī)和iPad平板電腦風(fēng)靡全球的公司的信念是,只有不完美才促使進(jìn)步追求完美。2019年,圖靈頭像出現(xiàn)在50英鎊紙幣上。

圖片
圖靈銅像,作者攝于曼徹斯特

值得一提的是,圖靈受他在劍橋讀書時(shí)的老師、劍橋數(shù)學(xué)學(xué)派的創(chuàng)立者哈代(G. H, Hardy,1877-1947)的影響,也癡迷于黎曼猜想。與哈代證明實(shí)部為二分之一的直線上存在無窮多個(gè)非平凡零點(diǎn)的結(jié)果相反,圖靈一直致力于尋找反例,即在這條直線以外的非平凡零點(diǎn),可惜沒有成功。否則的話,即便圖靈因?yàn)橥詰偈艿椒N種非難,相信他也會(huì)有勇氣活下去。

雖然數(shù)字計(jì)算機(jī)已歷經(jīng)四代,從電子管、晶體管到集成電路、超大規(guī)模集成電路,均是采用二進(jìn)制開關(guān)。這一點(diǎn)不會(huì)改變,即使將來有一天,電子計(jì)算機(jī)被取代(比如量子計(jì)算機(jī))。這自然與19世紀(jì)英國(guó)數(shù)學(xué)家布爾所創(chuàng)立的布爾代數(shù)的符號(hào)邏輯體系分不開,他完成了兩個(gè)世紀(jì)前萊布尼茨未競(jìng)的事業(yè),即創(chuàng)立了一套表意符號(hào),每一個(gè)符號(hào)代表一個(gè)簡(jiǎn)單的概念,再通過符號(hào)的組合來表達(dá)復(fù)雜的思想。布爾出身貧寒,父親是個(gè)補(bǔ)鞋匠,他主要通過自學(xué)成材,后來做上愛爾蘭科克女王學(xué)院的數(shù)學(xué)教授,并入選英國(guó)皇家學(xué)會(huì)。不幸的是,布爾49歲那年因淋雨患肺炎去世。當(dāng)年早些時(shí)候,他的小女兒出世,她便是小說《牛虻》的作者伏尼契(1864-1960)。

作為抽象數(shù)學(xué)應(yīng)用的一個(gè)光輝典范,計(jì)算機(jī)也已成為數(shù)學(xué)研究本身的有力工具和問題源泉,并導(dǎo)致了一門新的數(shù)學(xué)門類——計(jì)算數(shù)學(xué)的誕生。它不僅設(shè)計(jì)、改進(jìn)各種數(shù)值計(jì)算方法,同時(shí)還研究與這些計(jì)算有關(guān)的誤差分析、收斂性和穩(wěn)定性等問題。馮·諾伊曼也是這門學(xué)科的奠基人,不僅與人合作創(chuàng)立了全新的數(shù)值計(jì)算法——蒙托卡諾方法,還領(lǐng)導(dǎo)一個(gè)小組利用ENIAC首次實(shí)現(xiàn)了數(shù)值天氣預(yù)報(bào),后者的中心問題是求解有關(guān)的流體力學(xué)方程。值得一提的是,20世紀(jì)60年代,中國(guó)數(shù)學(xué)家馮康(1920-1993)獨(dú)立于西方創(chuàng)建了一種數(shù)值分析方法——有限元法,可用于有關(guān)航空、電磁場(chǎng)和橋梁設(shè)計(jì)等在內(nèi)的工程計(jì)算。

1976年秋天,伊利諾伊大學(xué)的兩位數(shù)學(xué)家阿佩爾(1932-)和哈肯(1928-)借助于電子計(jì)算機(jī),證明了已有一百多年歷史的地圖四色定理,這是利用計(jì)算機(jī)解決重大數(shù)學(xué)問題的最鼓舞人心的范例。說起地圖四色定理,這是難得由英國(guó)人提出的著名猜想,1852年,剛剛在倫敦大學(xué)獲得雙學(xué)士學(xué)位的古德里(1831-1899)來到一家科研單位做地圖著色工作,發(fā)現(xiàn)可以用四種顏色即可填滿地圖并使得任何兩個(gè)鄰國(guó)擁有不同顏色。但是,不僅他和仍然在讀的弟弟無法證明,連他的老師德·摩爾根和哈密爾頓也無能為力,于是,凱利在研究一番后在倫敦?cái)?shù)學(xué)學(xué)會(huì)作了一個(gè)報(bào)告,才使得這個(gè)問題出了名。

從那以后,數(shù)學(xué)家們更多地借助計(jì)算機(jī)研究純粹數(shù)學(xué),這方面突出的例子是孤立子(soliton)和混沌(chaos)的發(fā)現(xiàn),它們是非線性科學(xué)的核心問題,可謂是兩朵美麗的“數(shù)學(xué)物理之花”。孤立子的歷史比四色定理出現(xiàn)得還早,1834年,英國(guó)工程師拉塞爾(1808-1882)在馬背上跟蹤觀察運(yùn)河中船只突然停止激起的水波,發(fā)現(xiàn)它們?cè)谛羞M(jìn)中形狀和速度沒有明顯的改變,稱之為“孤立波”。一個(gè)多世紀(jì)以后,數(shù)學(xué)家們又發(fā)現(xiàn),兩個(gè)孤立波碰撞后仍是孤立波,因此被稱為“孤立子”。孤立子在光纖通信、木星紅斑活動(dòng)、神經(jīng)脈沖傳導(dǎo)等領(lǐng)域大量存在,而混沌理論則是描述自然界不規(guī)則現(xiàn)象的有力工具,被認(rèn)為是繼相對(duì)論和量子力學(xué)以后,現(xiàn)代物理學(xué)的又一次革命。

計(jì)算機(jī)科學(xué)的飛速發(fā)展,不僅離不開數(shù)理邏輯,也促成了與之相關(guān)的其他數(shù)學(xué)分支的變革或產(chǎn)生,前者的一個(gè)例子是組合學(xué),后者的一個(gè)典型是模糊數(shù)學(xué)。組合學(xué)的起源可以追溯到中國(guó)古代傳說中的洛書圖,萊布尼茨在《論組合的藝術(shù)》中率先提出了“組合”這個(gè)名詞,后來數(shù)學(xué)家從游戲中歸納出一些新問題,如哥尼斯堡7橋(滋生出圖論這一組合數(shù)學(xué)主要分支)、36名軍官、柯克曼女生和哈密爾頓環(huán)球旅行等問題。20世紀(jì)下半葉以來,在計(jì)算機(jī)系統(tǒng)設(shè)計(jì)和信息存儲(chǔ)、恢復(fù)中遇到的問題,則為組合學(xué)研究注人了全新的強(qiáng)大的動(dòng)力。

相比組合學(xué)的古老,1965年誕生的模糊(fuzzy)數(shù)學(xué)可以說是新生的。按照經(jīng)典集合的概念,每一個(gè)集合必須由確定的元素構(gòu)成,元素對(duì)于集合的隸屬關(guān)系是明確的,這一性質(zhì)可以用特征函數(shù)圖片來表示,

圖片

模糊數(shù)學(xué)的創(chuàng)始人是阿塞拜疆出生的伊朗裔美國(guó)數(shù)學(xué)家、電器工程師扎德(1921-2017),他把特征函數(shù)改成下列所謂的隸屬函數(shù)圖片: 0≤圖片≤1,這里A被稱為模糊集合,圖片為隸屬度。經(jīng)典集合論要求圖片取0或1兩值,模糊集合則突破了這一限制,圖片= 1表示100% 隸屬于A,圖片= 0表示不屬于A,還可以有20% 隸屬于A,80% 隸屬于A,等等。由于人腦的思維包括有精確的和模糊的兩個(gè)方面,因此模糊數(shù)學(xué)在人工智能模擬過程中起到了重要作用,它與新型的計(jì)算機(jī)設(shè)計(jì)密切相關(guān)。但是,作為一門數(shù)學(xué)分支,模糊數(shù)學(xué)尚未成熟。

現(xiàn)在,我們來談?wù)動(dòng)?jì)算機(jī)科學(xué)的一個(gè)分支——人工智能(Artificial intelligence,縮寫AI)。人工智能的概念最初是在1956年,由美國(guó)新英格蘭的達(dá)特茅斯學(xué)會(huì)提出來的。它的主要目標(biāo)是使機(jī)器能夠勝任一些通常需要人類智能才能完成的復(fù)雜工作,包括機(jī)器人、語言和圖像的識(shí)別及處理,等等,涉及機(jī)器學(xué)習(xí)、計(jì)算機(jī)視覺等領(lǐng)域。其中機(jī)器學(xué)習(xí)的數(shù)學(xué)基礎(chǔ)有統(tǒng)計(jì)學(xué)、信息論和控制論,計(jì)算機(jī)視覺的數(shù)學(xué)工具有攝影幾何學(xué)、矩陣與張量和模型估計(jì)。20世紀(jì)70年代以來,人工智能與空間技術(shù)、能源技術(shù)同被視作三大尖端技術(shù)。過去半個(gè)世紀(jì)里,人工智能獲得飛速發(fā)展,在很多領(lǐng)域獲得廣泛應(yīng)用,成果卓著,如今它又與基因工程、納米科學(xué)同被視作21世紀(jì)三大尖端技術(shù)。

人工智能并非人類的智能,但能像人類那樣思考,也有可能超過人類的智能。1997年,美國(guó)IBM公司研制的深藍(lán)(Deep blue)戰(zhàn)勝了阿塞拜疆出生的俄羅斯國(guó)際象棋大師卡斯帕洛夫(Kasparov,1963-)。2016年和2017年,英國(guó)谷歌旗下深思公司(Deep mind)研制的阿爾法狗(Alphago)又擊敗了兩位圍棋世界冠軍——韓國(guó)的李世石(1983-)和中國(guó)的柯潔(1997-)。這方面的進(jìn)步得益于云計(jì)算、大數(shù)據(jù)、神經(jīng)網(wǎng)絡(luò)技術(shù)的發(fā)展和摩爾定律。目前,人工智能在邏輯推理方面可以說已超越人類,但是在認(rèn)知情感、決策等領(lǐng)域能做的事情仍十分有限。專家認(rèn)為,人工智能所面臨的更多是數(shù)學(xué)問題,還沒有像克隆技術(shù)那樣已到需要進(jìn)行倫理討論的階段。

圖片

2017年,柯潔激戰(zhàn)“阿爾法狗”,圖源維基

說說云計(jì)算(cloud computing)和大數(shù)據(jù)(big data)。云是互聯(lián)網(wǎng)的一種比喻說法,云計(jì)算就是通過大量云端的服務(wù)器進(jìn)行計(jì)算。用戶通過電腦發(fā)送指令給服務(wù)商,后者通過“核爆炸”式的計(jì)算,把結(jié)果返回給用戶。隨著云時(shí)代的到來,大數(shù)據(jù)也越來越引人矚目。迅速膨脹的數(shù)據(jù)及其分析代替?zhèn)鹘y(tǒng)的經(jīng)驗(yàn)和直覺,影響著商業(yè)、經(jīng)濟(jì)及其他領(lǐng)域的決策。2013年,奧地利人舍恩伯格(1966-)和《經(jīng)濟(jì)學(xué)人》編輯庫克耶出版了《大數(shù)據(jù)時(shí)代》,這是大數(shù)據(jù)研究的開先河之作,作者前瞻性地指出,大數(shù)據(jù)帶來的信息風(fēng)暴正在改變我們的生活、工作和思維。舍恩伯格認(rèn)為大數(shù)據(jù)的核心就是預(yù)測(cè),它帶來三個(gè)顛覆性的觀念轉(zhuǎn)變:是全部數(shù)據(jù),而非隨機(jī)采樣;是大體方向,而非精確制導(dǎo);是相關(guān)關(guān)系,而非因果關(guān)系。后者等于說,只需知道“是什么”,而不必知道“為什么”。在這個(gè)意義上,大數(shù)據(jù)回歸了中國(guó)人的傳統(tǒng)思維模式。

2022年出問世的ChatGPT 是由美國(guó)OpenAI 公司研發(fā)的一款聊天機(jī)器人程序。它是人工智能的新技術(shù),能基于在預(yù)訓(xùn)練階段所見的模式和統(tǒng)計(jì)規(guī)律生成回答,還能根據(jù)聊天的上下文互動(dòng),與人類聊天交流,甚至能撰寫郵件、腳本、文案、代碼、論文、翻譯等。這是一種復(fù)雜而精密的深度學(xué)習(xí)模型,利用轉(zhuǎn)換器架構(gòu)、損失函數(shù)和優(yōu)化算法,以自然語言生成類似人類的響應(yīng)。而在轉(zhuǎn)換器架構(gòu)中,輸入序列中的每個(gè)單詞都由一個(gè)嵌入向量表示,該向量被饋送到多個(gè)自我注意層中。自我注意機(jī)制允許模型關(guān)注并輸入序列中的相關(guān)單詞,然后為每個(gè)單詞生成上下文感知表示。

一方面,計(jì)算機(jī)的每一次飛躍,都離不開數(shù)學(xué)家們的工作。另一方面,計(jì)算機(jī)的進(jìn)步也推動(dòng)了數(shù)學(xué)研究工作。最后,我們來介紹幾何學(xué)和計(jì)算機(jī)的一個(gè)奇妙結(jié)合。20世紀(jì)幾何學(xué)的兩次飛躍分別是從有限維到無限維(前半世紀(jì))和從整數(shù)維到分?jǐn)?shù)維(后半世紀(jì)),后者被稱為分形幾何學(xué),它是新興的科學(xué)分支——混沌理論的數(shù)學(xué)基礎(chǔ)。擁有法國(guó)和美國(guó)雙重國(guó)籍、波蘭出生的立陶宛裔數(shù)學(xué)家曼德勃羅(1924-2010)通過自相似性建立起這門全新的幾何學(xué),這是有關(guān)斑痕、麻點(diǎn)、破碎、扭曲、纏繞、糾結(jié)的幾何學(xué),它的維數(shù)居然可以不是整數(shù)。

1967年,曼德波羅發(fā)表了《英國(guó)的海岸線到底有多長(zhǎng)?》的文章。在查閱了西班牙和葡萄牙、比利時(shí)和荷蘭的百科全書后,人們發(fā)現(xiàn)這些國(guó)家對(duì)于它們共同邊界的估計(jì)相差百分之二十。事實(shí)上,無論是海岸線還是國(guó)境線,長(zhǎng)度依賴于用來測(cè)量的尺度的大小。一位試圖從人造衛(wèi)星上估計(jì)海岸線長(zhǎng)度的觀察者,比海灣和海灘上的踏勘者,將得出較小的數(shù)值。而后者比起爬過每一粒卵石的蝸牛來,又會(huì)得出較小的結(jié)果。

常識(shí)告訴我們,雖然這些估值一個(gè)比一個(gè)大,可是它們會(huì)趨近某個(gè)特定的值,即海岸線的真正長(zhǎng)度。但曼德勃羅卻證明了,任何海岸線在一定意義上都是無限長(zhǎng)的,因?yàn)楹澈桶雿u顯露出越來越小的子海灣和子半島。這就是所謂的自相似性,它是一種特殊的跨越不同尺度的對(duì)稱性,它意味著遞歸,圖案之中套著圖案。這個(gè)概念在西方文化中顯得古色古香,早在17世紀(jì),萊布尼茲就設(shè)想過一滴水中包含著整個(gè)多彩的宇宙;稍后,英國(guó)詩人兼畫家布萊克(1757-1827)在詩中寫道:
一顆砂里看出一個(gè)世界
  一朵野花里有一個(gè)天堂。

曼德勃羅考慮了一個(gè)簡(jiǎn)單的函數(shù)圖片,這里x是復(fù)變量,c是復(fù)參數(shù)。從某個(gè)初始值圖片開始令圖片,產(chǎn)生了點(diǎn)集 。1980年,曼德勃羅發(fā)現(xiàn),對(duì)于有些參數(shù)值c,迭代會(huì)在復(fù)平面的某幾點(diǎn)之間循環(huán)反復(fù);而對(duì)于另外一些參數(shù)值c,迭代結(jié)果將毫無規(guī)則可言。前一種參數(shù)值c叫吸引子,后一種現(xiàn)象就叫混沌,所有吸引子的復(fù)平面子集如今被命名為曼德勃羅集。

由于復(fù)數(shù)迭代過程即便對(duì)于較為簡(jiǎn)單的方程(動(dòng)力系統(tǒng))都需要巨量的計(jì)算,因此分形幾何學(xué)和混沌理論的研究只有借助高速計(jì)算機(jī)才能進(jìn)行,結(jié)果也產(chǎn)生了許多精美奇妙的分形圖案,不僅被用來做書籍插圖,甚至被出版商拿去制作掛歷。而在實(shí)際應(yīng)用中,分形幾何學(xué)和混沌理論在描述和探索許許多多的不規(guī)則現(xiàn)象(如海岸線形狀、大氣運(yùn)動(dòng)、海洋湍流、野生生物群,乃至股票、基金的漲落,等等)中,均起到十分重要的作用。

就美學(xué)價(jià)值而言,新的幾何學(xué)把硬科學(xué)也調(diào)諧到那種特別的現(xiàn)代感,即追求野性的、未開化、未馴養(yǎng)的天然情趣,這與20世紀(jì)70年代以來后現(xiàn)代主義藝術(shù)家所致力的目標(biāo)不謀而合。在曼德勃羅看來,令人滿足的藝術(shù)沒有特定的尺度,或者說它包含了一切尺寸的要素。作為方塊摩天大樓的對(duì)立面,他指出,巴黎的藝術(shù)宮殿,它的群雕和怪獸,突角和側(cè)柱,布滿旋渦花紋的拱壁和配有檐溝齒飾的飛檐,觀察者從任何距離望去都能看到某種賞心悅目的細(xì)節(jié)。當(dāng)你走近時(shí),它的構(gòu)造出現(xiàn)變化,展現(xiàn)出新的結(jié)構(gòu)元素。

圖片


圖片

END

    本站是提供個(gè)人知識(shí)管理的網(wǎng)絡(luò)存儲(chǔ)空間,所有內(nèi)容均由用戶發(fā)布,不代表本站觀點(diǎn)。請(qǐng)注意甄別內(nèi)容中的聯(lián)系方式、誘導(dǎo)購買等信息,謹(jǐn)防詐騙。如發(fā)現(xiàn)有害或侵權(quán)內(nèi)容,請(qǐng)點(diǎn)擊一鍵舉報(bào)。
    轉(zhuǎn)藏 分享 獻(xiàn)花(0

    0條評(píng)論

    發(fā)表

    請(qǐng)遵守用戶 評(píng)論公約

    類似文章 更多

    草草夜色精品国产噜噜竹菊| 麻豆在线观看一区二区| 国产欧美亚洲精品自拍| 日本三区不卡高清更新二区| 中文字幕一区二区三区大片| 中文字幕中文字幕一区二区| 精品亚洲av一区二区三区| 福利新区一区二区人口| 少妇被粗大进猛进出处故事| 黄片免费播放一区二区| 欧美人妻少妇精品久久性色| 精品日韩av一区二区三区| 手机在线不卡国产视频| 中文字幕av诱惑一区二区| 亚洲国产精品久久综合网| 国产成人av在线免播放观看av| 久久亚洲精品成人国产| 精品伊人久久大香线蕉综合| 黄片美女在线免费观看| 日韩视频在线观看成人| 日韩精品人妻少妇一区二区| 深夜视频在线观看免费你懂| 国产精品午夜小视频观看| 儿媳妇的诱惑中文字幕| 欧美日韩中国性生活视频| 视频一区中文字幕日韩| 久久国产精品熟女一区二区三区 | 久七久精品视频黄色的| 二区久久久国产av色| 91亚洲国产—区=区a| 欧美日韩一区二区综合| 亚洲精品蜜桃在线观看| 免费在线成人午夜视频| 婷婷伊人综合中文字幕| 国产丝袜极品黑色高跟鞋| 日韩在线精品视频观看| 亚洲男人的天堂就去爱| 国产精品内射视频免费| 国产视频福利一区二区| 丰满少妇被粗大猛烈进出视频| 精品伊人久久大香线蕉综合 |