> I look forward to the day when you can prove their reasoning wrong in such a reproducible way rather than completely dismissing a conclusion due to some fault

> I look forward to the day when you can prove their reasoning wrong in such a reproducible way rather than completely dismissing a conclusion due to some fault along the way. A set of axioms with a reasoner would do both of those things. That will be web 3.0, it is being worked on.