 The correctness of Gödel’s theorems remained the subject of lively debate throughout the 1930s (see Dawson 1985). In 1939, Hilbert and Bernays’ second volume of Die Grundlagen der Mathematik appeared, including a detailed proof of the second incompleteness theorem. Thereafter, serious opposition to Gödel’s conclusions disappeared at least among those who were working actively in mathematical logic and the foundations of mathematics. However, in more philosophical circles, some resistance remained. Most famously, Wittgenstein made some critical remarks concerning Gödel’s theorem in his posthumously published Remarks on the Foundations of Mathematics. The dominant initial reaction was that Wittgenstein simply failed to understand the result. More charitable interpretations have emerged, and the debate is still very much alive (see the section on Gödel and undecidable propositions in the entry on  Wittgenstein’s philosophy of mathematics).