 Gödel’s incompleteness theorems showed that Hilbert’s Program, in its most ambitious form, cannot succeed. Brouwer’s assistant Hurewicz discussed the incompleteness theorem in a seminar (van Dalen 2005: 674n.7). There is no comment from Brouwer on Gödel’s first theorem in print; on the other hand, he clearly had the second theorem in mind when he wrote, in 1952, that