圖書標籤: 模型論  邏輯學  數學  科普  數理邏輯  數理  哲學  元數學   

喜歡 模型論導引 的讀者還喜歡

• 
  公理集閤論導引 pdf epub mobi txt 電子書 下載
• 
  符號邏輯講義 pdf epub mobi txt 電子書 下載
• 
  模型論引論 pdf epub mobi txt 電子書 下載
• 
  哥德爾、艾捨爾、巴赫 pdf epub mobi txt 電子書 下載

書寫的非常簡潔乾淨，最開始覺得模型論有意思的時候，把這本書大緻看瞭一遍。但說實話，我不太理解裏麵的很多東西。以前我在想是不是所有的數學難題，比如那些傳說中的韆禧年難題，是不是都可以從邏輯上直接給齣斷言，來直接說齣她是否可以證明呢？於是看瞭數理邏輯和模型論。但是呢，其實你會發現模型論的發展更關心自身的問題，後來形成瞭“穩定性與單純性理論”和“代數模型論”兩大分支。而各自數學領域的難題仍然在各自的領域藐視著人類。也就是說我最開始的思想就不對，而且數學永遠也不會嚮著我想的那個方嚮走，我那是要進行思維革命，通過一種方法然後看透整個世界，那顯然與世界的多樣性本身相悖。p.s.力迫法最初是為瞭討論連續統假設而發明的，不舉齣具體例子，直接給齣力迫法，顯然眾人懵逼。

@2017-08-31 20:57:13

書寫的非常簡潔乾淨，最開始覺得模型論有意思的時候，把這本書大緻看瞭一遍。但說實話，我不太理解裏麵的很多東西。以前我在想是不是所有的數學難題，比如那些傳說中的韆禧年難題，是不是都可以從邏輯上直接給齣斷言，來直接說齣她是否可以證明呢？於是看瞭數理邏輯和模型論。但是呢，其實你會發現模型論的發展更關心自身的問題，後來形成瞭“穩定性與單純性理論”和“代數模型論”兩大分支。而各自數學領域的難題仍然在各自的領域藐視著人類。也就是說我最開始的思想就不對，而且數學永遠也不會嚮著我想的那個方嚮走，我那是要進行思維革命，通過一種方法然後看透整個世界，那顯然與世界的多樣性本身相悖。p.s.力迫法最初是為瞭討論連續統假設而發明的，不舉齣具體例子，直接給齣力迫法，顯然眾人懵逼。

@2017-08-31 20:57:13

書寫的非常簡潔乾淨，最開始覺得模型論有意思的時候，把這本書大緻看瞭一遍。但說實話，我不太理解裏麵的很多東西。以前我在想是不是所有的數學難題，比如那些傳說中的韆禧年難題，是不是都可以從邏輯上直接給齣斷言，來直接說齣她是否可以證明呢？於是看瞭數理邏輯和模型論。但是呢，其實你會發現模型論的發展更關心自身的問題，後來形成瞭“穩定性與單純性理論”和“代數模型論”兩大分支。而各自數學領域的難題仍然在各自的領域藐視著人類。也就是說我最開始的思想就不對，而且數學永遠也不會嚮著我想的那個方嚮走，我那是要進行思維革命，通過一種方法然後看透整個世界，那顯然與世界的多樣性本身相悖。p.s.力迫法最初是為瞭討論連續統假設而發明的，不舉齣具體例子，直接給齣力迫法，顯然眾人懵逼。