 Brouwer’s logic has played a role in the Grundlagenstreit (the Foundational Debate) only to the extent that this logic could be seen as a fragment of classical logic. Constructive logic in that sense was a success, and (with a different meaning) it became fundamental to Hilbert’s Program as well. On the other hand, phenomena specific to Brouwer’s full conception of logic, in particular the strong counterexamples, played no role in the Foundational Debate whatsoever. The main reason for this may be that, in their dependence on choice sequences, they use objects that are not acceptable in classical mathematics. (A more subtle matter is whether they are acceptable in Hilbert’s finitary mathematics. According to Bernays, Hilbert never took a position on choice sequences (Gödel 2003a: 279), and more generally never read Brouwer’s papers (van Dalen 2005:  637).[15])  In addition, Brouwer did not announce the existence of strong counterexamples in a loud or polemical way; and when in 1954 he finally did publish (in English) a paper with a polemical title—“An example of contradictority in classical theory of functions”—the Foundational Debate was, in the social sense, long over. Intuitionistic logic and mathematics had been widely accepted to the extent that they could be seen as the constructive part of classical mathematics, while the typically intuitionistic innovations were ignored. It is not surprising, then, that the presentation of the strong counterexamples in the 1950s did not at all lead to a reopening of the debate. For further discussion of this matter, see Hesseling 2003 and van Atten 2004a.