# Questions tagged [bourbaki]

The bourbaki tag has no usage guidance.

**2**

votes

**0**answers

114 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 ...

**5**

votes

**1**answer

545 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 ...

**2**

votes

**1**answer

765 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?

**26**

votes

**0**answers

2k 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 ...

**55**

votes

**4**answers

8k 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?

**3**

votes

**0**answers

524 views

### Errata For Bourbaki Algebra Chapters 1 - 3

I am trying to teach myself some algebra by reading Bourbaki's Algebra (en, 2nd printing, 1998). Reading through Chapter 2, §1, I find that there are a couple of mistakes.
(no. 2, paragraph (-7)) ...

**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 ...

**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?

**2**

votes

**0**answers

735 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 ...

**0**

votes

**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$; ...

**3**

votes

**1**answer

767 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, ...

**5**

votes

**1**answer

893 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 ...

**6**

votes

**7**answers

1k 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 ...

**15**

votes

**4**answers

4k 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.
...

**36**

votes

**5**answers

5k 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 ...