 Both many-valued logic, introduced by Łukasiewicz in the twenties (Łukasiewicz 1970) and intuitionistic logic, formalized by Heyting in 1930, fail to satisfy the law of excluded middle. It was therefore natural to ask whether intuitionistic logic can be presented as a many-valued logic, and indeed a number of logicians in the 1920s had suggested just that. In his 1932 Gödel gave a simple argument which shows that intuitionistic propositional logic cannot be thought of as a finitely-valued logic. Precisely, Gödel proved two theorems: