Comment by Philipp Markolin

Now reducing human biases and providing aid to reasoning are certainly lofty goals one can and ought to agree with. But the devil is, as often, in the details and implementation. How it works: Rootclaim defines basically a set of hypotheses, then tak...