開票日倒數倒數

0 天

23 時

11 分

50 秒

前往選舉專區

公理

在傳統邏輯中，公理是沒有經過證明，但被當作不證自明的一個命題。 --來自維基百科

Related Tags：

公理數學證明數學形式證明證明正義 More... 公義香港中國邏輯

lrphotos0269572-1

2018/10/04 | Kayue

沒有人明白的數學證明能否成立？

沒有人明白的數學證明，到底能否算作成立？這得視乎我們如何理解「數學證明」這回事。

數學  數學證明 More... 證明  形式系統  數學哲學  形式證明  哥德爾不完備定理  形式主義  黎曼猜想  ABC猜想  望月新一  Michael Atiyah 數學家  幾何原本  歐幾里得  幾何學  公理  推理  邏輯

lrphotos0269572-1

2018/10/04 | Kayue

沒有人明白的數學證明能否成立？

沒有人明白的數學證明，到底能否算作成立？這得視乎我們如何理解「數學證明」這回事。

數學  數學證明 More... 證明  形式系統  數學哲學  形式證明  哥德爾不完備定理  形式主義  黎曼猜想  ABC猜想  望月新一  Michael Atiyah 數學家  幾何原本  歐幾里得  幾何學  公理  推理  邏輯

Koshuji-bashi-bridge2

2018/05/10 | 精選轉載

點解梯形嘅面積係「上底加下底乘高除二」？

點解梯形面積公式係「上底加下底乘高除二」？呢個問題你應該識答，但再問落去，就需要知道「面積」嘅一啲性質先答到。

面積  數學 More... 梯形  梯形面積  公式  測度理論  數學分析  幾何  概率論  數學證明  證明  公理  學習  數學教育  圖形  平行四邊形  幾何  長方形  定義

2017/06/26 | Kayue

「99%確定」還不足夠，所以這數學家再次證明了「克卜勒猜想」

如何堆放橙最有效率？當然是像小販的做法。但數學家花了四百年時間，加上電腦協助，才證明這個「克卜勒猜想」。

數學  克卜勒猜想 More... 開普勒  Kepler 數學證明  電腦  公理  形式證明  運算  高斯  球體  球面  親吻數

2016/08/22 | 林兆彬

《危城》：被商業化的政治隱喻？

當政治隱喻被商業化，每套戲都講類似的訊息，觀眾或者就會開始麻木，反而對現況感到無力，電影變相「維穩」。不知道中國大陸的觀眾，又能夠從戲中領悟到甚麼訊息呢？

劉青雲  危城 More... 古天樂  吳京  彭于晏  維穩  中國  香港  公義  正義  強權  公理

2016/08/22 | 林兆彬

《危城》：被商業化的政治隱喻？

當政治隱喻被商業化，每套戲都講類似的訊息，觀眾或者就會開始麻木，反而對現況感到無力，電影變相「維穩」。不知道中國大陸的觀眾，又能夠從戲中領悟到甚麼訊息呢？

危城  劉青雲 More... 古天樂  吳京  彭于晏  維穩  中國  香港  公義  正義  強權  公理