第一堂正規語言課

下午是資工研究所正規語言（Formal Language）的第一堂課，對我而言，這也是本學期最重要的課了！

今天這堂課，蔡教授（not sctsai...^^" He is whtsai.）講的是很基本的，和 automata 有關的一些定義；老師也分享了一些學習 Formal Language 要特別留意的重點，例如要分清楚「有定義名詞」和「無定義名詞」的區別、Modus ponens（正前律）和 Syllogism（三段論）的細微差別…等等的。

最難忘的是教授講到 Formal Proof（正規證明方法）的時候，丟出一個問題給大家，這個問題是說：

我們已經學習過「演繹法」、「歸納法」、各種邏輯…等等證明方式，可是，誰和你說這些方法是對的呢？是你的小學老師嗎？那是誰告訴你的小學老師這些方法是對的呢？為什麼東方人和西方人恰巧都能懂得 induction 呢？為什麼人類的思考方式是這樣而不是那樣呢？

上完課之後整個晚上都忍不住一直想到這些，我認為科學家沒辦法回答這些問題。這應是哲學，甚至是神學問題了吧！

P.S. 這張圖是從別的網站上偷來的，我也不明白是什麼意思哩…那是從這個網站：THE FORMAL LANGUAGE OF THE METAPHYSICAL找到的。