Work information

Title 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 […]
Work type Article
Tags general

-------------------------

Registry info in Safe Creative

Identifier 1506244441719
Entry date Jun 24, 2015, 4:20 PM UTC
License Creative Commons Attribution Non-commercial No Derivatives 3.0

-------------------------

Copyright registered declarations

Author. Holder Hector Zenil Chavez. Date Jun 24, 2015.


Information available at https://www.safecreative.org/work/1506244441719-rare-speed-up-in-automatic-theorem-proving-reveals-tradeoff-between-computational-time-and-information-value