Albert Einstein and Kurt Gödel used to walk home together from the Institute for Advanced Study in Princeton. In Incompleteness (2005), Rebecca Goldstein gives a sample of their conversation, broached by Gödel:
All of his thinking is governed by an ‘interesting axiom,’ as Ernst Gabor Straus, Einstein’s assistant from 1944 to 1947, once characterized it. For every fact, there exists an explanation as to why that fact is a fact; why it has to be a fact. This conviction amounts to the assertion that there is no brute contingency in the world, no givens that need not have been given. In other words, the world will never, not even once, speak to us in the way that an exasperated parent will speak to her fractious adolescent: ‘Why? I’ll tell you why. Because I said so!’ The world always has an explanation for itself, or as Einstein’s walking partner puts it, Die Welt is vernunftig, the world is intelligible. The conclusions that emanate from the rigorously consistent application of this ‘interesting axiom’ to every subject that crosses the logician’s mind — from the relationship between the body and the soul to global politics to the very local politics of the Institute for Avanced Study itself — often and radically diverge from the opinions of common sense. Such divergence, however, counts as nothing for him. It is as if one of the unwritten laws of his thought processes is: If reasoning and common sense should diverge, then… so much the worse for common sense! What, in the long run, is common sense, other than common?
Somewhat related: Richard Feynman’s sense of “social irresponsibility.”


