6
$\begingroup$

In math stack exchange I often see notations like $\{x\in\mathbb Q:x^2<2\}$ being called instances of set builder notation. When I went to school we (that is, I, my fellow students, my teachers, and authors of textbooks such as P. Halmos, N. Bourbaki, et al.) used such notations all the time but never with that description.

My question is, when was this name introduced? Are the references given in the Wikipedia article the original introducers, or just modern users of a recent term for an older idea?

Added, after comments and after Conifold's superb answer goaded me to look a tiny bit harder:

A 1948 University of Chicago Press publication Fundamental Mathematics Volume 1 Prepared for the General Course 1 in the College ("by the College mathematics staff" with a list of 13 names) uses the term "SET-BUILDER" on p.25:

Where $W$ is a property, we use the expression "$S_x[W(x)]$" to stand for "the set of all objects $x$ which have the property $W$" or "the set of all objects $x$ for which '$W(x)$' is true'' or "the set of all $x$ such that $W(x)$". The sign $S$ is known as the SET-BUILDER.

It is photolithographed from a typescript original. What I render as $S_x$ has the $x$ directly under the $S$.

A similar Chicago 1954 book, Concepts and structure of mathematics, by the College mathematics staff, uses the term "set-builder notation", but Google Books doesn't give enough context to show that it is exactly the same as the 2019 sense of the term.

$\endgroup$
  • $\begingroup$ For the history of the symbol see here. For the modern term, we have to investigate; it is quite recent (as you say) : previously it was called abstraction operator or class operator. $\endgroup$ – Mauro ALLEGRANZA Sep 28 '19 at 18:15
  • $\begingroup$ The phrase "set builder notation" was definitely used during the 1960s in U.S. school math (and it was used in my own early 1970s high school math classes), at least in those classes using books from the new math perspective. It may have originated from this literature, maybe sometime in the 1950s, but I'm not sure. I just looked through my reference [1] here and couldn't find the term "set builder" used. $\endgroup$ – Dave L Renfro Sep 28 '19 at 19:43
  • $\begingroup$ Incidentally, in my early 1970s school math classes (both middle school and high school texts, I believe), our textbooks discussed two methods for describing sets. One was set builder notation and the other was roster notation (you explicitly list the elements between braces, with commas between the elements). $\endgroup$ – Dave L Renfro Sep 28 '19 at 19:48
  • $\begingroup$ For the evolution of this notation see Who first discovered the concept corresponding to the symbol of class comprehension? It goes back to Peano and Zermelo, and in the modern form, Lefschetz's Algebraic Topology (1942). The name was attached by the US textbook authors, in the 1960s apparently, earlier names were class comprehension, class abstraction, class operator (Bernays, 1958). $\endgroup$ – Conifold Sep 28 '19 at 20:27
  • $\begingroup$ I have found (with google ngrams) an instance of SBN in a 1957 Mathematics in the Junior High School, which might have been a University of Maryland Mathematics Project publication. I enjoyed some "SMSG" New Math text books in school a few years later, but did not come across the name SBN before now. $\endgroup$ – kimchi lover Sep 28 '19 at 20:34
9
$\begingroup$

The nickname appears to be a creation of the New Math movement, and spread from the math education literature.

The notation itself in its modern form can be traced back to Lefschetz's Algebraic Topology (1942), and variants appear already in Principia (1910) and von Neumann's Zur Einführung der transfiniten Zahlen (1923). See Who first discovered the concept corresponding to the symbol of class comprehension? for many more details. However, mathematicians did not use the name "set-builder". Bernays (1958) calls it "class operator" and Suppes (1960) "definition by abstraction". The name does not appear before 1957, but in 1958 we find it in the lively discussions of the high school curriculum in The Mathematics Teacher. E.g. Rourke's Some implications of twentieth century mathematics for high schools explains:

"We have a convenient notation for de noting solution sets, using the set-builder : $\{x\mid\ \}$. The braces "$\{\ \}$" are read "set"; the vertical "$|$" is read "such that." We put the variable on the left-hand side of the vertical bar, and the sentence on the right-hand side."

And Duren's The maneuvers in set thinking goes deep into the pedagogy:

"We do not have any system of individual names for sets like the decimal representations of the real numbers. Hence we have no way of giving the name of a particular set which is the "answer" to a problem except by such indirect devices as the set-builder: $\{x e X | A \& B \& C\}$ = "The set of all elements in X having properties A and B and C"."

The student journal Pi Mu Epsilon still uses scare quotes around set-builder when reviewing Suppes's textbook in 1960.

What happened in 1957 is that the Soviet Union launched an orbital satellite, and a period of existential anxiety in the Western countries known as the Sputnik crisis. One of the responses was to pack high school curriculum with symbolic logic, matrices and sets, among other things, to "catch up" to the Soviet advances (in fairness, some reforms date back to he University of Illinois Committee on School Mathematics from 1951 on). Ironically, while Soviet high school mathematics was reformed in the 1930s, it was not this way. Nor is there a Russian analog of the "set-builder" nickname, according to Russian Wikipedia. After 1958, the New Math, and "set-builder", rapidly spread into textbooks. The earliest I found is the teacher's edition of Mathematics for High School, p.16 (1959):

"The braces $\{\ \}$ used to enclose the elements of a set call attention to the fact that we are to think of the collection as a singl entity. The set-builder notation $\{x:\ x..... \}$ is a useful way to represent a set which is characterized by some rule or property, nothing more. In some treatments of the subject vertical bar is used in place of the colon in the set-builder notation. We prefer the colon for typographical reasons."

New Math was controversial from the start, and heavy criticism pushed most of it out of high schools by the end of 1960s. But the nickname stuck.

| improve this answer | |
$\endgroup$
  • $\begingroup$ No. Set-builder terminology ($\leqslant$ 1948) wasn't a response to Sputnik (1957). $\endgroup$ – Consigliere ZARF Apr 29 at 14:42
  • $\begingroup$ @ConsigliereZARF are you going to provide evidence of the use of that name before 1948? $\endgroup$ – hobbs Jul 28 at 2:02
  • $\begingroup$ @hobbs $\leqslant$ 1948. Evidence already provided. Follow the link under "Who first discovered the concept corresponding to the symbol of class comprehension?" in the above "narrative". Or read the revised OP. $\endgroup$ – Consigliere ZARF Jul 31 at 1:09

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.