图书标签: 模型论  逻辑学  数学  科普  数理逻辑  数理  哲学  元数学   

喜欢 模型论导引 的读者还喜欢

• 
  公理集合论导引 pdf epub mobi txt 电子书 下载
• 
  符号逻辑讲义 pdf epub mobi txt 电子书 下载
• 
  模型论引论 pdf epub mobi txt 电子书 下载
• 
  哥德尔、艾舍尔、巴赫 pdf epub mobi txt 电子书 下载

@2017-08-31 20:57:13

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

@2017-08-31 20:57:13

@2017-08-31 20:57:13

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