[yters]

It would be cool if scientist could record their research in a machine understandable format. Then people could either state their assumptions or conclusions and the computer would provide the other side, or state what information is missing.

[rms]

http://en.wikipedia.org/wiki/Four_color_theorem

[yters]

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.