Paul Cohen: Use

Paul Cohen was American mathematician. Explore interesting quotes on use.

Paul Cohen: 10 quotes0 likes

“However, in all honesty, I must say that one must essentially forget that all proofs are transcribed in this formal language. In order to think productively, one must use all the intuitive and informal methods of reasoning at one's disposal. At the very end one must check that no errors have been committed; but in practice set theory is treated as any other branch of mathematics. The reason that we can do this is that we will never speak about proofs but only about models.”

Paul Cohen

p. 1078 of "The discovery of forcing." http://www.logic.univie.ac.at/~ykhomski/ST2013/The%20Discovery%20of%20Forcing.pdf Rocky Mountain Journal of Mathematics 32, no. 4 (2002): 1071–1100.

“The object of mathematics is to discover "true" theorems. We shall use the term "valid" to describe statements formed according to certain rules and then shall discuss how this notion compares with the intuitive idea of "true."”

Paul Cohen

Set theory and the continuum hypothesis, p. 8. https://books.google.com/books?id=Z4NCAwAAQBAJ&pg=PA8 <br class="br">Set Theory and the Continuum Hypothesis (1966)

“It is now known that the truth or falsity of the continuum hypothesis and other related conjectures cannot be determined by set theory as we know it today. This state of affairs regarding a classical and presumably well-posed problem must certainly appear rather unsatisfactory to the average mathematician. One is tempted to look more closely and perhaps more critically at the foundations of mathematics. Although our present "Cantorian" mathematics is highly successful in its treatment of abstractions, one must not overlook the fact that from the very beginning the use of infinite processes was regarded with suspicion by many people.”

Paul Cohen

Set theory and the continuum hypothesis, p. 1. https://books.google.com/books?id=Z4NCAwAAQBAJ&pg=PA1 Courier Corporation, 2008 (Dover reprint). <br class="br">Set Theory and the Continuum Hypothesis (1966)