1970s, How do we tell truths that might hurt? (1975)
“To the average mathematician who merely wants to know that his work is securely based, the most appealing choice is to avoid difficulties by means of Hilbert's program. Here one regards mathematics as a formal game and one is only concerned with the question of consistency.”
p. 11 of "Comments on the foundations of set theory." https://books.google.com/books?id=TVi2AwAAQBAJ&pg=PA11 In Axiomatic set theory, pp. 9-15. Providence (RI). American Mathematical Society, 1971.
Help us to complete the source, original and additional information
Paul Cohen 5
American mathematician 1934–2007Related quotes
                                        
                                        Mathematics is a way of preparing for decisions through thinking. Sets and classes provide one way to subdivide a problem for decision preparation; a set derives its meaning from decision making, and not vice versa.
C. West Churchman, Leonard Auerbach, Simcha Sadan, Thinking for Decisions: Deductive Quantitative Methods (1975) Preface. 
1960s - 1970s
                                    
Conclusion in BBC's The Story of Maths, episode 4
Interview translated from the Russian into English and republished in the book Boris A. Khesin; Serge L. Tabachnikov (editors), Arnold: Swimming Against the Tide (2014) Google Books preview http://books.google.com/books?id=aBWHBAAAQBAJ&pg=PA4 pages 4–5.
1999 Lecture—"A Century of Controversy over the Foundations of Mathematics" at U. Massachusetts at Lowell, quoted in [2012, Conversations with a Mathematician: Math, Art, Science and the Limits of Reason, Springer, https://books.google.com/books?id=DczTBwAAQBAJ&pg=PA15] p. 15
Source: Art on the Edge, (1975), p. 71, "Lester Johnson's Abstract Men"
Source: "Presidential Address British Association for the Advancement of Science," 1890, p. 466 : On the expansion of the field of mathematics, and on the importance of a well-chosen notation