在上一期的《科學月刊》中，我們介紹了一位26 歲就證實原子序意義的科學家莫斯利，而這一期我們要再介紹一位靠著自學，成為數學教授的天才，甚至他的研究開啟了整個電腦時代。他，是喬治．布爾。

若要簡單解釋布爾的貢獻，他將所謂的「邏輯」符號化與數學化，將抽象的邏輯概念得以用數學符號表示，並且能用代數的方式做符號運算。透過這樣的代數運算，讓複雜的邏輯概念能夠簡化處理，也能避免人為的錯誤。布爾代數就這樣讓抽象的邏輯有了具體的呈現方式。

到這裡，我們停下來做一個簡單的練習，請大家翻回封面，我們一起來解開這個「x或y為真」的祕密。這個祕密被我們藏在封面的小細節裡，只要運用布爾的邏輯符號化和數學化的方法，就能解開這個小謎底。雖然不是一個有獎徵答，但大家可以當個腦筋急轉彎試試看。

好吧！看來大家還需要一點小小的提示。「x或y為真」是一個簡易的邏輯命題，若是在布爾代數的概念下，這樣的一個邏輯命題能夠怎麼樣被呈現？「或」以及「且」可以轉化成「∨」和「∧」這兩個符號表示，而「真」或「假」又可以用「1」或「0」來呈現，最後的「為」，相信聰明的讀者已經猜到，可以使用我們熟知的「=」表示。用這些符號就可以簡單將「x或y為真」轉化成符號表示的數學公式。

當我們將這個「x或y為真」的祕密轉成數學公式後，就離我們解出這個祕密進了一大步，接下來我不打算破梗，就等你試著「按照順序」把這個小小的謎底寫下來了。

雖然布爾並非唯一試圖把邏輯概念符號化的科學家，但後人將他的概念運用在電路以及電腦的製作上，帶動了整個資訊時代的來臨。在他誕生兩百年後的今天，他所任教的愛爾蘭科克大學正如火如荼舉辦許多活動，幫這位開啟新時代的數學家慶生。有興趣的讀者也可上科克大學GEORGE BOOLE 200的網站看更多關於布爾的故事。

除了帶大家認識布爾之外，我們還要帶大家去一趟火星，看看火星上的沙丘，尋找液態水的蹤跡，探一探它是否真如我們期待的具有生命的足跡。