注：本平臺為第三方資訊平臺，不是院校官方，網(wǎng)站內(nèi)所有信息只做參考，并不代表院校官方，招生信息以官方最新信息為準(zhǔn)，如果不知怎么找官方，可以咨詢在線客服尋求幫助。

　　12月2日張羿教授講座綜述

　　12月2日下午，來自中山大學(xué)的張羿教授帶來了一場題為《20世紀(jì)幾個(gè)重要的邏輯學(xué)定理》的精彩講座，此次講座除了得到本校本系師生的熱烈歡迎和積極參與外，首都師范大學(xué)，中國人民大學(xué)，北京師范大學(xué)，清華大學(xué)等全國重點(diǎn)高校的老師和同學(xué)們也紛紛趕來參加此次講座，并與張羿教授積極互動。

　　張羿教授首先回顧多年前求學(xué)于本系的讀書時(shí)代并向葉峰教授致以了誠摯的謝意，接著開始了進(jìn)入此次講座的主題：張羿教授首先以皮亞諾算術(shù)作為引入，接著簡述了哥德爾不完全性定理的內(nèi)容，隨之提出數(shù)學(xué)家研究的定理是一類形如“if____then____“的定理，從而給予了兩個(gè)分類：(1)有較高難度但數(shù)學(xué)角度而言價(jià)值一般的定理，如連續(xù)統(tǒng)假設(shè)(2)從建立數(shù)學(xué)理論過程中產(chǎn)生的各種問題出發(fā)，發(fā)展理論的過程中的定理。哥德爾定理無法歸入(1)或者(2)。從哲學(xué)家角度而言哥德爾不完全性定理雖然有重要價(jià)值，但從數(shù)學(xué)角度而言定理本身良好，但僅此而已。接著，張羿教授詳細(xì)簡述了關(guān)于20世紀(jì)幾個(gè)重要邏輯學(xué)定理的歷史淵源，如1874年康托爾提出的連續(xù)統(tǒng)假設(shè)的內(nèi)容，以及1937年至1941年期間哥德爾證明了連續(xù)統(tǒng)假設(shè)和ZFC的協(xié)調(diào)性，希爾伯特提出的23個(gè)數(shù)學(xué)問題等等;最后張羿教授饒有興致地介紹了1960年代Paul Cohen提出的力迫法及其后續(xù)理論擴(kuò)充。

　　講座的最后，參加此次講座的師生們針對張羿教授的講座從各個(gè)角度提出了自己的見解和問題，張羿教授從數(shù)學(xué)角度出發(fā)予以回應(yīng)，一時(shí)間講座氣氛生動活躍，在主客雙方的良好溝通下，本次講座得以圓滿結(jié)束。

免責(zé)聲明：本站所提供的內(nèi)容均來源于網(wǎng)友提供或網(wǎng)絡(luò)搜集，由本站編輯整理，僅供個(gè)人研究、交流學(xué)習(xí)使用，不涉及商業(yè)盈利目的。如涉及版權(quán)問題，請聯(lián)系本站管理員予以更改或刪除。