The Math Forum

Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Math Forum » Discussions » sci.math.* » sci.math

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Matheology § 208
Replies: 5   Last Post: Feb 3, 2013 4:58 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]

Posts: 18,076
Registered: 1/29/05
Matheology § 208
Posted: Feb 3, 2013 3:23 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

Matheology § 208

In Consistency in Mathematics (1929), Weyl characterized the
mathematical method as

the a priori construction of the possible in opposition to the a
posteriori description of what is actually given. {{Above all,
mathematics has to be consistent. And there is only one criterion for
consistency: The "model" of reality.}}

The problem of identifying the limits on constructing ?the possible?
in this sense occupied Weyl a great deal. He was particularly
concerned with the concept of the mathematical infinite, which he
believed to elude ?construction? in the naive set-theoretical sense.
Again to quote a passage from Das Kontinuum:

No one can describe an infinite set other than by indicating
properties characteristic of the elements of the set?. The notion that
a set is a ?gathering? brought together by infinitely many individual
arbitrary acts of selection, assembled and then surveyed as a whole by
consciousness, is nonsensical; ?inexhaustibility? is essential to the

Small wonder, then, that Hilbert was upset when Weyl joined the
Brouwerian camp.

[John L. Bell: "Hermann Weyl", Stanford Encyclopedia of Philosophy

Regards, WM

For older §§ see

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2018. All Rights Reserved.