清華新聞網(wǎng)10月8日電 為紀(jì)念國(guó)際著名的邏輯學(xué)家、哲學(xué)家、數(shù)學(xué)家以及計(jì)算機(jī)科學(xué)家王浩先生，9月26日至28日，清華大學(xué)-阿姆斯特丹大學(xué)邏輯學(xué)聯(lián)合研究中心與丘成桐數(shù)學(xué)科學(xué)中心、交叉信息研究院、哲學(xué)系在清華大學(xué)圖書(shū)館報(bào)告廳共同主辦了第一屆王浩學(xué)術(shù)講座暨學(xué)術(shù)研討會(huì)。清華大學(xué)副校長(zhǎng)彭剛出席開(kāi)幕式并發(fā)表致辭。
彭剛致辭
彭剛歡迎國(guó)內(nèi)外各位嘉賓的光臨，并祝賀王浩系列講座正式啟動(dòng)。彭剛回憶了導(dǎo)師何兆武先生與王浩先生在西南聯(lián)大時(shí)期的往事和友誼，希望這一系列講座能夠持續(xù)舉辦，成為學(xué)科交叉和中外學(xué)者交流的重要平臺(tái)。
姚期智致辭
中國(guó)科學(xué)院院士、清華大學(xué)交叉信息研究院院長(zhǎng)姚期智介紹了王浩在計(jì)算機(jī)科學(xué)領(lǐng)域所作出的基礎(chǔ)性貢獻(xiàn)，并強(qiáng)調(diào)了王浩在科研中始終以科學(xué)問(wèn)題為主導(dǎo)，超越了學(xué)科領(lǐng)域的局限，這一科研精神值得每個(gè)人學(xué)習(xí)。
丘成桐致辭
著名數(shù)學(xué)家、菲爾茨獎(jiǎng)獲得者、清華大學(xué)丘成桐數(shù)學(xué)科學(xué)中心主任丘成桐介紹了王浩的鋪磚理論的獨(dú)特貢獻(xiàn)，回顧了哥德?tīng)柵c王浩的往事，并強(qiáng)調(diào)了邏輯作為基礎(chǔ)學(xué)科的重要性。
倪玉平致辭
清華大學(xué)人文學(xué)院副院長(zhǎng)倪玉平回顧了清華邏輯的發(fā)展歷史，并希望邏輯傳統(tǒng)能夠繼續(xù)傳承發(fā)揚(yáng)光大。
唐文明致辭
清華大學(xué)哲學(xué)系主任唐文明對(duì)到場(chǎng)中外專(zhuān)家學(xué)者表示歡迎，并預(yù)祝會(huì)議圓滿(mǎn)成功。
開(kāi)幕式由邏輯學(xué)研究中心主任劉奮榮主持。
丘成桐為武丁頒發(fā)講座證書(shū)
第一場(chǎng)王浩學(xué)術(shù)講座在開(kāi)幕式之后展開(kāi)，由丘成桐擔(dān)任主持。數(shù)學(xué)家、哲學(xué)家、美國(guó)哈佛大學(xué)教授武?。℉ugh Woodin）發(fā)表了題為“是否存在超越數(shù)學(xué)證明的數(shù)學(xué)真理？”（Is there mathematical truth beyond the reach of mathematicalproof?）的演講。
27日下午，第一場(chǎng)學(xué)術(shù)研討會(huì)舉行，主題為數(shù)理邏輯與數(shù)學(xué)哲學(xué)。武丁、南開(kāi)大學(xué)講席教授高速、中科院數(shù)學(xué)與系統(tǒng)科學(xué)研究所副研究員吳劉臻、北京大學(xué)邏輯學(xué)教研室主任邢滔滔分別作題為“V =終極-L和Goldberg的超冪公理”（The axiom V =Ultimate-L and Goldberg'sultrapoweraxiom）、“從計(jì)算復(fù)雜性到數(shù)學(xué)分類(lèi)”（From computational complexity to classifications inmathematics）、“從笛卡爾平方到冪集的滿(mǎn)射”（A surjection from Cartesian square onto powerset）、“王浩先生的直謂主義理論”（HaoWang onPredicativism）的報(bào)告。
隨后的第二場(chǎng)王浩學(xué)術(shù)講座由姚期智主持。計(jì)算機(jī)科學(xué)家、美國(guó)萊斯大學(xué)教授瓦迪（Moshe Vardi）發(fā)表了題為“數(shù)學(xué)與計(jì)算，孰先？”（What came first, math or computing?）的演講。
姚期智為瓦迪頒發(fā)講座證書(shū)
第二場(chǎng)學(xué)術(shù)研討會(huì)于28日下午舉行，主題為計(jì)算邏輯。瓦迪、丹麥科技大學(xué)教授托馬斯·博蘭德（Thomas Bolander）、上海交通大學(xué)教授陳翌佳、印度數(shù)學(xué)研究所教授拉馬努賈姆（R Ramanujam）分別作題為“機(jī)器學(xué)習(xí)與邏輯：快思考與慢思考”（Machine learning and logic: fast and slow thinking）、“認(rèn)知規(guī)劃：邏輯形式化、計(jì)算復(fù)雜性和機(jī)器人實(shí)現(xiàn)”（Epistemic planning: logical formalism, computational complexity, and robotic implementations）、“一階邏輯、AC^0電路和有界灌木深度的圖”（First-order logic, AC^0-circuits, and graph of bounded shrub-depth）、“證明大小和安全驗(yàn)證的界限”（Bounds on proof size and security verification）的報(bào)告。
現(xiàn)場(chǎng)合影
此次活動(dòng)吸引了來(lái)自清華大學(xué)、北京大學(xué)、南開(kāi)大學(xué)、上海交通大學(xué)、中國(guó)科學(xué)院和哈佛大學(xué)、萊斯大學(xué)、丹麥科技大學(xué)、印度數(shù)學(xué)研究所等高校和研究機(jī)構(gòu)的90余名學(xué)者和學(xué)生參加。
王浩先生簡(jiǎn)介
王浩1921年生于山東省。1939年，以第一名的成績(jī)考入西南聯(lián)大數(shù)學(xué)系。1943年，考入了清華大學(xué)文科研究所哲學(xué)部，師從金岳霖、沈有鼎和王憲均等先生。1946年，被清華大學(xué)數(shù)學(xué)系和哲學(xué)系同時(shí)推薦公費(fèi)留學(xué)美國(guó)，進(jìn)入哈佛大學(xué)哲學(xué)系，師從現(xiàn)代分析哲學(xué)權(quán)威蒯因，僅用兩年時(shí)間獲得博士學(xué)位。同年，他成為哈佛大學(xué)的“青年研究員”（JuniorFellow），成為第一位獲此職位的中國(guó)人。1953年，王浩開(kāi)始在牛津大學(xué)執(zhí)教，并于1954年成為第二屆約翰·洛克講座人。1956年，他在牛津升任Reader。1961年，他回到哈佛大學(xué)，該校特設(shè)“計(jì)算理論”講席職位，即戈登·麥凱（Gordon McKay）數(shù)理邏輯與應(yīng)用數(shù)學(xué)講席教授。1967年，王浩轉(zhuǎn)任洛克菲勒大學(xué)數(shù)學(xué)系教授，主持該校的邏輯研究室，為美國(guó)大學(xué)培養(yǎng)了許多現(xiàn)今依然活躍的著名哲學(xué)家和邏輯學(xué)家。除了數(shù)理邏輯的學(xué)術(shù)研究，他還參與了計(jì)算機(jī)科學(xué)的興起和發(fā)展。他曾兼任巴勒斯公司的研究工程師（1953—1954）、貝爾電話(huà)實(shí)驗(yàn)室技術(shù)專(zhuān)家（1959—1960）、IBM研究中心客座科學(xué)家（1973—1974）等一系列職務(wù)。1983年，國(guó)際人工智能聯(lián)合會(huì)授予他第一屆“數(shù)學(xué)定理機(jī)械證明里程碑獎(jiǎng)”（Milestone Award），以表彰他在數(shù)學(xué)定理機(jī)械證明研究領(lǐng)域的開(kāi)創(chuàng)性貢獻(xiàn)。此外，王浩先生還是美國(guó)藝術(shù)與科學(xué)學(xué)院院士、英國(guó)科學(xué)院外籍院士以及符號(hào)邏輯學(xué)協(xié)會(huì)會(huì)士。
供稿：人文學(xué)院
編輯：李華山
審核：劉蔚如 郭玲
