精品伊人久久大香线蕉,开心久久婷婷综合中文字幕,杏田冲梨,人妻无码aⅴ不卡中文字幕

數理邏輯

哥德爾

馮·諾伊曼：無與倫比的天才（上）

瞎扯現代數學的基礎

數學上下三萬年（七）：二十世紀上半葉的數學

通向哥德爾之路①

? 現代邏輯發展史

模型論

哥德爾的發現—意想不到的結果

集合論的發展歷程

什么是數學？最詳細的介紹

小樂數學科普：數學暢銷書評《證明的故事》（The Story of Proof by John Stillwell約翰·史迪威）

希爾伯特的23個數學問題

【課程】數學史與數學文化_專題八 康托爾與集合論

數學簡史：現代科學與現代藝術的共性｜科學春秋

走進無限美妙的數學世界

近代數學13個學派(13k字)

數理邏輯大師們

70多年，數學家終于證明了這兩個無窮是相等的！

計算的極限（六）：無窮的彼岸

0=1的不可證明性，表明形式主義的局限性，數學最終要回到哲學上

【公元1850~1899年】- 數學與計算進化史 08

怎樣直觀的理解有限覆蓋定理？

TOP10 20世紀最偉大的15位數學家，格羅滕迪克才排第六？

格奧爾格·康托爾[格奧爾格·康托爾]

A.Weil：數學課程

康托爾、哥德爾、圖靈——永恒的金色對角線

一個數學家的直覺