因為從計算機的歷史發展來講，數理邏輯奠定了計算機的硬體和運算基礎。

計算機史上一篇跨時代的論文：克勞德·夏農的《開關繼電器電路的符號分析》就是受到喬治·布林的《思維規律的研究》啟發。在今日，布林在計算機科學家中十分有名（很多程式語言中都有叫“布林”的基礎資料型別），但在1938年，除了哲學圈中人，很少有人會讀他的書。夏農是在一門大學哲學課上接觸到布林的作品的，後來他對此評論道：“巧的是，那時沒什麼人同時熟悉這兩個領域。”

布林常被稱為數學家，但他本人以遵循亞里士多德傳統的哲學家自居。亞里士多德發展了三段論，歐幾里得發展了幾何原本，布林利用古典邏輯學資源，在《思維規律的研究》中開創了數理邏輯這個新的學術領域。後來，數理邏輯成為了數學家和哲學家們爭相研究的領域。而夏農從數理邏輯上發展出了邏輯電路設計原理。

夏農展示瞭如何運用布林邏輯建立一個可新增兩個二進位制數字的迴路。透過將這樣的電路串聯起來，可以構造任意複雜的算術操作。這些電路現在被稱為算術邏輯單元，這種基本構件是現代計算機的關鍵組成部分，大至超級計算機，小到每一部手機裡都不可或缺。

這也應了那句格言：“一個世紀的哲學是下一個世紀的常識。”哲學啟發出科學和技術，技術改變人類生活。

問題應該說的是計算機程式設計吧。

沒記錯的話，源頭是閘電路、0和1，其核心就是邏輯。

數學是基礎科學，是根自然重要。物理是揭示萬物現象原理道理的，當然要懂。

邏輯其實就是因果循壞，程式要執行下去，自然需要邏輯判斷。

數理邏輯當然重要。