"Understanding the limits of computation is as important as expanding its capabilities."