 Among Gödel’s other significant philosophical works of the 1940s must be counted his 1941 lecture entitled “In What Sense is Intuitionistic Logic Constructive?” (Gödel *1941) in which the notion: “computable function of finite type” is introduced. A paper based on the ideas in the lecture entitled “Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes,” was published only in 1958, and the interpretation of Heyting arithmetic into the quantifier free calculus T in it became known as the “Dialectica Interpretation,” after the journal in which the article was published (Gödel 1958). (For the revision of it from 1972, see Gödel 1995.) Finally the decade saw the beginning of Gödel’s intensive study of Leibniz, which, Gödel reports, occupied the period from 1943 to  1946.[4]