"The paper discusses Gödel’s notion of mathematical intuition, arguing that it is not basic for him, but rather “epistemological optimism” underlies it (and a version of the principle of sufficient reason underlies that)."