#PDF in French of #Bourbaki on “Noetherian rings”. Possibly useful for the #history of #well-founded things in #math.
on 02025-08-02Was #well-founded induction discovered by Noether? “#Bourbaki’s first edition of Algèbre commutative dates from 1968. But Noetherian topological spaces are already defined in Grothendieck-Dieudonné’s Éléments de géométrie algébrique, I (1960), and the « principe de récurrence noethérienne » is stated (and proved) in Chapter 0, (2.2.2). (...) Meanwhile, the Wikipedia entry on the axiom of foundation asserts that “the concept of well-foundedness and rank of a set were both introduced by Dmitry Mirimanoff (1917).” #math #history
on 02025-08-02