History
The concept of well-foundedness and rank of a set were both introduced by Dmitry Mirimanoff (1917) cf. Lévy (2002, p. 68) and Hallett (1986, §4.4, esp. p. 186, 188). Mirimanoff called a set x "regular" (French: "ordinaire") if every descending chain x ∋ x1 ∋ x2 ∋ ... is finite. Mirimanoff however did not consider his notion of regularity (and well-foundedness) as an axiom to be observed by all sets (Halbeisen 2012, pp. 62–63); in later papers Mirimanoff also explored what are now called non-well-founded sets ("extraordinaire" in Mirimanoff's terminology) (Sangiorgi 2011, pp. 17–19, 26).
According to Adam Rieger, von Neumann (1925) describes non-well-founded sets as "superfluous" (on p. 404 in van Heijenoort 's translation) and in the same publication von Neumann gives an axiom (p. 412 in translation) which excludes some, but not all, non-well-founded sets (Rieger 2011, p. 179). In a subsequent publication, von Neumann (1928) gave the following axiom (rendered in modern notation by A. Rieger):
- .
Read more about this topic: Axiom Of Regularity
Famous quotes containing the word history:
“the future is simply nothing at all. Nothing has happened to the present by becoming past except that fresh slices of existence have been added to the total history of the world. The past is thus as real as the present.”
—Charlie Dunbar Broad (1887–1971)
“The visual is sorely undervalued in modern scholarship. Art history has attained only a fraction of the conceptual sophistication of literary criticism.... Drunk with self-love, criticism has hugely overestimated the centrality of language to western culture. It has failed to see the electrifying sign language of images.”
—Camille Paglia (b. 1947)
“Racism is an ism to which everyone in the world today is exposed; for or against, we must take sides. And the history of the future will differ according to the decision which we make.”
—Ruth Benedict (1887–1948)