A very brief and small remark that may be helpful to those that
are studying Bourbaki. The first volume of the Elements of
Mathematics (The Theory of Sets) is more or less useless.
The only useful (and in my humble opinion, coherent) parts of
that book is the "Summary of Results".
Although, if one were really "hardcore", one would have a
collection of e.g. composition notebooks to write notes on the
series. By giving actual explanation and examples, it should
expand the size of the text several fold.
Also, it helps to create a "cheat sheet" of notation. Bourbaki
used bizarre notation since, I assume, they had to work with
typewriters.
Unfortunately, no one uses their notation. So, we are forced to
come up with a "Rosetta stone" to translate their notation into
modern notation.
Some guidelines for your "Rosetta Stone for Bourbaki" might be:
-
Include the book and page numbers where it is first
introduced or defined.
-
Include definitions, since those too are "Bourbaki-dependent".
-
Have a separate "Stone" for each book.
I just thought that it may be helpful to someone trying to read
through this ancient tome…
Addendum Tuesday August 16, 2011 at 01:10:11PM (PDT)
After some more research, I found out that the bizarre system
Bourbaki uses in The Theory of Sets is really
something called "Epsilon Calculus."
Math Overflow had
a discussion
on Bourbaki's epsilon calculus which is useful, and the
Stanford Encyclopedia of Philosophy's page is
instructive.
I doubt that this system was intended to be fully used, since
(as some pointed out in the math overflow discussion) "even
trivial proofs require an astonishing number of steps directly
from axioms. Existence of the empty set can be proved with
11,225,997 steps and transfinite recursion can be proved with
11,777,866,897,976 steps."
The internet encyclopedia of philosophy states:
The growing awareness of the larger meaning and significance of epsilon calculi has only come in stages. Hilbert and Bernays introduced epsilon terms for several meta-mathematical purposes, as above, but the extended presentation of an epsilon calculus, as a formal logic of interest in its own right, in fact only first appeared in Bourbaki's Elements de Mathematique (although see also Ackermann 1937-8). Bourbaki's epsilon calculus with identity (Bourbaki, 1954, Book 1) is axiomatic, with Modus Ponens as the only primitive inference or derivation rule. Thus, in effect, we get:
(X ∨ X) → X,
X → (X ∨ Y),
(X ∨ Y) → (Y ∨ X),
(X ∨ Y) → ((Z ∨ X) → (Z ∨ Y)),
Fy → FεxFx,
x = y → (Fx ↔ Fy),
(x)(Fx ↔ Gx) → εxFx = εxGx.
This adds to a basis for the propositional calculus an epsilon axiom schema, then Leibniz' Law, and a second epsilon axiom schema, which is a further law of identity. Bourbaki, though, used the Greek letter tau rather than epsilon to form what are now called "epsilon terms"; nevertheless, he defined the quantifiers in terms of his tau symbol in the manner of Hilbert and Bernays, namely:
(∃x)Fx ↔ FεxFx,
(x)Fx ↔ Fεx¬Fx;
and note that, in his system the other usual law of identity, "x = x", is derivable.
The principle purpose Bourbaki found for his system of logic was in his theory of sets, although through that, in the modern manner, it thereby came to be the foundation for the rest of mathematics. Bourbaki's theory of sets discriminates amongst predicates those which determine sets: thus some, but only some, predicates determine sets, i.e. are "collectivisantes". All the main axioms of classical Set Theory are incorporated in his theory, but he does not have an Axiom of Choice as a separate axiom, since its functions are taken over by his tau symbol. The same point holds in Bernays' epsilon version of his set theory (Bernays 1958, Ch VIII).
Over at the nLab, the entry
on Choice
Operators really helps explain what that pesky τ
operator is in Bourbaki's Theory of Sets.
