Rare Speed-up in Automatic Theorem Proving Reveals Tradeoff Between Computational Time and Information Value

It has traditionally been argued that the value of information, where known in advance, can never be less than zero, because decision-making can always ignore extraneous information, proceeding as if such information were not available. In this paper we follow a formal approach that suggests that inquiring after or figuring out (as opposed to being […]