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