“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&amp;pg=PA1 Courier Corporation, 2008 (Dover reprint). <br class="br">Set Theory and the Continuum Hypothesis (1966)

Adopted from Wikiquote. Last update June 3, 2021. History

Help us to complete the source, original and additional information

Do you have more details about the quote "It is now known that the truth or falsity of the continuum hypothesis and other related conjectures cannot be determine…" by Paul Cohen?
Paul Cohen photo
Paul Cohen5
American mathematician 1934–2007

Related quotes

“If we compare. e. g. the systems of classical mathematics and of intuitionistic mathematics, we find that the first is much simpler and technically more efficient, while the second is more safe from surprising occurences, e. g. contradictions. At the present time, any estimation of the degree of safety of the system of classical mathematics, in other words, the degree of plausibility of its principles, is rather subjective. The majority of mathematicians seem to regard this degree as sufficiently high for all practical purposes and therefore prefer the application of classical mathematics to that of intuitionistic mathematics. The latter has not, so far as I know, been seriously applied in physics by anybody.”

Rudolf Carnap (1891–1970) German philosopher

Rudolf Carnap (1939; 51), as cited in: Paul van Ulsen. Wetenschapsfilosofie http://www.illc.uva.nl/Research/Publications/Inaugurals/IV-10-Arend-Heyting.text.pdf, 6 november 2017.

“Analysis of the mathematical form and underlying principles of games was made by von Neumann " as early as 1928. In this early work von Neumann was not so much interested in executive-type problems as he was in the logical foundations of quantum mechanics. It was not until 1944, when von Neumann and Morgenstern published their now well known Theory of Games and Economic Behavior, that the mathematical treatment of games "took fire."”

C. West Churchman (1913–2004) American philosopher and systems scientist

Source: 1940s - 1950s, Introduction to Operations Research (1957), p. 519: Partly cited in: E. Roy Weintraub (1992) Toward a history of game theory. p. 235

Thomas Piketty photo

“Economists are all too often preoccupied with petty mathematical problems of interest only to themselves. This obsession with mathematics is an easy way of acquiring the appearance of scientificity without having to answer the far more complex questions posed by the world we live in.”

Thomas Piketty book Capital in the Twenty-First Century

Source: Capital in the Twenty-First Century (2013), p. 32.

“It is almost as hard to define mathematics as it is to define economics, and one is tempted to fall back on the famous old definition attributed to Jacob Viner, “Economics is what economists do,” and say that mathematics is what mathematicians do. A large part of mathematics deals with the formal relations of quantities or numbers.”

Kenneth E. Boulding (1910–1993) British-American economist

Source: 1970s, Economics As a Science, 1970, p. 97

L. E. J. Brouwer photo

“The viewpoint of the formalist must lead to the conviction that if other symbolic formulas should be substituted for the ones that now represent the fundamental mathematical relations and the mathematical-logical laws, the absence of the sensation of delight, called "consciousness of legitimacy," which might be the result of such substitution would not in the least invalidate its mathematical exactness. To the philosopher or to the anthropologist, but not to the mathematician, belongs the task of investigating why certain systems of symbolic logic rather than others may be effectively projected upon nature. Not to the mathematician, but to the psychologist, belongs the task of explaining why we believe in certain systems of symbolic logic and not in others, in particular why we are averse to the so-called contradictory systems in which the negative as well as the positive of certain propositions are valid.”

L. E. J. Brouwer (1881–1966) Dutch mathematician and logician

as translated by Arnold Dresden from: Brouwer, L. E. J. (1913). Intuitionism and formalism. Bulletin of the American Mathematical Society, 20(2), 81–96. (quote on p. 84)

Max Tegmark photo

“(…) the bottom line is that if you believe in an external reality independent of humans, then you must also believe that our physical reality is a mathematical structure. Nothing else has a baggage-free description. In other words, we all live in a gigantic mathematical object—one that’s more elaborate than a dodecahedron, and probably also more complex than objects with intimidating names such as Calabi-Yau manifolds, tensor bundles and Hilbert spaces, which appear in today’s most advanced physics theories. Everything in our world is purely mathematical—including you.”

Max Tegmark book Our Mathematical Universe

Our Mathematical Universe: My Quest for the Ultimate Nature of Reality (2014)

David Deutsch photo

“Necessary truth is merely the subject-matter of mathematics, not the reward we get for doing mathematics. The object of mathematics is not, and cannot be, mathematical certainty. It is not even mathematical truth, certain or otherwise. It is, and must be, mathematical explanation.”

David Deutsch book The Fabric of Reality

The Fabric of Reality (1997)

Alexander Stepanov photo

“I discovered the works of Euler and my perception of the nature of mathematics underwent a dramatic transformation. I was de-Bourbakized, stopped believing in sets, and was expelled from the Cantorian paradise. I still believe in abstraction, but now I know that one ends with abstraction, not starts with it. I learned that one has to adapt abstractions to reality and not the other way around. Mathematics stopped being a science of theories but reappeared to me as a science of numbers and shapes.”

Alexander Stepanov (1950) Russian programmer

Bjarne Stroustrup: Evolving a language in and for the real world: C++ 1991-2006. ACM HOPL-III. June 2007., 2008-04-25, http://web.archive.org/web/20071120015600/http://www.research.att.com/~bs/hopl-almost-final.pdf, 2007-11-20 http://www.research.att.com/~bs/hopl-almost-final.pdf,

Kurt Gödel photo

“Only someone who (like the Intuitionist) denies that the concepts and axioms of classical set theory have any meaning could be satisfied with such a solution, not someone who believes them to describe some well-determined reality. For in reality Cantor's conjecture must be either true or false, and its undecidability from the axioms as known today can only mean that these axioms do not contain a complete description of reality.”

Kurt Gödel (1906–1978) logician, mathematician, and philosopher of mathematics

David Hilbert photo

“If we do not succeed in solving a mathematical problem, the reason frequently consists in our failure to recognize the more general standpoint from which the problem before us appears only as a single link in a chain of related problems. After finding this standpoint, not only is this problem frequently more accessible to our investigation, but at the same time we come into possession of a method which is applicable also to related problems.”

David Hilbert Mathematical Problems

Mathematical Problems (1900)

Related topics