Oh, I know that scientist currently use computers to prove things. I mean as a general method of organizing and correlating knowledge that anyone could use. I've seen a similar project, an ontological Wikipedia, but it's probably too tedious for the general practitioner.