- 博客(4)
- 问答 (1)
- 收藏
- 关注
RSS订阅原创 数字 阅读与创造——读戴德金之三
标题数字 阅读与创造——读戴德金之三17世纪末叶，德国学者莱布尼兹在设想普遍语言可能的时候，从算术加想到了逻辑加。逻辑大概从这个时候开始，就和数学有了一种天然的联系。莱氏的这个设想经历一个半世纪，大约有150多年之久吧。19世纪的50年代，英国学者布尔进一步发展了逻辑加，除了逻辑加之外，还有逻辑乘，由此而有了逻辑代数。所以，在现代逻辑学的发展史上，布尔的这个贡献被看作是：他使逻辑从认识论的统治下解放出来，从而使得逻辑作为一门独立的科学获得了新生。（威廉.涅尔《逻辑学的发展》第518页）现代逻辑随后的
2020-12-25 16:16:21
262
原创 无理数究竟是什么？连续性公理的产物？——读戴德金之二
标题无理数究竟是什么？连续性公理的产物？——读戴德金之二人类的进步轨迹，很大程度上可以从数学，特别是初等算术中的数字演化中看出点门道。虽说是地理大发现开启了世界的历史，但世界历史的进展似乎总是和算术的进步相关联。从时间节点来看，在15世纪开始航海时代的时候，恰好也是现代算术理论刚刚启动的年代。用美国学者丹齐克的话来描述，现代的算术，其历史还不到四百年。丹齐克出版那本《数 科学的语言》一书的时间是1930年，已经时过近百年矣。这岂不是在表明，现代算术的历史还不到500年么？大概和地理大发现时代处在同一个时间
2020-12-13 17:19:37
1480
翻译 导引第十五章，十六章——python导引编译之十四终结篇
导引第十五章，十六章——python导引编译之十四终结篇标题15浮点算术：问题和限度. Floating Point Arithmetic: Issues and LimitationsFloating-point numbers are represented in computer hardware as base 2 (binary) fractions. For example, the decimal fraction0.125has value 1/10 + 2/100 + 5/1000
2020-12-07 15:53:56
122
翻译 python导引第十二章，十三章，十四章 python导引编译之十三
python导引第十二章 python导引编译之十三12. 虚拟环境和打包Virtual Environments and Packages12.1. IntroductionPython applications will often use packages and modules that don’t come as part of the standard library. Applications will sometimes need a specific version of a li
2020-12-02 16:07:57
188
空空如也
博文复制变形问题是否可提供合适软件解决？
2021-12-16
TA创建的收藏夹 TA关注的收藏夹
TA关注的人