路虽远行则将至，事虽难做则必成。
| 思维 | 说明 |
|---|
| 数学思维 | 数学是科学的语言，是最重要的理论工具 |
| 工具思维 | 计算机是最重要的工程应用工具 |
| 工程思维 | 将理论工具应用到实际问题中的思维方式 |
- 从特殊到一般：先接触具体实例，再归纳总结出普遍规律
- 从直觉到抽象：先靠感官感知，再上升到抽象推理
- 从已知到未知：依托已有知识同化新知识
- 从感性到理性：先感性观察，再理性分析
如果你不能用简单的话把某个概念讲清楚，说明你还没有真正理解它。—— 理查德·费曼
四个步骤：
- 确定目标：写下你想学习的概念
- 模拟教学：用最简单的语言解释给一个8岁的孩子听
- 发现盲点：卡住的地方回到原始材料重新学习
- 简化与类比：用一个生动的类比让外行也听懂
| 时代 | 数学家 | 国籍 | 贡献 |
|---|
| 古希腊 | 毕达哥拉斯 | 希腊 | 勾股定理、万物皆数 |
| 古希腊 | 欧几里得 | 希腊 | 《几何原本》、公理化方法 |
| 古希腊 | 阿基米德 | 希腊 | 浮力定律、杠杆原理 |
| 17世纪 | 牛顿 | 英国 | 微积分、万有引力 |
| 17世纪 | 莱布尼茨 | 德国 | 微积分（独立创立） |
| 18世纪 | 欧拉 | 瑞士 | 数学分析、图论、符号创造 |
| 19世纪 | 高斯 | 德国 | 数论之王、统计学 |
| 19世纪 | 黎曼 | 德国 | 黎曼几何、黎曼猜想 |
| 20世纪 | 冯·诺依曼 | 匈牙利 | 计算机架构、博弈论 |
| 20世纪 | 拉马努金 | 印度 | 数论、直觉数学天才 |
| 20世纪 | 庞加莱 | 法国 | 拓扑学、庞加莱猜想 |
| 时代 | 数学家 | 贡献 |
|---|
| 三国 | 刘徽 | 《九章算术注》、割圆术 |
| 南北朝 | 祖冲之 | 圆周率精确到 7 位小数 |
| 南宋 | 秦九韶 | 《数书九章》、秦九韶算法 |
| 近代 | 华罗庚 | 解析数论、统筹法 |
| 近代 | 陈景润 | 哥德巴赫猜想研究 |
| 近代 | 陈省身 | 微分几何 |
| 近代 | 吴文俊 | 吴方法（机器证明） |
| 当代 | 丘成桐 | 菲尔兹奖、卡拉比-丘流形 |
| 当代 | 陶哲轩 | 数论、调和分析 |
| 当代 | 张益唐 | 孪生素数猜想突破 |
更多数学家参考：数学时间线
| 人物 | 贡献 |
|---|
| 艾伦·图灵 | 图灵机、人工智能、密码破译 |
| 约翰·冯·诺依曼 | 冯·诺依曼架构、博弈论 |
| 克劳德·香农 | 信息论、数字电路理论 |
| 高德纳（Donald Knuth） | 《计算机程序设计艺术》、TeX |
| 约翰·麦卡锡 | Lisp 语言、人工智能 |
| 林纳斯·托瓦兹 | Linux 内核、Git |
| IDE | 说明 |
|---|
| Zed | 高性能编辑器（Your last next editor） |
| VS Code | 最流行的通用编辑器 |
| RustRover | JetBrains 出品的 Rust IDE |
| IntelliJ IDEA | Java/Rust 开发 |
# 将 markdown 中的代码块发送到 Rust Playground API
curl -X POST https://play.rust-lang.org/evaluate.json \
-H "Content-Type: application/json" \
-d @rust_code.json
Rust Playground 预置了下载量排名前 100 的 crates、Rust Cookbook 中的 crates，以及它们的所有依赖项。你可以直接使用它们，无需任何额外配置。
- “万物皆数” —— 毕达哥拉斯
- “条条大路通罗马” —— 从当前位置到达目的地存在多种路径
- “量变引起质变” —— 持续积累终将导致突破
- “科学技术是第一生产力”
- “科学技术是一把双刃剑，既可以造福人类，也可以伤害人类，关键是掌握在谁的手中，用它来干什么”
| 方式 | 说明 |
|---|
| GUI | 图形用户界面，用户友好 |
| CLI | 命令行界面，高效精确 |
| 代码 | 人类使用代码编写程序与机器交互 |
成千上万的科学家实现 0→1 的发现，数以千万的工程师创造、集成大量的工具，数以亿计的普通人利用工具。
一个伟大的工具，能够深入和广泛应用在各行各业，一个重要的前提是成本足够低、效率足够高。