"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..."
Quote Details
Added by wikiquote-import-bot
Unverified quote
0 likes
Original Language: English
Available Languages (1)
Revision History
No revisions have been submitted for this quote.
Categories
Paul Bernays
Paul Isaac Bernays (17 October 1888 – 18 September 1977) was a Swiss mathematician, who made significant contributions to mathematical logic, axiomatic set theory, and the philosophy of mathematics. He was an assistant and close collaborator of David Hilbert.
5 quotes on TrueQuotesView all quotes by Paul Bernays →
Related Quotes
"Enlightened humanity has sought in rational definiteness its liberating refuge from the dominating influence of the mer…"
"I shall now address you on the subject of the present situation in research in the foundations of mathematics. Since …"
"The truth is that the mathematical sciences are growing in complete security and harmony. The ideas of Dedekind, Poin…"
"Bernays's publications extend over the most diverse fields of mathematics … and are all marked by thoroughness and re…"
"I never really had any aspirations to be an actor when I was young. I wanted to play the piano in a bar, to be the ol…"
"If I do decide one day to stop acting, I just hate the idea of people going: 'Oh, did you ever do anything else besid…"
"I don't really know how to act, I kind of wanted to somehow make it real, and one of the ways I've always thought mak…"
"In the days of my early acquaintance with Henley, some fourteen or fifteen years ago, I could never look at him witho…"
"When men live in small communities, ... they cannot avoid personal participation in some public functions. So it was …"
"It is impossible to maintain that these attributes [caution and progress] have been constant in the two great English…"