"In the 1970s I even got to meet Kurt Gödel a few times. The king of the logicians. Gödel once told me, “The a priori is very powerful.” By this he meant that pure logic can take you farther than you might believe possible."