Monday, April 23, 2012
Footnote
Saturday, October 12, 2013
The Story Theory of Truth
At right above, a possible image of Queen Isabella I
of Castile, attributed to Gerard David.
At left above, a Hollywood version.
Happy birthday to Chris Wallace and Hugh Jackman.
Related material: The Foot Configuration
and Jews Telling Stories.
See also the epigraph to this morning's post Deconstruction —
" … Had they deceived us
Or deceived themselves, the quiet-voiced elders,
Bequeathing us merely a receipt for deceit?"
— Four Quartets
Wednesday, February 13, 2019
April 18, 2003 (Good Friday), Continued
"The purpose of mathematics cannot be derived from an activity
inferior to it but from a higher sphere of human activity, namely,
religion."
— Igor Shafarevitch, 1973 remark published as above in 1982.
"Perhaps."
— Steven H. Cullinane, February 13, 2019
From Log24 on Good Friday, April 18, 2003 — . . . What, indeed, is truth? I doubt that the best answer can be learned from either the Communist sympathizers of MIT or the “Red Mass” leftists of Georgetown. For a better starting point than either of these institutions, see my note of April 6, 2001, Wag the Dogma. See, too, In Principio Erat Verbum , which notes that “numbers go to heaven who know no more of God on earth than, as it were, of sun in forest gloom.” Since today is the anniversary of the death of MIT mathematics professor Gian-Carlo Rota, an example of “sun in forest gloom” seems the best answer to Pilate’s question on this holy day. See
“Examples are the stained glass windows Motto of Plato’s Academy † The Exorcist, 1973 |
Detail from an image linked to in the above footnote —
"And the darkness comprehended it not."
Id est :
A Good Friday, 2003, article by
a student of Shafarevitch —
"… there are 25 planes in W . . . . Of course,
replacing {a,b,c} by the complementary set
does not change the plane. . . ."
Of course.
See. however, Six-Set Geometry in this journal.
Wednesday, December 25, 2013
Rotating the Facets
"… her mind rotated the facts…."
Related material— hypercube rotation,* in the context
of rotational symmetries of the Platonic solids:
"I've heard of affairs that are strictly Platonic"
* Footnote added on Dec. 26, 2013 —
See Arnold Emch, "Triple and Multiple Systems, Their Geometric
Configurations and Groups," Trans. Amer. Math. Soc. 31 (1929),
No. 1, 25–42.
On page 42, Emch describes the above method of rotating a
hypercube's 8 facets (i.e., three-dimensional cubes) to count
rotational symmetries —
See also Diamond Theory in 1937.
Also on p. 42, Emch mentions work of Carmichael on a
Steiner system with the Mathieu group M_{11} as automorphism
group, and poses the problem of finding such systems and
groups that are larger. This may have inspired the 1931
discovery by Carmichael of the Steiner system S(5, 8, 24),
which has as automorphisms the Mathieu group M_{24} .
Monday, April 23, 2012
Mate in Six
In memory of Mike Wallace—
- An April 8 post noting the death of Wallace—
a NY Times obituary notice with ad at top— "The North Face"
- An April 21 post noting the death of Charles Colson,
reportedly at at 3:12 PM on Saturday, April 21, 2012,
with ad at top— "Discover New Horizons"
- An April 21 post linking to a 3/12 post (this date being
suggested by the reported time of Colson's death)
that has a review of the film "The Ninth Configuration"
- An April 22 post with six lines that some might
interpret as meeting on a horizon, two lines that might
be interpreted as meeting at a "depth horizon," and
a ninth line that emerges from the other eight
- An April 23 post that combines a passage from
"The Ninth Configuration" with a detail from
the North Face ad that appeared above Wallace's
NY TImes obituary on April 8 and again above
Colson's obituary on April 23
- "The game's…"
See also Knight Moves.
Monday, January 23, 2006
Monday January 23, 2006
In Defense of Hilbert
(On His Birthday)
Michael Harris (Log24, July 25 and 26, 2003) in a recent essay, Why Mathematics? You Might Ask (pdf), to appear in the forthcoming Princeton Companion to Mathematics:
“Mathematicians can… claim to be the first postmodernists: compare an art critic’s definition of postmodernism– ‘meaning is suspended in favor of a game involving free-floating signs’– with Hilbert’s definition of mathematics as ‘a game played according to certain simple rules with meaningless marks on paper.'”
Harris adds in a footnote:
“… the Hilbert quotation is easy to find but is probably apocryphal, which doesn’t make it any less significant.”
If the quotation is probably apocryphal, Harris should not have called it “Hilbert’s definition.”
For a much more scholarly approach to the concepts behind the alleged quotation, see Richard Zach, Hilbert’s Program Then and Now (pdf):
[Weyl, 1925] described Hilbert’s project as replacing meaningful mathematics by a meaningless game of formulas. He noted that Hilbert wanted to ‘secure not truth, but the consistency of analysis’ and suggested a criticism that echoes an earlier one by Frege: Why should we take consistency of a formal system of mathematics as a reason to believe in the truth of the pre-formal mathematics it codifies? Is Hilbert’s meaningless inventory of formulas not just ‘the bloodless ghost of analysis’?”
Some of Zach’s references:
[Ramsey, 1926] Frank P. Ramsey. Mathematical logic. The Mathematical Gazette, 13:185-94, 1926. Reprinted in [Ramsey, 1990, 225-244].
[Ramsey, 1990] Frank P. Ramsey. Philosophical Papers, D. H. Mellor, editor. Cambridge University Press, Cambridge, 1990
From Frank Plumpton Ramsey’s Philosophical Papers, as cited above, page 231:
“… I must say something of the system of Hilbert and his followers…. regarding higher mathematics as the manipulation of meaningless symbols according to fixed rules….
Mathematics proper is thus regarded as a sort of game, played with meaningless marks on paper rather like noughts and crosses; but besides this there will be another subject called metamathematics, which is not meaningless, but consists of real assertions about mathematics, telling us that this or that formula can or cannot be obtained from the axioms according to the rules of deduction….
Now, whatever else a mathematician is doing, he is certainly making marks on paper, and so this point of view consists of nothing but the truth; but it is hard to suppose it the whole truth.”
[Weyl, 1925] Hermann Weyl. Die heutige Erkenntnislage in der Mathematik. Symposion, 1:1-23, 1925. Reprinted in: [Weyl, 1968, 511-42]. English translation in: [Mancosu, 1998a, 123-42]….
[Weyl, 1968] Hermann Weyl. Gesammelte Abhandlungen, volume 1, K. Chandrasekharan, editor. Springer Verlag, Berlin, 1968.
[Mancosu, 1998a] Paolo Mancosu, editor. From Brouwer to Hilbert. The Debate on the Foundations of Mathematics in the 1920s. Oxford University Press, Oxford, 1998.
From Hermann Weyl, “Section V: Hilbert’s Symbolic Mathematics,” in Weyl’s “The Current Epistemogical Situation in Mathematics,” pp. 123-142 in Mancosu, op. cit.:
“What Hilbert wants to secure is not the truth, but the consistency of the old analysis. This would, at least, explain that historic phenomenon of the unanimity amongst all the workers in the vineyard of analysis.
To furnish the consistency proof, he has first of all to formalize mathematics. In the same way in which the contentual meaning of concepts such as “point, plane, between,” etc. in real space was unimportant in geometrical axiomatics in which all interest was focused on the logical connection of the geometrical concepts and statements, one must eliminate here even more thoroughly any meaning, even the purely logical one. The statements become meaningless figures built up from signs. Mathematics is no longer knowledge but a game of formulae, ruled by certain conventions, which is very well comparable to the game of chess. Corresponding to the chess pieces we have a limited stock of signs in mathematics, and an arbitrary configuration of the pieces on the board corresponds to the composition of a formula out of the signs. One or a few formulae are taken to be axioms; their counterpart is the prescribed configuration of the pieces at the beginning of a game of chess. And in the same way in which here a configuration occurring in a game is transformed into the next one by making a move that must satisfy the rules of the game, there, formal rules of inference hold according to which new formulae can be gained, or ‘deduced,’ from formulae. By a game-conforming [spielgerecht] configuration in chess I understand a configuration that is the result of a match played from the initial position according to the rules of the game. The analogue in mathematics is the provable (or, better, the proven) formula, which follows from the axioms on grounds of the inference rules. Certain formulae of intuitively specified character are branded as contradictions; in chess we understand by contradictions, say, every configuration which there are 10 queens of the same color. Formulae of a different structure tempt players of mathematics, in the way checkmate configurations tempt chess players, to try to obtain them through clever combination of moves as the end formula of a correctly played proof game. Up to this point everything is a game; nothing is knowledge; yet, to use Hilbert’s terminology, in ‘metamathematics,’ this game now becomes the object of knowledge. What is meant to be recognized is that a contradiction can never occur as an end formula of a proof. Analogously it is no longer a game, but knowledge, if one shows that in chess, 10 queens of one color cannot occur in a game-conforming configuration. One can see this in the following way: The rules are teaching us that a move can never increase the sum of the number of queens and pawns of one color. In the beginning this sum = 9, and thus– here we carry out an intuitively finite [anschaulich-finit] inference through complete induction– it cannot be more than this value in any configuration of a game. It is only to gain this one piece of knowledge that Hilbert requires contentual and meaningful thought; his proof of consistency proceeds quite analogously to the one just carried out for chess, although it is, obviously, much more complicated.
It follows from our account that mathematics and logic must be formalized together. Mathematical logic, much scorned by philosophers, plays an indispensable role in this context.”
Constance Reid says it was not Hilbert himself, but his critics, who described Hilbert’s formalism as reducing mathematics to “a meaningless game,” and quotes the Platonist Hardy as saying that Hilbert was ultimately concerned not with meaningless marks on paper, but with ideas:
“Hilbert’s program… received its share of criticism. Some mathematicians objected that in his formalism he had reduced their science to ‘a meaningless game played with meaningless marks on paper.’ But to those familiar with Hilbert’s work this criticism did not seem valid.
‘… is it really credible that this is a fair account of Hilbert’s view,’ Hardy demanded, ‘the view of the man who has probably added to the structure of significant mathematics a richer and more beautiful aggregate of theorems than any other mathematician of his time? I can believe that Hilbert’s philosophy is as inadequate as you please, but not that an ambitious mathematical theory which he has elaborated is trivial or ridiculous. It is impossible to suppose that Hilbert denies the significance and reality of mathematical concepts, and we have the best of reasons for refusing to believe it: “The axioms and demonstrable theorems,” he says himself, “which arise in our formalistic game, are the images of the ideas which form the subject-matter of ordinary mathematics.”‘”— Constance Reid in Hilbert-Courant, Springer-Verlag, 1986 (The Hardy passage is from “Mathematical Proof,” Mind 38, 1-25, 1929, reprinted in Ewald, From Kant to Hilbert.)
Harris concludes his essay with a footnote giving an unsourced Weyl quotation he found on a web page of David Corfield:
“.. we find ourselves in [mathematics] at exactly that crossing point of constraint and freedom which is the very essence of man’s nature.”
One source for the Weyl quotation is the above-cited book edited by Mancosu, page 136. The quotation in the English translation given there:
“Mathematics is not the rigid and petrifying schema, as the layman so much likes to view it; with it, we rather stand precisely at the point of intersection of restraint and freedom that makes up the essence of man itself.”
Corfield says of this quotation that he’d love to be told the original German. He should consult the above references cited by Richard Zach.
For more on the intersection of restraint and freedom and the essence of man’s nature, see the Kierkegaard chapter cited in the previous entry.