Questions tagged [bourbaki]
for questions related to the Bourbaki group of mathematicians, its history, philosophy, works and impact
24
questions
16
votes
2
answers
429
views
Typos in Bourbaki's root-system tables
A while ago, a colleague told me that he thought he remembered that there were typos in Bourbaki's tables in the English translation of "Groupes et algèbres de Lie", but that he could no ...
- 9,937
15
votes
4
answers
2k
views
When did Grothendieck join Bourbaki? [closed]
Bourbaki listed Grothendieck as a third-generation member. Nevertheless, it does not provide details on when he joined and when he left.
Concerning his departure, there is a
Letter from October 9, ...
user366545
13
votes
1
answer
2k
views
Various authors of the Bourbaki's books
As far as I understand, each chapter of the Bourbaki's collection was written by one (or two?) specific authors. The book itself was reviewed, corrected and after all approved by the whole Bourbaki ...
- 6,756
61
votes
5
answers
8k
views
Bourbaki's definition of the number 1
According to a polemical article by Adrian Mathias, Robert Solovay showed that Bourbaki's definition of the number 1, written out using the formalism in the 1970 edition of Théorie des Ensembles, ...
- 20.6k
6
votes
0
answers
182
views
Bar notation in Bourbaki’s *Lie groups*, Chap. IX
I am looking at Chapter IX (Compact Real Lie Groups), §4, Exercise 8 (translation). Given a complex subspace $\mathfrak p$ in the complexification $\mathfrak g_{\mathbf C}$ of some $\mathfrak g$, they ...
- 29k
3
votes
1
answer
866
views
Why Bourbaki's epsilon-calculus is not suitable for set theory?
Does anybody shed light on what is A. R. D. Mathias' idea that Bourbaki's $\tau$-calculus (Logically the same as Hilbert's $\varepsilon$-calculus) is not suitable for set theory, especially because of ...
- 41
10
votes
1
answer
1k
views
Who invented Monoid?
I was trying to find (and failed) the original author of either
the concept of Monoid (set with binary associative operation and identity)
the name (which sounds french ? and also Dioid (for what ...
- 203
4
votes
4
answers
2k
views
Reference request: any 20th century German critiques of Bourbaki? [closed]
Vladimir Arnold is known, among other things, for offering a scathing critique of Bourbaki:
The Arnold – Serre debate
Recently I've been reading some Nietzsche, and he chides some Germans in the ...
2
votes
0
answers
134
views
Noether’s “set theoretic foundations” of algebra. Reference
In [C Mclarty] we read
[Noether] project was to get abstract algebra away from thinking about operations on elements, such as addition or multiplication of elements in groups or rings. Her algebra ...
- 21
11
votes
4
answers
2k
views
Where is Seminaire Bourbaki on-line?
Where is Seminaire Bourbaki on-line?
The reason I ask is that for years it was complicated-enough already to find it in traditional libraries, as it would be catalogued according to its venue or ...
- 22.1k
4
votes
2
answers
725
views
formalisation of Bourbaki, General Topology
Is there a formalisation of Bourbaki, General Topology book,
particularly its first chapter?
Are there formal proofs of elementary topology arguments such as a Hausdorff compact space is ...
- 113
4
votes
2
answers
1k
views
Reference for Connes Bourbaki membership or otherwise
Alain Connes being a leading French mathematician today one could ask whether he is a member of the Bourbaki group. Is there a published reference that would either refute or confirm this?
- 12.8k
31
votes
0
answers
3k
views
Greatly expanded new edition of a Bourbaki chapter on algebra?
Recently I discovered by accident that Bourbaki issued in 2012 a radically expanded version of their 1958 Chapter 8 Modules et anneaux semi-simples (like other chapters, initially in French) within ...
- 51.6k
67
votes
4
answers
14k
views
The Arnold – Serre debate
I have read (but I cannot now find where) that V. I. Arnold & J.-P. Serre had a public debate on the value of Bourbaki. Does anyone have more details, or remember or know what was said?
- 843
17
votes
0
answers
1k
views
Why did Bourbaki not use universal algebra?
I have seen a discussion about Bourbaki’s usage of categories before. So let me ask a different question: why did he not use universal algebra?
Well, universal algebra is not much older than category ...
28
votes
5
answers
8k
views
Why did Bourbaki's Élements omit the theory of categories?
QUESTION
They had plenty of time to adopt the theory of categories. They had Eilenberg, then Cartan, then Grothendieck. Did they feel that they have established their approach already, that it's too ...
4
votes
1
answer
1k
views
Elements of the history of mathematics
Is it known who actually wrote Bourbaki's Elements of the History of Mathematics?
- 3,238
2
votes
0
answers
760
views
Regarding a proof in Bourbaki's Topological Vector Spaces
On Bourbaki's TVS Chapter IV pages 33-34, the last part of Proposition 2 can be formulated as follows:
Notations:
$K$ - The underlying field which is the real or complex number field;
$X$ - A ...
- 21
1
vote
2
answers
1k
views
Possible errata in Nicolas Bourbaki's General Topology -I, Chapter 1 Exercise 2 ?
Here is the text of Exercise:
2 a) Let $X$ be an ordered set. Show that the set of intervals
$\left[x, \rightarrow\right[$ (resp. $\left]\leftarrow, x\right]$)
is a base of topology on $X$; ...
- 163
5
votes
1
answer
962
views
Is there any relationship between Bourbaki's Epsilon Calculus and Lambda Calculus? Is $\lambda x$ the same as $\tau_x$?
Is there any relationship between Bourbaki's Epsilon Calculus and Lambda Calculus ? Whether $\lambda {x}$ is same as $\tau _{x}$ ? Are the rules of Meta-Mathematics (Criteria of Substitution, ...
- 163
5
votes
1
answer
1k
views
Bourbaki theory of isomorphism, examples of untransportable formulas
In their book "Theory of sets" Bourbaki suggested a general theory of isomorphism.
(See also http://www.tau.ac.il/~corry/publications/articles/pdf/bourbaki-structures.pdf )
The example of an ...
- 727
6
votes
7
answers
2k
views
The isomorphism inference rule
Suppose we are writing very detailed proofs, absolutely without any gaps (for example, for checking proofs by computer).
In such formal proofs every step (even a trivial one) must be justified.
For ...
- 727
17
votes
5
answers
5k
views
Bourbaki's epsilon-calculus notation
Bourbaki used a very very strange notation for the epsilon-calculus consisting of $\tau$s and $\blacksquare$. In fact, that box should not be filled in, but for some reason, I can't produce a \Box.
...
- 19.1k
39
votes
5
answers
6k
views
Were Bourbaki committed to set-theoretical reductionism?
A set-theoretical reductionist holds that sets are the only abstract objects, and that (e.g.) numbers are identical to sets. (Which sets? A reductionist is a relativist if she is (e.g.) indifferent ...
- 1,227