小更新

我在大三上回顧第二篇最後多寫了一小段，說我（目前）是個 radical rationalist (who nevertheless admits that reason has its limitations)。裡面扯到很久以前寫的一篇 Leibniz，文內說 Leibniz 希望建立一套普遍算術，當哲學家有意見衝突，只要拿紙筆坐下來，說「讓我們計算一下」就行了。

… 這不就是 squiggolists 最愛講的 "we reason"、"we calculate"、"we derive" 嗎？！而且 "reason" 當名詞用還正好是「理性」，難怪我覺得特別帥氣 XD。

--
下面那篇 "Phase I" 也新增一段 category theory 的科普小常識 XD。