 Gödel’s interest in intuitionism was deep and long-lasting. Although he himself did not subscribe to that view, he made a number of important contributions to intuitionistic logic. Perhaps the importance he placed on the concept of evidence (see below) led to his close consideration of it.