《数学与泛型编程:高效编程的奥秘》一3.7 本章要点

在线体验各类最新模型,更有模型 免费Token 额度领取!
立即体验
简介: 本节书摘来自华章出版社《数学与泛型编程:高效编程的奥秘》一 书中的第3章,第3.7节,作者:丹尼尔E.罗斯(Daniel E. Rose),更多章节内容可以访问云栖社区“华章计算机”公众号查看。

3.7 本章要点

古希腊人对数字的“形状”以及其他一些属性(例如是不是素数,是不是完美数等)很着迷,这就给数论这一数学领域打下了基础。他们所提出的某些算法(例如埃拉托斯特尼筛法)即便在今天来看,也是相当优雅的,只不过我们还可以通过某些现代的优化技术来继续提升其效率。

* * *

读完本章之后,大家已经看到了两种能够证明是无理数的方法,一种是几何方法,另一种是代数方法。能够针对同一个数学现象提出两种完全不同的证明,这是相当好的结果,而且数学家实际上也必须像这样去寻找同一个数学现象的多种证法,以增强自己对于数学结论的信心。比方说,高斯一生就花了很多时间去寻找二次互反律(quadratic reciprocity law)这条重要定理的各种证明方法。
毕达哥拉斯学派试图用离散的数字来表示连续的现实,在这个过程中,他们发现了无理数的存在。他们这种想通过离散量来表示连续量的想法,起初看上去似乎有些天真,但实际上,直到今天计算机学者也依然在这么做,也就是说,我们依然在通过二进制数来模拟现实世界中的值。实际上,连续与离散之间的紧张关系迄今为止依然是数学的一项主题,并且有可能会一直延续下去。这种张力不仅不会阻碍数学的发展,而且还会促使我们取得进步并提出新的见解。

相关文章
|
存储 监控 前端开发
前端知识笔记(五)———前端密钥怎么存储,才最安全?
前端知识笔记(五)———前端密钥怎么存储,才最安全?
3106 0
|
22天前
|
Linux 程序员 数据格式
【2026最新】Notepad++下载、安装和使用一篇搞定(附中文版安装包)
Notepad++ 是一款免费开源、轻量高效的 Windows 文本编辑器,支持 C/Python/HTML 等 80+ 语言语法高亮、代码折叠、正则替换、编码转换及插件扩展,专为程序员与文本处理用户打造,完美替代系统记事本。(239字)
|
12天前
|
人工智能 JSON 自然语言处理
让教学更智慧:用阿里云百炼工作流,自动生成中小学教材内容#小有可为#有温度的AI
通过可视化工作流编排,将大模型推理能力转化为标准化的教学内容生成引擎。教师只需输入教材标题和适用学段,即可自动获得结构完整、符合课程标准的章节内容,大幅降低备课门槛,助力教育资源均衡化。
494 127
|
7天前
|
人工智能 缓存 安全
Claude Code 封号真实原因曝光,这次彻底不装了,直接针对国内开发者的账号下手?
Claude Code 封号潮背后:逆向扒出客户端隐写区域标记,Anthropic 政策收紧叠加 DeepSeek 7 月涨价,国产替代更紧迫。
|
16天前
|
存储 人工智能 监控
QoderWork完全指南:从入门到精通,把“AI实习生”变成你的全能工作搭档
阿里云2026年推出的桌面端AI工作助手QoderWork,不止聊天,更可动手干活:本地运行、安全可控,支持文件整理、数据分析、PPT生成、网页开发等;内置专家套件、多Agent协作与自定义Skills,让AI真正成为你身边的“AI实习生”。
|
7天前
|
人工智能 安全 程序员
终于,Claude Code 封号的原因被曝光了!竟然针对中国用户,植入隐形代码?!
通俗易懂地揭秘 Claude Code 封号的手段,分享一些自己对 AI 编程困境的思考,Codex、Cursor、DeepSeek、智谱 GLM、甚至是豆包,都有所行动了
442 1
|
8天前
|
人工智能 安全 Cloud Native
Higress 新发布:AI Gateway 能力增强,Gateway API 及其推理扩展持续打磨
增强 AI 网关能力,持续打磨 Gateway API 及其推理扩展。
386 126