在國內網際網路上劃出乙個「圈子」，研討純粹數學，何樂而不為？
當今，各個現代數學分支都以集合論作為基礎。2023年，康托爾創立了集合論。2023年，數學家為康托爾集合論實現了「公理化」，也就是說，為集合論搞了一套管理系統，使其成為「理論」
（形式語言的句子集合）。
肯尼思·丘嫩（kenneth kunen，1943- ）是個「怪人」，喜歡用電腦證明數學定理。2023年，kunen為集合論提供了一套公理系統。這就是我們的「切入點」。
康托爾在天之靈，看到人類在他百年之後還在用電腦擺弄他的集合論，一定會微笑不止。
今後，小朋友拿著手機證明數學定理，將不是新鮮事兒。
kunen怎麼給康托爾集合論「配套」公理系統？下回分解。
注：參見kunen的「set theory: anintroduction to independence」，2023年發表。
袁萌 3月20日
數學家劉徽的故事
劉徽 中國數學史上乙個非常偉大的數學家，他的傑作 九章算術注 和 海島算經 是中國最寶貴的數學遺產。他的主要著作有 九章算術注 10卷 重差 1卷，至唐代易名為 海島算經 九章重差圖 l卷。可惜後兩種都在宋代失傳。九章算術 約成書於東漢之初，共有246個問題的解法。在許多方面 如解聯立方程，分數四則...
中國了不起的數學家
華羅庚 華羅庚 1910.11.12 1985.6.12 出生於江蘇常州金壇區，祖籍江素檀陽。數學家，中國科學院院士，美國國家科學院外籍院士，第三世界科學院院士，聯邦德國巴伐利亞科學院院士。中國第一至第六屆全國人大常委會委員 他是中國解析數論 矩陣幾何學 典型群 自守函式論與多元復變函式論等多方面研...
維納數學家的年齡
題目如下 美國數學家維納 n.wiener 智力早熟，11歲就上了大學。他曾在1935 1936年應邀來中國清華大學講學。一次，他參加某個重要會議，年輕的臉孔引人注目。於是有人詢問他的年齡，他回答說 我年齡的立方是個4位數。我年齡的4次方是個6位數。這10個數字正好包含了從0到9這10個數字，每個都...