Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [bourbaki]

The tag has no usage guidance.

2
votes
0answers
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
1answer
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
1answer
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
0answers
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
4answers
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
0answers
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
0answers
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
1answer
1k views

Elements of the history of mathematics

Is it known who actually wrote Bourbaki's Elements of the History of Mathematics?
2
votes
0answers
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
2answers
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
1answer
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
1answer
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
7answers
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
4answers
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
5answers
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 ...