发表于2024-11-27
模型论导引 2024 pdf epub mobi 电子书
图书标签: 模型论 逻辑学 数学 科普 数理逻辑 数理 哲学 元数学
@2017-08-31 20:57:13
评分书写的非常简洁干净,最开始觉得模型论有意思的时候,把这本书大致看了一遍。但说实话,我不太理解里面的很多东西。以前我在想是不是所有的数学难题,比如那些传说中的千禧年难题,是不是都可以从逻辑上直接给出断言,来直接说出她是否可以证明呢?于是看了数理逻辑和模型论。但是呢,其实你会发现模型论的发展更关心自身的问题,后来形成了“稳定性与单纯性理论”和“代数模型论”两大分支。而各自数学领域的难题仍然在各自的领域藐视着人类。也就是说我最开始的思想就不对,而且数学永远也不会向着我想的那个方向走,我那是要进行思维革命,通过一种方法然后看透整个世界,那显然与世界的多样性本身相悖。p.s.力迫法最初是为了讨论连续统假设而发明的,不举出具体例子,直接给出力迫法,显然众人懵逼。
评分书写的非常简洁干净,最开始觉得模型论有意思的时候,把这本书大致看了一遍。但说实话,我不太理解里面的很多东西。以前我在想是不是所有的数学难题,比如那些传说中的千禧年难题,是不是都可以从逻辑上直接给出断言,来直接说出她是否可以证明呢?于是看了数理逻辑和模型论。但是呢,其实你会发现模型论的发展更关心自身的问题,后来形成了“稳定性与单纯性理论”和“代数模型论”两大分支。而各自数学领域的难题仍然在各自的领域藐视着人类。也就是说我最开始的思想就不对,而且数学永远也不会向着我想的那个方向走,我那是要进行思维革命,通过一种方法然后看透整个世界,那显然与世界的多样性本身相悖。p.s.力迫法最初是为了讨论连续统假设而发明的,不举出具体例子,直接给出力迫法,显然众人懵逼。
评分书写的非常简洁干净,最开始觉得模型论有意思的时候,把这本书大致看了一遍。但说实话,我不太理解里面的很多东西。以前我在想是不是所有的数学难题,比如那些传说中的千禧年难题,是不是都可以从逻辑上直接给出断言,来直接说出她是否可以证明呢?于是看了数理逻辑和模型论。但是呢,其实你会发现模型论的发展更关心自身的问题,后来形成了“稳定性与单纯性理论”和“代数模型论”两大分支。而各自数学领域的难题仍然在各自的领域藐视着人类。也就是说我最开始的思想就不对,而且数学永远也不会向着我想的那个方向走,我那是要进行思维革命,通过一种方法然后看透整个世界,那显然与世界的多样性本身相悖。p.s.力迫法最初是为了讨论连续统假设而发明的,不举出具体例子,直接给出力迫法,显然众人懵逼。
评分书写的非常简洁干净,最开始觉得模型论有意思的时候,把这本书大致看了一遍。但说实话,我不太理解里面的很多东西。以前我在想是不是所有的数学难题,比如那些传说中的千禧年难题,是不是都可以从逻辑上直接给出断言,来直接说出她是否可以证明呢?于是看了数理逻辑和模型论。但是呢,其实你会发现模型论的发展更关心自身的问题,后来形成了“稳定性与单纯性理论”和“代数模型论”两大分支。而各自数学领域的难题仍然在各自的领域藐视着人类。也就是说我最开始的思想就不对,而且数学永远也不会向着我想的那个方向走,我那是要进行思维革命,通过一种方法然后看透整个世界,那显然与世界的多样性本身相悖。p.s.力迫法最初是为了讨论连续统假设而发明的,不举出具体例子,直接给出力迫法,显然众人懵逼。
模型论导引 2024 pdf epub mobi 电子书