您現在的位置是:首頁 > 標簽 > 公理首頁標簽

  • 孔祥柯的巴黎和會之行

    ”4月初,為收回青島,廢除《二十一條》,山東外交商榷會及各界團體公舉孔祥柯(孔則君)、許宗漢(許天章)為赴歐和談代表,奔赴巴黎,向中國代表和“巴黎和會”呼籲請願...

  • 知識探索:計算機能證明定理嗎?

    計算機之所以能證明定理,是因為專家們先將一些公理和規則符號化,儲存在機器中,又為它編制了程式...

  • 97年前“公理戰勝”碑的落成

    一戰的時候,北洋政府做出一個正確的決斷,站在了協約國這邊,這樣,在一戰結束後,也以戰勝國的姿態出席了巴黎和會,而之前的克林德碑也被砸碎,過了不久,德國方還被要求把原碑製作成“公理戰勝”碑,放在原處...

  • 人與人之間最大的差距:不是情商和智商,而是思維模型

    同一件事,思維模式不同的人做,效果就會截然不同...

  • 數學證明:作為一種特殊的科學敘事

    作為一種特殊的科學敘事,數學證明還顯現了知識的相對獨立性、真理的相對客觀性、方法的自足性與區域性性等異於普通敘事的獨特學科特徵...

  • 時空幾何|歐幾里德(平面)幾何 & 非歐幾里德(雙曲、橢圓)幾何

    時空幾何|歐幾里德(平面)幾何 & 非歐幾里德(雙曲、橢圓)幾何

    Gauss)的時代,公設五就備受質疑,俄羅斯數學家羅巴切夫斯基(Nikolay Ivanovitch Lobachevski)、匈牙利人波爾約(Bolyai)闡明第五公設只是公理系統的一種可能選擇,並非必然的幾何真理,也就是“三角形內角和不...

  • 實數有多少個?連續統假說,當代集合理論中最重要的假說

    實數有多少個?連續統假說,當代集合理論中最重要的假說

    結合哥德爾和科恩的這些結果,我們知道,從集合論的公理中,既不能證明連續統假設是正確的,也不能證明連續統假設是錯誤的...

  • 兩種方法攻克笨蛋的難關——驢橋定理

    兩種方法攻克笨蛋的難關——驢橋定理

    證明:如圖一,延長AB(公設2),在AB延長線上任取一點F,延長AC,以C為端點在AC延長線上擷取CG=BF(命題2),連線FC、GB(公設1)...

  • 數學公理——一場沒有結束的戰爭

    數學公理——一場沒有結束的戰爭

    因為有問題有困難才體現天才的價值,所以他提出了一系列公理,試圖化解這個集合悖論,並寫出了鉅著《數學原理》,企圖建立一個完美的數學體系,這個數學體系沒有悖論,一切由公理出發,所有問題都可以解決...

  • 2+2等於幾?你能證明嗎?

    公理4:不同的自然數後繼不同...

  • 【數學】等量減等量差相等是什麼意思啊,這個問題你能回答得出來嗎

    《原本》中的5條公設:1. 假定從任意一點到任意一點可作一條直線2. 一條有限直線可不斷延長3. 以任意中心和直徑可以畫圓4. 凡直角都彼此相等5. 若一直線落在兩直線上所構成的同旁內角和小於兩直角,那麼把兩直線無限延長,它們將在同旁內角和...

  • 數學之美,大道至簡,抱朴守拙

    數學之美,大道至簡,抱朴守拙

    (近代數學不區分公設,公理,統一稱為公理,然而最近幾年,我們課本又改名字了,叫“基本事實”,不知道為啥中國小學到大學有不少數學名詞符號都不一樣,每過幾年就要改來改去)諸位從小學到高中,學了好多年的幾何學,都是由這五條公設推匯出來的...

  • 夜神月的正義丨看完死亡筆記的一點點想法

    《殞命條記》沒有分外想表白的,牽強要說的話,那即是『人終有一死,身後不可以復活』這點,因此人應當在趁生的時分好好起勁...

  • 數學是什麼?羅素和希爾伯特之間的 battle 觸發這來自靈魂的拷問

    數學是什麼?羅素和希爾伯特之間的 battle 觸發這來自靈魂的拷問

    羅素在德國數學家弗雷格“分析的算術化最後必然建立在自然數理論之上,而對自然數理論的探討有必要研究數的概念以及正整數命題的性質”的基礎上主張“數學即邏輯”,在《數學的原理》及《數學原理》中,羅素的目標在於證明“數學和邏輯是全等的”這個邏輯主義...