The bourbaki tag has no usage guidance.

**3**

votes

**0**answers

351 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)) ...

**11**

votes

**0**answers

677 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

807 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

654 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

972 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

600 views

### Is there any relationship between Bourbaki's Epsilon Calculus and Lambda Calculus ? Is \lambda {x} 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, ...

**37**

votes

**8**answers

3k views

### Has anyone thought about creating a formal proof wiki with verifier?

Mathematics has undergone some rather nice developments recently with the adoption of new techologies, things like on-line journals, the arXiv, this website, etc. I imagine there must be many further ...

**4**

votes

**1**answer

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

**10**

votes

**3**answers

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

**32**

votes

**5**answers

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