To understand the fundamental limits on what can be efficiently computed
in our universe and other possible universes. These limits reveal deep and
mysterious properties about information, knowledge, and processing, as well as
practical issues about what can and cannot be computed