皮亚诺公理、形式系统和元数学——《数学女孩3:哥德尔不完备定理》笔记 2022-09-01 2023.9.30 编:毕导出了一期视频讲解哥德尔不完备(第一、第二)定理,还蛮不错的,推荐观看。这里是链接:https://www.bilibili.com/video/BV19u4y1D7GT 元数学是什么 元数学就是研究数学的数学。 皮亚诺公理和形式系统都是在定义数学的微缩模型: [皮亚诺公理](https://zh.wikipedia.org/wiki/%E7%9A% ...
矩阵求导(转载) 2019-10-05 太硬核了,放个链接(挖个坑)就跑。 https://zhuanlan.zhihu.com/p/24709748 https://github.com/microsoft/ai-edu/blob/master/A-基础教程/A2-神经网络基本原理简明教程/Appendix/01.1-基本数学导数公式.md#115-矩阵求导 由于链接 2 有变动,因此下面对文章内容进行备份。 <! ...
Wolfram Alpha 和 Mathematica 2019-07-07 之前一直分不清 Wolfram Alpha 和 Mathematica,以为在线的那个网站就是 Mathematica。 后来装了桌面 Mathematica,并且简单了解了一点语法以后,才明白二者的区别。 这两个是同一个公司的两款产品,别搞混了。他们的语法虽然有点区别,但是都是基于 Wolfram 语言。 Wolfram Alpha [Wolfram Alpha](https:// ...
《数学女孩》笔记 2018-07-01 《数学女孩》系列以小说的形式展开,重点描述一群年轻人探寻数学中的美。内容由浅入深,数学讲解部分十分精妙,被称为“绝赞的数学科普书”。 —— 图灵新知 数学女孩 1-6 大纲 《数学女孩》:由浅至深讲解了等比数列、泰勒展开、 无穷级数、生成函数、卷积、调和数、分拆数等知识 《数学女孩2:费马大定理》 ...