[學誌] 邏輯自修計畫。(異動。)

異動。


: May. 23 ～ Jun. 6
: Mendelson (1997): Mathematical Logic. Ch.1 -2
: 書可能提早一週獲得，根據推薦只需研讀頭兩章。
: 不過個人滿想加入第三章，因為在証歌德不完備定理。
: 第四章在談集合論、第五章計算則介紹 Turing machine...
: 嗯，看狀況和大家興趣調整吧。反正書是整本處理。

這本數學證明太過繁瑣先行放棄。

老師推薦的另本是 Robert L. Causey (1994): Logic, sets, and recursion.

據說這本的證明比較偏哲學。

預約中，下週可望取書。


: Jun. 6 ～ Jun. 27
: Hunter (1971): Metalogic.
: 據說主要在解釋邏輯系統是怎麼架設的。
: 許多原本看似理所當然的規則也在這邊證明，例如 soundness 和 completeness。
: 這部份結束大概能夠說是具備大學程度了吧。囧
: 這本書我也還沒取得，明明到期日早就超過了～
: 再視頁數調整周次之類的吧...畢竟那時候期末大魔王現身。

目前吞這本，目前念及的部份都還算清晰易懂。

儘管懷疑多少計畫成員在意這項異動，還是公告周知。囧