Webtagr
前沿科技资讯摘要
QB64
搜索技巧
核手提箱
文字记录
海洋云增白
开源地图
Bliss
AI 搜索答案
深海沉船
自由职业
policy
小团队
颈挂空调
Chumby
个人电脑
极端主义
团队
世界
PostgreSQL
AI工具
证券
DirectX
防溢
DrawingPics
Zulip
儿童读物
化学
连续滚动
代码审查
三菱电机
更多
推荐
最新
详情
格罗滕迪克对等式的使用
(
arxiv.org
)
原文:
[2405.10387] Grothendieck's use of equality
这篇文章讨论了数学家(包括格罗滕迪克)如何使用“等式”的概念,以及在试图将数学形式化时会产生什么影响。文章挑战了一些关于等式的看似合理的口号。
35
格罗滕迪克
等式
上一篇: 高绩效员工频繁跳槽的原因:找不到高绩效文化
下一篇: 液体逻辑门 - Imgur动图
评论已经关闭!
返回首页