欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Mathematics
小 (→分支领域) |
小 (→简介) |
||
(未显示1个用户的37个中间版本) | |||
第6行: | 第6行: | ||
[[文件:Topology-01.gif|right]] | [[文件:Topology-01.gif|right]] | ||
[[文件:Topology-02.gif|right]] | [[文件:Topology-02.gif|right]] | ||
+ | |||
==简介== | ==简介== | ||
数学,是一门研究数量、结构以及空间等概念及其变化的学科。 | 数学,是一门研究数量、结构以及空间等概念及其变化的学科。 | ||
第14行: | 第15行: | ||
重要数学分支:代数几何、微分几何、拓扑空间(拓扑学)... | 重要数学分支:代数几何、微分几何、拓扑空间(拓扑学)... | ||
+ | |||
+ | 数学家研究的不是对象,而是对象之间的关系。 | ||
+ | 对于他们来说,只要关系不变,就完全可以用另一组对象来取代现有的对象。 | ||
+ | 他们不关注对象的内容,只关注形式。 | ||
+ | |||
+ | ——庞加莱《科学与假设》(Science and Hypothesis) | ||
+ | |||
+ | ==计划纲领== | ||
+ | 爱尔兰根纲领(Erlangen program):认为几何就是研究变换群下不变的性质,几何的不同实为不同的变换群所致 | ||
+ | |||
+ | 朗兰兹纲领(Langlands program):述说数论与群论的深刻联系,被视为“数学的一种大统一理论” | ||
+ | |||
+ | 希尔伯特计划(Hilbert's program):主要目标是为全部的数学提供一个安全的理论基础 | ||
+ | |||
+ | ==数学分类数学百科== | ||
+ | [https://planetmath.org/ PlanetMath] 是一本自由、协作的网络数学百科全书。强调同行评审、严密、公开、具教育性、实时内容、内容互连、以及群体协作,所有内容使用 LaTeX 编写,采用 CC 知识共享许可协议。 | ||
+ | |||
+ | PlanetMath 的目标是成为一本综合性的网络数学百科全书,另一个主流是由 Wolfram Research 维护的 [https://mathworld.wolfram.com/ MathWorld] | ||
+ | |||
+ | 以同行评审为中心的性质使得 PlanetMath 的内容比起 MathWorld 更与众不同、更严密及更有学院味道。 | ||
+ | |||
+ | PlanetMath 每一个条目都使用美国数学学会(AMS)的分类系统来分门别类。 | ||
+ | |||
+ | [https://msc2020.org/ 数学学科分类标准(Mathematics Subject Classification,MSC)]是由美国数学学会(American Mathematical Society,AMS)策划的建立在两个主要的引文数据库数学评论和数学文摘上的字母数字混合的分类方案。 | ||
==方法论== | ==方法论== | ||
+ | [[数学哲学]] | ||
+ | |||
[[费曼学习法]] | [[费曼学习法]] | ||
第21行: | 第48行: | ||
就像[https://zh.wikipedia.org/wiki/%E4%BA%9A%E5%8E%86%E5%B1%B1%E5%A4%A7%C2%B7%E6%A0%BC%E7%BD%97%E6%BB%95%E8%BF%AA%E5%85%8B 格罗滕迪克]所说:“构成一个研究者创造力和想象力的本质,是他们聆听事情内部声音的能力。”这里没有等级高下,没有阶层之分,在对未知的探索前人人平等,每个人都拥有绝对的自由。每一个数学家愿意孜孜不倦研究数学的最主要动力不是别的,是我们享受那种日复一日,能够从现实生活中超越出来,去聆听,和发现世界运行规律的时刻。——[https://zhuanlan.zhihu.com/p/113516579 许晨阳] | 就像[https://zh.wikipedia.org/wiki/%E4%BA%9A%E5%8E%86%E5%B1%B1%E5%A4%A7%C2%B7%E6%A0%BC%E7%BD%97%E6%BB%95%E8%BF%AA%E5%85%8B 格罗滕迪克]所说:“构成一个研究者创造力和想象力的本质,是他们聆听事情内部声音的能力。”这里没有等级高下,没有阶层之分,在对未知的探索前人人平等,每个人都拥有绝对的自由。每一个数学家愿意孜孜不倦研究数学的最主要动力不是别的,是我们享受那种日复一日,能够从现实生活中超越出来,去聆听,和发现世界运行规律的时刻。——[https://zhuanlan.zhihu.com/p/113516579 许晨阳] | ||
+ | |||
+ | ==数学素养== | ||
+ | 数学六大核心素养: | ||
+ | |||
+ | *数学抽象(mathematical abstraction) | ||
+ | *逻辑推理(logical reasoning) | ||
+ | *数学建模(mathematical modeling) | ||
+ | *直观想象(intuitive imagination) | ||
+ | *数学运算(mathematical operation) | ||
+ | *数据分析([[data analysis]]) | ||
==数学物理== | ==数学物理== | ||
第31行: | 第68行: | ||
==分支领域== | ==分支领域== | ||
[[文件:drum-vibration-mode.gif|right|泛函分析(圆形鼓皮的理想化振动模式)]] | [[文件:drum-vibration-mode.gif|right|泛函分析(圆形鼓皮的理想化振动模式)]] | ||
+ | *[[algebra|代数]] | ||
+ | *数论 | ||
*[[微积分]] | *[[微积分]] | ||
+ | *[[Mathematical analysis|数学分析]] 泛函分析(Functional Analysis)... | ||
+ | *数学模型 | ||
*[[algebraic geometry|代数几何]] | *[[algebraic geometry|代数几何]] | ||
*[[differential geometry|微分几何]] | *[[differential geometry|微分几何]] | ||
*[[linear algebra|线性代数]] | *[[linear algebra|线性代数]] | ||
− | |||
*[[computational mathematics|计算数学]] | *[[computational mathematics|计算数学]] | ||
*[[numerical analysis|数值分析/数值计算]] | *[[numerical analysis|数值分析/数值计算]] | ||
− | |||
*[[statistics|概率论与统计学]](可理解为应用数学的重要领域,[[R]]统计计算软件) | *[[statistics|概率论与统计学]](可理解为应用数学的重要领域,[[R]]统计计算软件) | ||
− | * | + | *[[数理逻辑]]/数学证明 |
+ | *[[数学哲学]] | ||
... | ... | ||
==数学家== | ==数学家== | ||
+ | *[https://www.mathgenealogy.org/ Mathematicians in Mathematics Genealogy Project (MGP)] | ||
*[https://mathshistory.st-andrews.ac.uk/ MacTutor 数学史档案] 包含3000多名数学家的传记和2000多页的论文和相关材料。 | *[https://mathshistory.st-andrews.ac.uk/ MacTutor 数学史档案] 包含3000多名数学家的传记和2000多页的论文和相关材料。 | ||
*维基百科 [https://en.wikipedia.org/wiki/Lists_of_mathematicians Lists of mathematicians] [https://zh.wikipedia.org/wiki/%E6%95%B0%E5%AD%A6%E5%AE%B6%E5%88%97%E8%A1%A8 数学家列表] | *维基百科 [https://en.wikipedia.org/wiki/Lists_of_mathematicians Lists of mathematicians] [https://zh.wikipedia.org/wiki/%E6%95%B0%E5%AD%A6%E5%AE%B6%E5%88%97%E8%A1%A8 数学家列表] | ||
*[https://icm2022.org/ 国际数际数学家大会(International Congress of Mathematicians)] [https://baike.sogou.com/v285872.htm 搜狗百科] | *[https://icm2022.org/ 国际数际数学家大会(International Congress of Mathematicians)] [https://baike.sogou.com/v285872.htm 搜狗百科] | ||
*佩雷尔曼 [https://arxiv.org/find/math/1/au:+Perelman_Grisha/0/1/0/all/0/1 佩雷尔曼发表在arXiv.org上的论文] [http://www.imo-official.org/participant_r.aspx?id=10481 国际奥林匹克数学竞赛中的成绩:满分] | *佩雷尔曼 [https://arxiv.org/find/math/1/au:+Perelman_Grisha/0/1/0/all/0/1 佩雷尔曼发表在arXiv.org上的论文] [http://www.imo-official.org/participant_r.aspx?id=10481 国际奥林匹克数学竞赛中的成绩:满分] | ||
+ | *[https://www.math.stonybrook.edu/~jack/ John W. Milnor] | ||
+ | *[https://www.math.ucla.edu/~tao/ Terence Tao] 陶哲轩 | ||
+ | *[http://aleph0.clarku.edu/~djoyce/hilbert/problems.html 希尔伯特1900年23个问题演讲内容的英文翻译] | ||
==研究所== | ==研究所== | ||
*[https://www.ias.edu/ 普林斯顿高等研究院] | *[https://www.ias.edu/ 普林斯顿高等研究院] | ||
*[https://www.ihes.fr/ 法国高等科学研究所] | *[https://www.ihes.fr/ 法国高等科学研究所] | ||
+ | *[https://claymath.org 克雷数学研究所] | ||
+ | *[https://impa.br/ 巴西国立纯数学和应用数学研究所(IMPA)]被认为是拉丁美洲最好的数学研究所 | ||
+ | *[https://perimeterinstitute.ca/ 圆周理论物理研究所](Perimeter Institute for Theoretical Physics)是加拿大安大略省滑铁卢市的一所独立研究机构,致力于理论物理学的基本议题。 | ||
==著名学府数学系== | ==著名学府数学系== | ||
第63行: | 第110行: | ||
==项目== | ==项目== | ||
[https://github.com/rossant/awesome-math Awesome Mathematics Resources] [[image:awesome.png]] | [https://github.com/rossant/awesome-math Awesome Mathematics Resources] [[image:awesome.png]] | ||
+ | *[https://ncatlab.org/nlab/show/list+of+mathematics+software list of mathematics software] | ||
*[https://www.netlib.org/ Netlib] is a collection of mathematical software, papers, and databases. | *[https://www.netlib.org/ Netlib] is a collection of mathematical software, papers, and databases. | ||
*[https://math.nist.gov/ Math, Statistics, and Computational Science] | *[https://math.nist.gov/ Math, Statistics, and Computational Science] | ||
第93行: | 第141行: | ||
[https://abelprize.no/ The Abel Prize] 阿贝尔奖是一项挪威设立的数学界大奖 | [https://abelprize.no/ The Abel Prize] 阿贝尔奖是一项挪威设立的数学界大奖 | ||
*[https://abelprize.no/winners Abel Prize Laureates] | *[https://abelprize.no/winners Abel Prize Laureates] | ||
+ | |||
+ | ==柯尔奖== | ||
+ | [https://www.ams.org/prizes-awards/paview.cgi?parent_id=15 柯尔奖(Cole Prize ,Frank Nelson Cole Prize)] 由美国数学学会授奖。分数论奖和代数奖,分别奖励数论和代数领域的成果。 | ||
+ | |||
+ | *2014 数论奖 张益唐 | ||
+ | *2021 代数奖 许晨阳 | ||
==图书期刊== | ==图书期刊== | ||
第100行: | 第154行: | ||
*[http://book.huihoo.com/paradox-box/ 《从惊讶到思考——数学悖论奇景》] | *[http://book.huihoo.com/paradox-box/ 《从惊讶到思考——数学悖论奇景》] | ||
*[http://book.huihoo.com/pdf/graph-theory-With-applications/ 《Graph Theory with Applications》] | *[http://book.huihoo.com/pdf/graph-theory-With-applications/ 《Graph Theory with Applications》] | ||
+ | *[https://www.nuprl.org/book/ 《Implementing Mathematics with The Nuprl Proof Development System》] | ||
+ | *[https://www.amazon.com/Mathematical-Proofs-Transition-Advanced-Mathematics/dp/0134746759 《Mathematical Proofs: A Transition to Advanced Mathematics》] Gary Chartrand, Albert D. Polimeni, Ping Zhang | ||
+ | *[https://www.axler.net/HFT.html 《Harmonic Function Theory》] second edition | ||
==课程== | ==课程== | ||
− | *[https://ocw.mit.edu/search/?t=Mathematics MIT Mathematics OpenCourseWare] [https://www.youtube.com/c/mitocw MIT OpenCourseWare @ YouTube] | + | *[https://ocw.mit.edu/courses/6-042j-mathematics-for-computer-science-spring-2015/ Mathematics for Computer Science] [https://ocw.mit.edu/search/?t=Mathematics MIT Mathematics OpenCourseWare] [https://www.youtube.com/c/mitocw MIT OpenCourseWare @ YouTube] |
==图集== | ==图集== | ||
<gallery> | <gallery> | ||
+ | image:mathematics-genealogy-skeleton.png|数学谱系 | ||
image:branch-of-mathematics.jpg|数学的各个分支 | image:branch-of-mathematics.jpg|数学的各个分支 | ||
+ | image:The-Periodic-Table-of-Finite-Simple-Groups.jpg|有限简单群的周期表 | ||
image:mathematicians.png|数学家 | image:mathematicians.png|数学家 | ||
+ | image:Mathematical-Thought-from-Ancient-to-Modern-Times.jpg|古今数学思想 | ||
image:mathcha.io.png|Mathcha | image:mathcha.io.png|Mathcha | ||
image:mathematics-emc2.jpeg|E=mc2 | image:mathematics-emc2.jpeg|E=mc2 | ||
第119行: | 第179行: | ||
image:computational-mathematics.png|应用数学 | image:computational-mathematics.png|应用数学 | ||
image:Functions-and-Limits.png|函数与极限 | image:Functions-and-Limits.png|函数与极限 | ||
+ | image:mathematics-symbol-history.jpg|一些数学符号的历史 | ||
+ | image:greek-letters.png|TeX希腊字母 | ||
image:The-Greek-Alphabet.png|希腊字母表 | image:The-Greek-Alphabet.png|希腊字母表 | ||
image:The-Greek-Alphabet.png-asciimath.png|希腊字母表 | image:The-Greek-Alphabet.png-asciimath.png|希腊字母表 | ||
image:geogebra-example.png|GeoGebra | image:geogebra-example.png|GeoGebra | ||
+ | image:Witch-Of-Agnesi.png|箕舌线(阿涅西的女巫) | ||
</gallery> | </gallery> | ||
第131行: | 第194行: | ||
==链接== | ==链接== | ||
+ | *[https://ncatlab.org/ nLab Wiki] 网站对数学、[[physics|物理学]]、哲学领域有着清晰、深刻的整理 | ||
+ | *[https://ncatlab.org/nlab/show/math+blogs math blogs and online mathematical communities] | ||
*[https://www.mathunion.org/ IMU] [https://www.youtube.com/c/InternationalMathematicalUnion International Mathematical Union (IMU) @ YouTube] | *[https://www.mathunion.org/ IMU] [https://www.youtube.com/c/InternationalMathematicalUnion International Mathematical Union (IMU) @ YouTube] | ||
*[https://www.ams.org 美国数学学会(AMS)] | *[https://www.ams.org 美国数学学会(AMS)] |
2023年8月13日 (日) 23:20的最后版本
您可以在Wikipedia上了解到此条目的英文信息 Mathematics Thanks, Wikipedia. |
数学(Mathematics)
数学之美
目录 |
[编辑] 简介
数学,是一门研究数量、结构以及空间等概念及其变化的学科。
极限概念是数学的核心,分析的核心是微积分。
数学三大基石:分析、代数、几何
重要数学分支:代数几何、微分几何、拓扑空间(拓扑学)...
数学家研究的不是对象,而是对象之间的关系。 对于他们来说,只要关系不变,就完全可以用另一组对象来取代现有的对象。 他们不关注对象的内容,只关注形式。
——庞加莱《科学与假设》(Science and Hypothesis)
[编辑] 计划纲领
爱尔兰根纲领(Erlangen program):认为几何就是研究变换群下不变的性质,几何的不同实为不同的变换群所致
朗兰兹纲领(Langlands program):述说数论与群论的深刻联系,被视为“数学的一种大统一理论”
希尔伯特计划(Hilbert's program):主要目标是为全部的数学提供一个安全的理论基础
[编辑] 数学分类数学百科
PlanetMath 是一本自由、协作的网络数学百科全书。强调同行评审、严密、公开、具教育性、实时内容、内容互连、以及群体协作,所有内容使用 LaTeX 编写,采用 CC 知识共享许可协议。
PlanetMath 的目标是成为一本综合性的网络数学百科全书,另一个主流是由 Wolfram Research 维护的 MathWorld
以同行评审为中心的性质使得 PlanetMath 的内容比起 MathWorld 更与众不同、更严密及更有学院味道。
PlanetMath 每一个条目都使用美国数学学会(AMS)的分类系统来分门别类。
数学学科分类标准(Mathematics Subject Classification,MSC)是由美国数学学会(American Mathematical Society,AMS)策划的建立在两个主要的引文数据库数学评论和数学文摘上的字母数字混合的分类方案。
[编辑] 方法论
数学的思维方式是一种科学的思维方式,它是一个全过程:观察客观现象,提出要研究的问题,抓住主要特征,抽象出概念,或者建立模型;运用解剖麻雀、直觉、归纳、类比、联想、逻辑推理等进行探索,猜测可能有的规律;采用公理化的方法,即只使用公理、定义和已经证明了的定理进行逻辑推理来严密论证,揭示出事物的内在规律,从而使纷繁复杂的现象变得井然有序。”观察——抽象——探索——猜测——论证”是数学思维方式全过程的五个重要环节。按照数学的思维方式学习数学是学好数学的正确途径,在学习教学过程中受到教学思维方式的熏陶和训练,对于学生今后从事任何工作都有帮助,终身受益。《数学的思维方式与创新》(序言)
就像格罗滕迪克所说:“构成一个研究者创造力和想象力的本质,是他们聆听事情内部声音的能力。”这里没有等级高下,没有阶层之分,在对未知的探索前人人平等,每个人都拥有绝对的自由。每一个数学家愿意孜孜不倦研究数学的最主要动力不是别的,是我们享受那种日复一日,能够从现实生活中超越出来,去聆听,和发现世界运行规律的时刻。——许晨阳
[编辑] 数学素养
数学六大核心素养:
- 数学抽象(mathematical abstraction)
- 逻辑推理(logical reasoning)
- 数学建模(mathematical modeling)
- 直观想象(intuitive imagination)
- 数学运算(mathematical operation)
- 数据分析(data analysis)
[编辑] 数学物理
在数学的所有学科中,微分方程理论是最重要的。物理学的所有分支提出问题,它们可以被归结为微分方程的积分。更一般地,对于所有依赖于时间的自然现象由微分方程理论所给出。—— S.李 (1894)
泛函分析在数学物理方程,概率论,计算数学等分科中都有应用,也是研究具有无限个自由度的物理系统的数学工具。只有在泛函分析的框架中才有可能更深刻地理解量子力学。
自然界中最重要的过程由复杂的非线性偏微分方程所描述。其中有流体动力学、气体动力学、弹性理论、化学过程、广义相对论(宇宙学)、量子电动力学、规范场论(在基本粒子理论中的标准模型)等方面的方程。非线性项的出现相应于相互作用。
[编辑] 分支领域
- 代数
- 数论
- 微积分
- 数学分析 泛函分析(Functional Analysis)...
- 数学模型
- 代数几何
- 微分几何
- 线性代数
- 计算数学
- 数值分析/数值计算
- 概率论与统计学(可理解为应用数学的重要领域,R统计计算软件)
- 数理逻辑/数学证明
- 数学哲学
...
[编辑] 数学家
- Mathematicians in Mathematics Genealogy Project (MGP)
- MacTutor 数学史档案 包含3000多名数学家的传记和2000多页的论文和相关材料。
- 维基百科 Lists of mathematicians 数学家列表
- 国际数际数学家大会(International Congress of Mathematicians) 搜狗百科
- 佩雷尔曼 佩雷尔曼发表在arXiv.org上的论文 国际奥林匹克数学竞赛中的成绩:满分
- John W. Milnor
- Terence Tao 陶哲轩
- 希尔伯特1900年23个问题演讲内容的英文翻译
[编辑] 研究所
- 普林斯顿高等研究院
- 法国高等科学研究所
- 克雷数学研究所
- 巴西国立纯数学和应用数学研究所(IMPA)被认为是拉丁美洲最好的数学研究所
- 圆周理论物理研究所(Perimeter Institute for Theoretical Physics)是加拿大安大略省滑铁卢市的一所独立研究机构,致力于理论物理学的基本议题。
[编辑] 著名学府数学系
- Princeton Mathematics
- MIT Mathematics
- Stanford Mathematics Stanford CS Theory The Geometric Computation Group
- Harvard Mathematics
- Oxford Mathematics
- Cambridge Mathematics
[编辑] 项目
- list of mathematics software
- Netlib is a collection of mathematical software, papers, and databases.
- Math, Statistics, and Computational Science
- NIST Digital Library of Mathematical Functions
- Guide to Available Mathematical Software (GAMS)
- Maxima
- SageMath
- Scilab
- GNU Octave
- Eigen
- TeX, LaTeX
- MathML, MathJax, KaTeX
- Fortran, Lisp, C++
- Debian Science Mathematics packages
- FreeFEM is a popular 2D and 3D partial differential equations (PDE) solver
- Cantor 是一个强大的数学和统计学工具包的前端。Cantor 将它们集成到 KDE 平台并提供了美观,基于工作表的图形用户界面。它支持 KAlgebra,Lua,Maxima,R,Sage,GNU Octave,Python,Scilab 和 Qalculate 环境。
[编辑] IMO
International Mathematical Olympiad (IMO)
[编辑] 菲尔兹奖
菲尔兹奖(Fields Medal) 数学界的诺贝尔奖
[编辑] 沃尔夫数学奖
[编辑] 阿贝尔奖
The Abel Prize 阿贝尔奖是一项挪威设立的数学界大奖
[编辑] 柯尔奖
柯尔奖(Cole Prize ,Frank Nelson Cole Prize) 由美国数学学会授奖。分数论奖和代数奖,分别奖励数论和代数领域的成果。
- 2014 数论奖 张益唐
- 2021 代数奖 许晨阳
[编辑] 图书期刊
- 《数学大师 从芝诺到庞加莱》 [美]埃里克·坦普尔·贝尔(Eric Temple Bell)
- 《集合论导引》三卷,第一卷 基本理论,第二卷 集合论模型,第三卷 高阶无穷,冯琦 著
- 《计算数学》是数值计算的理论、分析及其应用的学术性刊物
- 《从惊讶到思考——数学悖论奇景》
- 《Graph Theory with Applications》
- 《Implementing Mathematics with The Nuprl Proof Development System》
- 《Mathematical Proofs: A Transition to Advanced Mathematics》 Gary Chartrand, Albert D. Polimeni, Ping Zhang
- 《Harmonic Function Theory》 second edition
[编辑] 课程
[编辑] 图集
[编辑] 希腊字母
[编辑] 链接
- nLab Wiki 网站对数学、物理学、哲学领域有着清晰、深刻的整理
- math blogs and online mathematical communities
- IMU International Mathematical Union (IMU) @ YouTube
- 美国数学学会(AMS)
- 数学谱系计划(Mathematics Genealogy Project)是一个针对数学家学术谱系的网络数据库
- 麻省理工(MIT)牛人解说数学体系、原始出处
- 家徒四壁与母亲相依为命 一无所有的数学国王: 佩雷尔曼
- 数学不好,也可以学习人工智能
- 3Blue1Brown Animated math(油管)
- Oxford Mathematics(油管)
- 数立方
- 有关数学的内容存档