V
主页
从集合论开始构建数学吧!——Metamath官方介绍
发布人
https://www.youtube.com/watch?v=8WH4Rd4UKGE 原视频标题:Metamath Proof Explorer - A Modern Principia Mathematica 原视频作者:David A. Wheeler Metamath官网:http://us.metamath.org/ Metamath Proof Explorer:http://us.metamath.org/mpeuni/mmset.html
打开封面
下载高清视频
观看高清视频
视频下载器
81种数学符号的介绍
TiddlyWiki教程合集(全8集)
爱因斯坦说:“我们每天上班,就是为了能和他聊天!”
我翻译过最好的四维可视化视频
如果圆周率被算尽,你知道这意味着什么吗?
最理性的思维方式?贝叶斯思维!
凌晨两点,让你去坟场,你害怕;让你做数学题,你不怕。为什么?
搞懂“形而上学”,就懂了哲学一大半,用人话讲透“形而上学”是个啥
2025北师大版八年级数学上逐题解答(持续更新)
顶级数学家有多厉害?
[TiddlyWiki教程]Experience TiddlyWiki Fluency: Creating a Reading List
2021-09-23 Note-writing livestream on retrieval practice systematic review (Agar
【高中数学】那些真正懂向量的,看见几何都笑哭了
陶哲轩《人工智能与数学|Terence Tao at IMO 2024 AI and Mathematics》中英字幕(豆包翻译
2024年入手尼康ZFC 沉浸开箱
50个数学常数解释
图解数学中最美丽的公式- 欧拉公式
ICS Bomb Lab Phase1~6讲解 [2022-10-03 23.34.19]
北大强基,看似简洁,有些难度!
【中科大少年班】数学思维是什么?
24下教资,科三数学主观题汇总,就从里面抽!背完上岸!2024下教资笔试科三高中数学初中数学简答题主观题汇总重点笔记备考经验分享
高中牲看过来,OpenAI新模型o1满分拿下高考数学!?
这就是赶DDL时的代码速度……
微积分的战争:牛顿发明的微积分存在巨大漏洞,引发了数学危机
【记录用】Exponential Idle
自用数学笔记做法分享,有效整理笔记方法
数学竞赛最难模块——数论
华五毕业,ai工程师,重度焦虑抑郁,每天都有濒死感,谈谈我的职场经历。不是我不想努力
基期差秒杀技,谁还直除做差呀?
【博弈论】教授:如果你们每次都能坐满,我就给你们平时分都算满分
[未来的互联网会是怎么样的?]Wayforward Machine from the Internet Archive
偏科战神齐聚名场面,张雪峰都干懵了
李扬老师数分每练例155
【趣味数学】论年级和时区的相似性
[TiddlyWiki] A Tour Through My Zettelkasten
负负得正?需要证明么?
爱因斯坦:成为天才之前
【数学杂谈】最新AI模型能力直逼数学博士???
炸弹每秒钟爆炸概率提高1%,最可能在哪秒爆炸?