Demonstration Graph (of dependencies on axioms)

For the discussion of math. Duh.

Moderators: gmalivuk, Moderators General, Prelates

CallMeJudas
Posts: 2
Joined: Sat Jan 08, 2011 1:28 pm UTC

Demonstration Graph (of dependencies on axioms)

Postby CallMeJudas » Sat Jan 08, 2011 3:20 pm UTC

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?

CallMeJudas
Posts: 2
Joined: Sat Jan 08, 2011 1:28 pm UTC

Re: Demonstration Graph (of dependencies on axioms)

Postby CallMeJudas » Sun Jan 09, 2011 11:59 am UTC

I found it!!

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

User avatar
Eastwinn
Posts: 303
Joined: Thu Jun 19, 2008 12:36 am UTC
Location: Maryland

Re: Demonstration Graph (of dependencies on axioms)

Postby Eastwinn » Sun Jan 09, 2011 2:07 pm UTC

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.
http://aselliedraws.tumblr.com/ - surreal sketches and characters.


Return to “Mathematics”

Who is online

Users browsing this forum: No registered users and 10 guests