Mathematical knowledgebase (continuation) One feature for such knowledgebase could be very useful: One can formulate some statement or hypothesis and the system should find if this statement has already been proven (and point to the proof then). Even if it there isn't any proof of this statement in the knowledgebase it could still try to find all proven theorems with stronger conditions or weaker conclusions. Such system should also have the information if somebody else had tried to prove this theorem and, even if he failed, how much effort did he devoted to the problem. On the other side, even if a proof was found, it could try to find more general variants of the theorem (with weaker conditions or stronger conclusions).
7:32:05 PM
|
|