TE
科技回声
首页24小时热榜最新最佳问答展示工作
GitHubTwitter
首页

科技回声

基于 Next.js 构建的科技新闻平台,提供全球科技新闻和讨论内容。

GitHubTwitter

首页

首页最新最佳问答展示工作

资源链接

HackerNews API原版 HackerNewsNext.js

© 2025 科技回声. 版权所有。

The network of mathematics

75 点作者 nhamann将近 12 年前

4 条评论

igravious将近 12 年前
I remember seeing many years ago a fairly dense one page diagram of how most of the major "bits" of mathematic hang together. I can never for the life of me dig it up again. Anyone know what I'm on about / got any pointers?
评论 #6150884 未加载
评论 #6151272 未加载
评论 #6152718 未加载
nhamann将近 12 年前
Not mentioned in the article is that the Stacks Project is on github <a href="https://github.com/stacks" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;stacks</a><p>I&#x27;ve always thought that math books should in digraph rather than linear form. What would be interesting is to combine this with a wiki. You could have alternate proofs of the same lemma, or even entirely different presentations (starting from different axioms, for instance)
currywurst将近 12 年前
Is there something like this for computer science ?
评论 #6151905 未加载
teilo将近 12 年前
No, &quot;all math&quot; will not be linked up like this some day, because that is impossible. Not all mathematical truths can be proven to be true.
评论 #6151491 未加载
评论 #6151276 未加载
评论 #6153683 未加载