Is there such a thing as the graph of lemmas and theorems in mathematics, somewhere online?
I can't really understand much of mathematics, but I would appreciate seeing the graph of how all major proofs are constructed with help of other proofs.
I can't really understand much of mathematics, but I would appreciate seeing the graph of how all major proofs are constructed with help of other proofs.
But if you’re interested in any given classical result, if you ask I’m sure a mathematician can give you a rough idea of what the path back down to first principles is. If you’re not literally interested in starting by assuming the existence of the empty set, say, then opening any introductory book on the topic will give you an idea. Just look at the proof of the result and follow its references back. It won’t go that deep.
Every mathematician is working on their own TREE, I assume. But might be useful if somebody was looking at how the FOREST is doing.
Yet somehow Google managed to index the Internet.
And the human genome is indexed.