Page 1 of 1

Demonstration Graph (of dependencies on axioms)

Posted: Sat Jan 08, 2011 3:20 pm UTC
by CallMeJudas
Hello,

I search for a sort of "Graph" which link thorem to axioms or others theorems they use.Like this:http://xkcd.nl/cYr/path4580.png

(I search too for a demonstration interactive graph in witch description and demonstation(s) of each theorem can be accessed).
I doubt it exists but it will be so awesome.
I would be interrested too in some link/book to other people trying to do this (clarify how we come up with a theorem,each theorem step).

Is this insane?

Re: Demonstration Graph (of dependencies on axioms)

Posted: Sun Jan 09, 2011 11:59 am UTC
by CallMeJudas
I found it!!

http://mizar.org/library/tree/

Re: Demonstration Graph (of dependencies on axioms)

Posted: Sun Jan 09, 2011 2:07 pm UTC
by Eastwinn
CallMeJudas wrote:I found it!!

http://mizar.org/library/tree/


You're not supposed to post a link until you have 5 posts. I'll confirm that the link is legit though. I recommend the text version.