新未名空间

此帖转自 vitro 在 军事天地（Military） 的帖子：Re: 文艺复兴不是复兴古希腊的学问

这就是前一阵刚刚讨论过的希尔伯特第六问题。共识是物理的公理化远没成功。量子力学出来推翻拉普拉斯决定论是转折点之一。有说经典物理公理化基本完成 (估计不少误解从这里出来)。
不要和数学公理化搞一起。读读第六问题的历史哲学文献你就会悟出了。
还有这个公理化隐隐感觉各国教育系统里解读有差异。wiki上分子混沌(Molecular chaos/Stosszahlansatz)连德语版都没有。中文也没有。有大牛给大家科普一下咯。

但要强调的是公理化的提出(追溯到几何原本)对科学发展是有巨大正面意义的。不能因为未能完成大家有批判就否定。

"公理化隐隐感觉各国教育系统里解读有差异"。大家说说是这么回事吗?

vitro 写了： 昨天 04:05 "公理化隐隐感觉各国教育系统里解读有差异"。大家说说是这么回事吗?

随便说两句。
中国的公理化思想都是从欧洲传入的，但不纯粹，一般教育中就是照猫画虎。正宗的很少流传，例如由王宪均带到中国的哥德尔的思想。哥德尔公理化和形式化的思想是德国或者欧陆形式化和公理化的标准风格。基本上中国不重视或者没领会公理化思想
欧陆有公理化或者进一步形式化的传统，啥都要这么搞一下。美国好像不推崇，即使最形式化公理化的学科，也带着一些西部开荒者的风格，解决问题就好，管什么公理化形式化

有点这么意思。怪不得玻尔兹曼去了加州气成这样，看他这篇著名游记的最后插图：
https://aiichironakano.github.io/phys51 ... oday92.pdf

forecasting 写了： 昨天 11:09 随便说两句。
中国的公理化思想都是从欧洲传入的，但不纯粹，一般教育中就是照猫画虎。正宗的很少流传，例如由王宪均带到中国的哥德尔的思想。哥德尔公理化和形式化的思想是德国或者欧陆形式化和公理化的标准风格。基本上中国不重视或者没领会公理化思想
欧陆有公理化或者进一步形式化的传统，啥都要这么搞一下。美国好像不推崇，即使最形式化公理化的学科，也带着一些西部开荒者的风格，解决问题就好，管什么公理化形式化

国内大多数人分不清公理化和形式化，公理化和形式化仅仅成了装点门面的名词。

形式化是公理化的一个子类，往往是把理论用一阶逻辑的语言表述出来，即把公理化的系统用用一阶逻辑的语言表述出来。公理化未必是形式化的，例如欧几里得几何等等。