“P. Bernays has pointed out on several occasions that, since the consistency of a system cannot be proved using means of proof weaker than those of the system itself, it is necessary to go beyond the framework of what is, in Hilbert’s sense, finitary mathematics if one wants to prove the consistency of classical mathematics, or even that of classical number theory. Consequently, since finitary mathematics is defined as the mathematics in which evidence rests on what is intuitive, certain abstract notions are required for the proof of the consistency of number theory…. In the absence of a precise notion of what it means to be evident, either in the intuitive or in the abstract realm, we have no strict proof of Bernays’ assertion; practically speaking, however, there can be no doubt that it is correct…”

—  Paul Bernays

Kurt Gödel (1958, CW II, p. 241) as cited in: Feferman, Solomon. " Lieber Herr Bernays!, Lieber Herr Gödel! Gödel on finitism, constructivity and Hilbert's program* http://math.stanford.edu/~feferman/papers/bernays.pdf." dialectica 62.2 (2008): 179-203.

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 "P. Bernays has pointed out on several occasions that, since the consistency of a system cannot be proved using means of…" by Paul Bernays?
Paul Bernays photo
Paul Bernays 4
Swiss mathematician 1888–1977

Related quotes

André Weil photo

“God exists since mathematics is consistent, and the Devil exists since we cannot prove it.”

André Weil (1906–1998) French mathematician

As quoted in Mathematical Circles Adieu (Boston 1977) by H Eves

“From Pythagoras to Boethius, when pure mathematics consisted of arithmetic and geometry while applied mathematics consisted of music and astronomy, mathematics could be characterized as the deductive study of 'such abstractions as quantities and their consequences, namely figures and so forth' (Acquinas ca. 1260). But since the emergence of abstract algebra it has become increasingly difficult to formulate a definition to cover the whole of the rich, complex and expanding domain of mathematics.”

George Frederick James Temple (1901–1992) British mathematician

100 Years of Mathematics: a Personal Viewpoint (1981)

Eduard Jan Dijksterhuis photo

“Classical mechanics is mathematical not only in the sense that it makes use of mathematical terms and methods for abbreviating arguments which might, if necessary, also be expressed in the language of everyday speech; it is so also in the much more stringent sense that its basic concepts are mathematical concepts, that mechanics itself is a mathematics.”

Eduard Jan Dijksterhuis (1892–1965) Dutch historian

Source: The mechanization of the world picture, 1961, p. 499

Bertrand Russell photo

“If a "religion" is defined to be a system of ideas that contains unprovable statements, then Gödel taught us that mathematics is not only a religion, it is the only religion that can prove itself to be one.”

Bertrand Russell (1872–1970) logician, one of the first analytic philosophers and political activist

John D. Barrow, Between Inner and Outer Space: Essays on Science, Art and Philosophy (Oxford University Press, 2000, ISBN 0-192-88041-1, Part 4, ch. 13: Why is the Universe Mathematical? (p. 88). Also found in Barrow's "The Mathematical Universe" http://www.lasalle.edu/~didio/courses/hon462/hon462_assets/mathematical_universe.htm (1989) and The Artful Universe Expanded (Oxford University Press, 2005, ISBN 0-192-80569-X, ch. 5, Player Piano: Hearing by Numbers, p. 250
Misattributed

John D. Barrow photo

“If a 'religion' is defined to be a system of ideas that contains unprovable statements, then Gödel taught us that mathematics is not only a religion, it is the only religion that can prove itself to be one.”

John D. Barrow (1952–2020) British scientist

The Artful Universe (1995)
Context: If a 'religion' is defined to be a system of ideas that contains unprovable statements, then Gödel taught us that mathematics is not only a religion, it is the only religion that can prove itself to be one.<!-- Ch. 5, p. 211

John Nash photo

“By the time I was a student in high school I was reading the classic Men of Mathematics by E. T. Bell and I remember succeeding in proving the classic Fermat theorem about an integer multiplied by itself p times where p is a prime.”

John Nash (1928–2015) American mathematician and Nobel Prize laureate

Autobiographical essay (1994)

A. Wayne Wymore photo

“[The process of system design is]… consisting of the development of a sequence of mathematical models of systems, each one more detailed than the last.”

A. Wayne Wymore (1927–2011) American mathematician

A. Wayne Wymore (1970) Systems Engineering Methodology. Department of Systems Engineering, The University of Arizona, p. 14/2; As cited in: J.C. Heckman (1973) Locating traveler support facilities along the interstate system--a simulation using general systems theory. p. 43.

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)

Marilyn Ferguson photo

“Science has always tried to understand nature by breaking things into their parts. Now it is overwhelmingly clear that wholes cannot he understood by analysis. This is one of those logical boomerangs, like the mathematical proof that no mathematical system can be truly coherent in itself.”

Marilyn Ferguson (1938–2008) American writer

The Aquarian Conspiracy (1980), Chapter Six, Liberating Knowledge: News from the Frontiers of Science

“The theory of the nature of mathematics is extremely reactionary. We do not subscribe to the fairly recent notion that mathematics is an abstract language based, say, on set theory. In many ways, it is unfortunate that philosophers and mathematicians like Russell and Hilbert were able to tell such a convincing story about the meaning-free formalism of mathematics. In Greek, mathematics simply meant learning, and we have adapted this... to define the term as "learing to decide."”

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

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

Related topics