由新到舊 由舊到新 日期篩選

・2020/09/07
萊布尼茲用符號列出交換律等規則,將交換律、加減法納入邏輯演算,但生前沒有公開。布爾用代數來表達傳統邏輯,用1與0代表命題真偽,再訂出結合律、分配律等基本公理,將邏輯數學化。
・2016/01/28
半導體的發展已可以讓當初ENIAC 一間房子那麼大的電腦的功能濃縮在幾乎看不到的晶片裡還綽綽有餘,如果計算機還是停留在巴貝奇那時機械式的設計裡,這些都是無法想像的。電腦革命可以開展,布爾代數佔了極重要的地位,而布爾當初的純粹學理的研究,造成後代那麼大的影響,恐怕也是他未曾預料過的。
・2015/12/12
布爾提出兩個突破性觀念:其一,用符號表示邏輯命題;其二,可用代數作符號運算。總體來說,我們可先用符號代表命題,用公理表示邏輯的規則,再以代數的方式運算。在運算的過程中,不需考慮符號本身及運算的意義,運算完畢,將符號再帶回原本的命題,即為邏輯正確的結果。