Gradwohl, Ronen; Shmaya, Eran - Center for Mathematical Studies in Economics and … - 2013
We propose to strengthen Popper's notion of falsifiability by adding the requirement that when an observation is inconsistent with a theory, there must be a "short proof" of this inconsistency. We model the concept of a short proof using tools from computational complexity, and provide some...