Hacker News new | ask | show | jobs
by woodman 4159 days ago
> 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.