求關於數學知識的故事

　　1、康託的連續統基數問題。 1874年，康託猜測在可數集基數和實數集基數之間沒有別的基數，即著名的連續統假設。1938年，僑居美國的奧地利數理邏輯學家哥德爾證明連續統假設與ZF集合論公理系統的無矛盾性。1963年，美國數學家科思證明連續統假設與ZF公理彼此獨立。因而，連續統假設不能用ZF公理加以證明。在這個意義下，問題已獲解決。

　　2、只根據合同公理證明等底等高的兩個四面體有相等之體積是不可能的。 問題的意思是存在兩個登高等底的四面體，它們不可能分解為有限個小四面體，使這兩組四面體彼此全等德思1900年已解決。

　　3、兩點間以直線為距離最短線問題。 此問題提的一般。滿足此性質的幾何很多，因而需要加以某些限制條件。1973年，蘇聯數學家波格列洛夫宣佈，在對稱距離情況下，問題獲解決。

　　1、泰勒斯看到人們都在看告示，便上去看，原來告示上寫著法老要找世界上最聰明的人來測量金字塔的高度。於是就找法老，法老問泰勒斯用什麼工具來量金字塔，泰勒斯說只用一根木棍和一把尺子，他把木棍插在金字塔旁邊，等木棍的影子和木棍一樣長的時候，他量了金字塔影子的長度和金字塔底面邊長的一半，把這兩個長度加起來就是金字塔的高度了，泰勒斯真是世界上最聰明的人，他不用爬到金字塔的頂上就方便量出了金字塔的高度;

　　2、戰國時期，齊威王與大將田忌賽馬，齊威王和田忌各有三匹好馬上馬，中馬與下馬，比賽分三次進行，每賽馬以千金作賭，由於兩者的馬力相差無幾，而齊威王的馬分別比田忌的相應等級的馬要好，所以一般人都以為田忌必輸無疑，但是田忌採納了門客孫臏的意見，用下馬對齊威王的上馬，用上馬對齊威王的中馬，用中馬對齊威王的下馬，結果田忌以2比1勝齊威王而得千金，這是我國古代運用對策論思想解決問題的一個範例。

　　《非攻》、《理水》等5篇作於1934到1935年間。

　　小說在樹立墨子這一理想人物形象的同時，也諷刺批評了那些在“九一八”以後鼓吹“民氣”的“空談家”，賣國密約的“外交家”，以及國民黨反動派政治腐敗、軍隊無能等狀況。

　　《非攻》中寫墨子在宋國遇見“募捐救國隊”，這實際上是對30年代國民黨反動政府在日寇侵略面前用“救國”名義強行募捐這種欺騙、掠奪行徑的影射。

　　魯迅的小說《非攻》是他的《故事新編》裡最有史料依據、最少虛構意味的一篇，裡面的墨子形象與《公輸》裡的墨子沒什麼大的區別，只是性格內涵更豐富。如他的儉樸，他的堅忍，他的實幹精神，他對普通百姓深厚的關切與同情等，在小說《非攻》裡都有所表現。