The Madness of Mathness

Let us grant that the pursuit of mathematics is a divine madness of the human spirit, a refuge from the goading urgency of contingent happenings. When we think of mathematics, we have in our mind a science devoted to the exploration of number, quantity, geometry, and in modern times also including investigation into yet more abstract concepts of order, and into analogous types of purely logical relations. The point of mathematics is that in it we have always got rid of the particular instance, and even of any particular sorts of entities. So that for example, no mathematical truths apply merely to fish, or merely to stones, or merely to colours. So long as you are dealing with pure mathematics, you are in the realm of complete and absolute abstraction. All you assert is, that reason insists on the admission that, if any entities whatever have any relations which satisfy such-and-such purely abstract conditions, then they must have other relations which satisfy other purely abstract conditions.

• Alfred North Whitehead, Science and the Modern World (1925), chapter II, “Mathematics as an Element in the History of Thought”

Nice Von

“If people do not believe that mathematics is simple, it is only because they do not realize how complicated life is.” — John von Neumann

This quote is popular on web pages about von Neumann, and about computing and mathematics generally. It is apparently not from a published work of von Neumann’s, but Franz L. Alt recalls it as a remark made from the podium by von Neumann as keynote speaker at the first national meeting of the Association for Computing Machinery in 1947. The exchange at that meeting is described at the end of Alt’s brief article “Archaeology of computers: Reminiscences, 1945–1947”, Communications of the ACM, volume 15, issue 7, July 1972, special issue: Twenty-fifth anniversary of the Association for Computing Machinery, p. 694. Alt recalls that von Neumann “mentioned the ‘new programming method’ for ENIAC and explained that its seemingly small vocabulary was in fact ample: that future computers, then in the design stage, would get along on a dozen instruction types, and this was known to be adequate for expressing all of mathematics…. Von Neumann went on to say that one need not be surprised at this small number, since about 1,000 words were known to be adequate for most situations of real life, and mathematics was only a small part of life, and a very simple part at that. This caused some hilarity in the audience, which provoked von Neumann to say: ‘If people do not believe that mathematics is simple, it is only because they do not realize how complicated life is.’ ”

Source of John von Neumann quote

Lesz is More

• Matematyka jest najpotężniejszym intelektualnym wehikułem, jaki kiedykolwiek został skonstruowany, za pomocą którego uciekamy przed czasem, lecz nie ma powodu przypuszczać, że mogłaby kiedyś umożliwić tego rodzaju ucieczkę, jaką ucieleśnia pogoń za Absolutem. — Leszek Kołakowski

• Mathematics is the most powerful intellectual vehicle that has ever been constructed, by means of which we flee ahead of time, but there is no reason to suppose that it could someday enable the kind of escape embodied by the pursuit of the Absolute. — Leszek Kołakowski