1
40
9
-
http://archives-bourbaki.ahp-numerique.fr/files/original/9f495d5e626460cc111fb280df8227c1.pdf
bd008c19c56a01682445e2d1d57da16e
Dublin Core
The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/.
Title
A name given to the resource
Fonds de l'Association des Collaborateurs de Nicolas Bourbaki (Archives de l'Académie des sciences)
Contributor
An entity responsible for making contributions to the resource
Association des Collaborateurs de Nicolas Bourbaki
Rédactions
Versions préliminaires à la publication chapitres et volumes des "Éléments de mathématique" : brouillons ou "partitions" de mathématiciens.
Pagination fichier
Nombre de page du fichier
50
Taille du fichier
Taille du fichier en Mo
62
Note
Note ou remarque rattachée à un document
Au début de cet exemplaire figure la mention "mars 1951" et Dixmier.
Pagination document
Commentaires et sommaire sur deux pages, puis rédaction sur 47 pages numérotées de la p. 1 à la p. 11, puis 11 bis, puis de la p. 12 à la p. 46.
Histoire archivistique
Cet exemplaire était initialement conservé dans le fonds de l'association Bourbaki à l'ENS. Il a fait l'objet d'un dépôt aux Archives de l'Académie des sciences en 2007.
Numéro
Numéro de la rédaction. Doit être de la forme XXX (ex : 003) pour le tri.
147
Livre
Le livre auquel la rédaction vise à être intégrée (sous forme d'un ou plusieurs chapitres.
Théorie des ensembles
Dublin Core
The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/.
Title
A name given to the resource
Rédaction n°147. Ensembles. Chapitre I. Description de la mathématique formelle (état 6)
Format
The file format, physical medium, or dimensions of the resource
application/pdf
Identifier
An unambiguous reference to the resource within a given context
R147_nbr049
Creator
An entity primarily responsible for making the resource
Dixmier, Jacques
Description
An account of the resource
Le présent document s'ouvre sur des commentaires suivis d'un sommaire. L'auteur se situe par rapport aux états 5 et 4 du chapitre I. Vient ensuite la rédaction à proprement parler. § 1. Termes et relations. § 2. Théorèmes. § 3. Théories logiques. § 4. Théories quantifiées. L'inclusion et l'égalité.
Type
The nature or genre of the resource
Texte dactylographié
Subject
The topic of the resource
logique mathématique
relations (logique)
théorie mathématique
-
http://archives-bourbaki.ahp-numerique.fr/files/original/b3a4dd23c28288646b9ece5ae508549c.pdf
3fb079f5e0766508fa4fe2cc8e5e2446
Dublin Core
The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/.
Title
A name given to the resource
Fonds de l'Association des Collaborateurs de Nicolas Bourbaki (Archives de l'Académie des sciences)
Contributor
An entity responsible for making contributions to the resource
Association des Collaborateurs de Nicolas Bourbaki
Rédactions
Versions préliminaires à la publication chapitres et volumes des "Éléments de mathématique" : brouillons ou "partitions" de mathématiciens.
Pagination fichier
Nombre de page du fichier
60
Taille du fichier
Taille du fichier en Mo
83
Note
Note ou remarque rattachée à un document
Le document porte la mention "archives, juillet 1950, Chevalley".
Pagination document
Commentaires sur cinq pages numérotées de la a. à e., puis rédaction sur 54 pages numérotées de la p. 1 à la p. 54.
Histoire archivistique
Cet exemplaire était initialement conservé dans le fonds de l'association Bourbaki à l'ENS. Il a fait l'objet d'un dépôt aux Archives de l'Académie des sciences en 2007.
Numéro
Numéro de la rédaction. Doit être de la forme XXX (ex : 003) pour le tri.
139
Livre
Le livre auquel la rédaction vise à être intégrée (sous forme d'un ou plusieurs chapitres.
Théorie des ensembles
Dublin Core
The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/.
Title
A name given to the resource
Rédaction n°139. Ensembles. Chapitre I (état 5)
Format
The file format, physical medium, or dimensions of the resource
application/pdf
Identifier
An unambiguous reference to the resource within a given context
R139_nbr042
Creator
An entity primarily responsible for making the resource
Chevalley, Claude
Description
An account of the resource
Le présent document débute par cinq pages de commentaires, motivant les choix faits par l'auteur. Vient ensuite la rédaction proprement dite. I. Règles formatives. II. Règles d'inférence. Théories. III. Premiers schémas d'axiomes. Le théorème de la déduction. IV. Certaines méthodes de démonstration. V. Disjonction, conjonction, équivalence. VI. Quantificateurs. VII. Types d'objets. VIII. L'égalité. IX. Equations.
Type
The nature or genre of the resource
Texte dactylographié
Subject
The topic of the resource
logique mathématique
relations (logique)
théorie mathématique
types (logique)
-
http://archives-bourbaki.ahp-numerique.fr/files/original/d568729839d988c4099dcf17bbac7863.pdf
0cc5b785a762c42141fbbde542ed4e4c
Dublin Core
The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/.
Title
A name given to the resource
Fonds de l'Association des Collaborateurs de Nicolas Bourbaki (Archives de l'Académie des sciences)
Contributor
An entity responsible for making contributions to the resource
Association des Collaborateurs de Nicolas Bourbaki
Rédactions
Versions préliminaires à la publication chapitres et volumes des "Éléments de mathématique" : brouillons ou "partitions" de mathématiciens.
Pagination fichier
Nombre de page du fichier
34
Taille du fichier
Taille du fichier en Mo
32
Note
Note ou remarque rattachée à un document
Cet exemplaire porte la mention "sept. 1950" en première page. D'après le programme du Congrès de Pelvoux (juin-juillet 1951), cette rédaction serait due à Chevalley.
Ajoutons que la présente rédaction (chapitre III, état 5) fait suite à la rédaction n°138 (chapitre II, état 5), comme l'indique d'ailleurs explicitement l'auteur dans l'introduction à la rédaction n°138. Dans cette même introduction, il précise alors avoir voulu traiter les structures dans un chapitre autonome. Il se démarque alors explicitement de la rédaction n°57 [chapitre II, état 3] produite par Dieudonné. Ce dernier abordait alors les structures dans le septième et dernier paragraphe de ce même chapitre II, consacré essentiellement à la théorie des ensembles abstraits. Toujours dans l'introduction à la rédaction n°138, l'auteur indique que son chapitre III sur les structures pourrait en réalité être considéré comme un état 2. Que serait alors l'état 1 ? L'auteur fait-il alors allusion à la rédaction n°56 d'André Weil, qui comportait cinq chapitres séparés, le dernier étant consacré aux structures ?
Pagination document
Rédaction sur 33 pages numérotées de la p. 1 à la p. 33.
Histoire archivistique
Cet exemplaire était initialement conservé dans le fonds de l'association Bourbaki à l'ENS. Il a fait l'objet d'un dépôt aux Archives de l'Académie des sciences en 2007.
Numéro
Numéro de la rédaction. Doit être de la forme XXX (ex : 003) pour le tri.
137
Livre
Le livre auquel la rédaction vise à être intégrée (sous forme d'un ou plusieurs chapitres.
Théorie des ensembles
Dublin Core
The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/.
Title
A name given to the resource
Rédaction n°137. Ensembles. Chapitre III. Structures (état 5)
Format
The file format, physical medium, or dimensions of the resource
application/pdf
Identifier
An unambiguous reference to the resource within a given context
R137_nbr040
Creator
An entity primarily responsible for making the resource
Chevalley, Claude
Description
An account of the resource
§ 1. Echelles d'ensembles. § 2. Squelettes typiques. § 3. Incarnations d'un squelette typique. § 4. Théories structurales. § 5. Structures.
Type
The nature or genre of the resource
Texte dactylographié
Subject
The topic of the resource
théorie mathématique
structures
-
http://archives-bourbaki.ahp-numerique.fr/files/original/773217638c643536faa46d3071c944f4.pdf
1213af401ff9c25d46b3426ba44f4265
Dublin Core
The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/.
Title
A name given to the resource
Fonds Jean Delsarte (Institut Élie Cartan)
Description
An account of the resource
CNRS / Université de Lorraine
Contributor
An entity responsible for making contributions to the resource
Gérard Eguether
Bibliothèque de l'IEC (Vandoeuvre-lès-Nancy)
Rédactions
Versions préliminaires à la publication chapitres et volumes des "Éléments de mathématique" : brouillons ou "partitions" de mathématiciens.
Pagination fichier
Nombre de page du fichier
55
Taille du fichier
Taille du fichier en Mo
77
Pagination document
Sommaire sur une page, puis rédaction sur 53 pages numérotées de la p. 1 à la p. 53.
Histoire archivistique
Cet exemplaire est actuellement conservé dans le fonds Delsarte (Institut Elie Cartan) sous la cote BKI 01-2.8.
Numéro
Numéro de la rédaction. Doit être de la forme XXX (ex : 003) pour le tri.
064
Livre
Le livre auquel la rédaction vise à être intégrée (sous forme d'un ou plusieurs chapitres.
Théorie des ensembles
Dublin Core
The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/.
Title
A name given to the resource
Rédaction n°064. Ensembles. Chapitre I. Logique mathématique (état 4)
Format
The file format, physical medium, or dimensions of the resource
application/pdf
Identifier
An unambiguous reference to the resource within a given context
R064_iecnr073
Description
An account of the resource
§ 1. La formation des relations. § 2. Les relations vraies. § 3. Démonstrations et théories.
Type
The nature or genre of the resource
Texte dactylographié
Subject
The topic of the resource
logique mathématique
relations (logique)
théorie mathématique
-
http://archives-bourbaki.ahp-numerique.fr/files/original/20b4f0fcb195a4a7f5ef4c1a30b33dd4.pdf
b3fef721010cc021dd746623db9e6196
Dublin Core
The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/.
Title
A name given to the resource
Fonds Jean Delsarte (Institut Élie Cartan)
Description
An account of the resource
CNRS / Université de Lorraine
Contributor
An entity responsible for making contributions to the resource
Gérard Eguether
Bibliothèque de l'IEC (Vandoeuvre-lès-Nancy)
Rédactions
Versions préliminaires à la publication chapitres et volumes des "Éléments de mathématique" : brouillons ou "partitions" de mathématiciens.
Pagination fichier
Nombre de page du fichier
150
Taille du fichier
Taille du fichier en Mo
195
Pagination document
Sommaire du chap. I. sur une page, puis chap. I. sur 34 pages numérotées de la p. 1 à la p. 34. Sommaire du chap. II. et commentaires sur 4 pages numérotées de la p. I. à la p. IV., puis chap. II. sur 109 pages numérotées de la p. 35 à la p. 143.
Histoire archivistique
Cet exemplaire est actuellement conservé dans le fonds Delsarte (Institut Elie Cartan) sous la cote BKI 01-2.1.
Numéro
Numéro de la rédaction. Doit être de la forme XXX (ex : 003) pour le tri.
057
Livre
Le livre auquel la rédaction vise à être intégrée (sous forme d'un ou plusieurs chapitres.
Théorie des ensembles
Dublin Core
The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/.
Title
A name given to the resource
Rédaction n°057. Ensembles. Chapitres I et II (état 3)
Format
The file format, physical medium, or dimensions of the resource
application/pdf
Identifier
An unambiguous reference to the resource within a given context
R057_iecnr066
Description
An account of the resource
Chapitre I. Logique mathématique. § 1. La formation des relations. § 2. Les relations vraies. § 3. Théories et axiomes. Chapitre II. Théorie des ensembles abstraits. § 1. La relation d'égalité et les symboles fonctionnels. § 2. La relation d'appartenance. § 3. Produit de deux ensembles. § 4. Fonctions. § 5. Réunion, intersection, produit d'une famille d'ensembles. § 6. Relations d'équivalence. Ensembles quotients. § 7. Structures.
Type
The nature or genre of the resource
Texte dactylographié
Creator
An entity primarily responsible for making the resource
Dieudonné, Jean
Subject
The topic of the resource
logique mathématique
relations (logique)
théorie mathématique
théorie des ensembles abstraits
relations (ensembles)
produit (d'ensembles)
opérations (sur les sous-ensembles)
fonctions (théorie des ensembles)
structures
-
http://archives-bourbaki.ahp-numerique.fr/files/original/00d76621b9660697c7289efaa1a02aad.pdf
089cb5e8c7e14005921204928fd3e4e3
Dublin Core
The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/.
Title
A name given to the resource
Fonds Jean Delsarte (Institut Élie Cartan)
Description
An account of the resource
CNRS / Université de Lorraine
Contributor
An entity responsible for making contributions to the resource
Gérard Eguether
Bibliothèque de l'IEC (Vandoeuvre-lès-Nancy)
Rédactions
Versions préliminaires à la publication chapitres et volumes des "Éléments de mathématique" : brouillons ou "partitions" de mathématiciens.
Pagination fichier
Nombre de page du fichier
151
Taille du fichier
Taille du fichier en Mo
146
Pagination document
Page de titre, puis rédaction sur 149 pages numérotées de la p. 1 à la p. 18, puis 18 bis, puis de la p. 19 à la p. 148.
Histoire archivistique
Cet exemplaire est actuellement conservé dans le fonds Delsarte (Institut Elie Cartan) sous la cote BKI 01-1.12.
Numéro
Numéro de la rédaction. Doit être de la forme XXX (ex : 003) pour le tri.
056
Livre
Le livre auquel la rédaction vise à être intégrée (sous forme d'un ou plusieurs chapitres.
Théorie des ensembles
Dublin Core
The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/.
Title
A name given to the resource
Rédaction n°056. Ensembles. Chapitres 1 à 5, Weil (état 2)
Relation
A related resource
awms001
Format
The file format, physical medium, or dimensions of the resource
application/pdf
Identifier
An unambiguous reference to the resource within a given context
R056_iecnr065
Description
An account of the resource
Avertissement à tout Bourbaki.<br /><br /> <strong>Chapitre I</strong>. Du raisonnement mathématique. § 1. Analyse d'une démonstration. Les propositions. § 2. Structure de la proposition. Propriétés, relations, variables. § 3. Conseils sur la rédaction des travaux mathématiques (et de quelques autres).<br /><br /> <strong>Chapitre II</strong>. Théorie des ensembles. § 1. Ensembles; calculs sur les ensembles; l'égalité. § 2. Relations, produits de types. § 3. Fonctions, correspondances. § 4. Réunions et intersections générales. § 5. Produits généraux; axiome du choix. § 6. Partage en classes; relations d'équivalence.<br /><br /> <strong>Chapitre III</strong>. Puissances; ensembles finis et dénombrables. § 1. Puissance d'un ensemble. § 2. Ensembles finis, nombres entiers. § 3. Ensembles dénombrables. <br /><br /><strong>Chapitre IV</strong>. Ensembles ordonnés. § 1. Ensembles ordonnés; propriétés générales. § 2. Le théorème de Zorn-Cartan. § 3. Ensembles bien ordonnés. <br /><br /><strong>Chapitre V</strong>. Théories et structures. § 1. Structure d'un ensemble fondamental. § 2. Extension à plusieurs ensembles fondamentaux.
Creator
An entity primarily responsible for making the resource
Weil, André
Type
The nature or genre of the resource
Texte dactylographié
Subject
The topic of the resource
logique mathématique
théorie des ensembles abstraits
opérations (sur les sous-ensembles)
fonctions (théorie des ensembles)
produit (d'ensembles)
relations (ensembles)
puissance (ensembles)
ensembles finis
ensembles dénombrables
ensembles ordonnés
ensembles bien ordonnés
théorie mathématique
structures
-
http://archives-bourbaki.ahp-numerique.fr/files/original/1107978b164b6b55db1dba75ff9ce28d.pdf
bb9c28e4127a4cee678dba21c7acbb8c
Dublin Core
The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/.
Title
A name given to the resource
Fonds Jean Delsarte (Institut Élie Cartan)
Description
An account of the resource
CNRS / Université de Lorraine
Contributor
An entity responsible for making contributions to the resource
Gérard Eguether
Bibliothèque de l'IEC (Vandoeuvre-lès-Nancy)
Rédactions
Versions préliminaires à la publication chapitres et volumes des "Éléments de mathématique" : brouillons ou "partitions" de mathématiciens.
Pagination fichier
Nombre de page du fichier
12
Taille du fichier
Taille du fichier en Mo
16
Pagination document
Rédaction sur 11 pages numérotées de la p. 1 à la p. 11.
Histoire archivistique
Cet exemplaire est actuellement conservé dans le fonds Delsarte (Institut Elie Cartan) sous la cote BKI 01-1.11.
Numéro
Numéro de la rédaction. Doit être de la forme XXX (ex : 003) pour le tri.
054
Livre
Le livre auquel la rédaction vise à être intégrée (sous forme d'un ou plusieurs chapitres.
Théorie des ensembles
Dublin Core
The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/.
Title
A name given to the resource
Rédaction n°054. Ensembles. Règles du raisonnement (Projet Cartan)
Format
The file format, physical medium, or dimensions of the resource
application/pdf
Identifier
An unambiguous reference to the resource within a given context
R054_iecnr062
Description
An account of the resource
Constructions de relations. Tableau d'équivalences syntaxiques. Définition des relations vraies, ou identités logiques. Les théories avec axiomes. Les théories avec axiomes et hypothèses. Théories non contradictoires.
Creator
An entity primarily responsible for making the resource
Cartan, Henri
Type
The nature or genre of the resource
Texte dactylographié
Subject
The topic of the resource
logique mathématique
théorie mathématique
-
http://archives-bourbaki.ahp-numerique.fr/files/original/149f9b0a98142635ac91290d6a1eed49.pdf
29a0cbc08b94c73f3b1175a9071414d1
Dublin Core
The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/.
Title
A name given to the resource
Fonds Jean Delsarte (Institut Élie Cartan)
Description
An account of the resource
CNRS / Université de Lorraine
Contributor
An entity responsible for making contributions to the resource
Gérard Eguether
Bibliothèque de l'IEC (Vandoeuvre-lès-Nancy)
Rédactions
Versions préliminaires à la publication chapitres et volumes des "Éléments de mathématique" : brouillons ou "partitions" de mathématiciens.
Pagination fichier
Nombre de page du fichier
30
Taille du fichier
Taille du fichier en Mo
36
Pagination document
Rédaction sur 29 pages numérotées de la p. 1 à la p. 29.
Histoire archivistique
Cet exemplaire est actuellement conservé dans le fonds Delsarte (Institut Elie Cartan) sous la cote BKI 01-1.8.
Numéro
Numéro de la rédaction. Doit être de la forme XXX (ex : 003) pour le tri.
053
Livre
Le livre auquel la rédaction vise à être intégrée (sous forme d'un ou plusieurs chapitres.
Théorie des ensembles
Dublin Core
The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/.
Title
A name given to the resource
Rédaction n°053. Ensembles. Chapitre I, quelques éléments de syntaxe et de logique. Chapitre II, ensembles et fonctions (état 1bis)
Format
The file format, physical medium, or dimensions of the resource
application/pdf
Identifier
An unambiguous reference to the resource within a given context
R053_iecnr061
Description
An account of the resource
Chapitre I. Quelques éléments de syntaxe et de logique. § 1. Les opérations syntactiques élémentaires. § 2. Prédicats et relations. § 3. La notion de types. Les couples. § 4. L'égalité. § 5. La notion générale de théorie mathématique. Chapitre II. Ensembles et fonctions. § 1. Le langage de la théorie des ensembles. § 2. Le langage de la théorie des fonctions.
Type
The nature or genre of the resource
Texte dactylographié
Subject
The topic of the resource
logique mathématique
prédicats
relations (logique)
types (logique)
théorie mathématique
théorie des ensembles abstraits
fonctions (théorie des ensembles)
-
http://archives-bourbaki.ahp-numerique.fr/files/original/b60be48fc02d7e54ca2c43f5ed008c89.pdf
f48654633a12c9c9e4fa1d78048fc8f2
Dublin Core
The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/.
Title
A name given to the resource
Fonds Jean Delsarte (Institut Élie Cartan)
Description
An account of the resource
CNRS / Université de Lorraine
Contributor
An entity responsible for making contributions to the resource
Gérard Eguether
Bibliothèque de l'IEC (Vandoeuvre-lès-Nancy)
Rédactions
Versions préliminaires à la publication chapitres et volumes des "Éléments de mathématique" : brouillons ou "partitions" de mathématiciens.
Pagination fichier
Nombre de page du fichier
70
Taille du fichier
Taille du fichier en Mo
53
Pagination document
Rédaction sur 69 pages numérotées de la p. 1 à la p. 69.
Histoire archivistique
Cet exemplaire est actuellement conservé dans le fonds Delsarte (Institut Elie Cartan) sous la cote BKI 01-1.4.
Numéro
Numéro de la rédaction. Doit être de la forme XXX (ex : 003) pour le tri.
050
Livre
Le livre auquel la rédaction vise à être intégrée (sous forme d'un ou plusieurs chapitres.
Théorie des ensembles
Dublin Core
The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/.
Title
A name given to the resource
Rédaction n°050. Ensembles. Eléments de la théorie des ensembles (état 1)
Format
The file format, physical medium, or dimensions of the resource
application/pdf
Identifier
An unambiguous reference to the resource within a given context
R050_iecnr059
Description
An account of the resource
Prolégomènes sur la notion de théorie mathématique (Introduction au chapitre, vu comme une "préface à toute théorie mathématique"). I.1. Les ensembles fondamentaux ; l'appartenance; la structure ε. I.2. Propriétés d'un éléments ; parties d'un fondamental. I.3. Parties complémentaires. 1.4. Structures induites ; induction des structures. II.1. L'ensemble des parties d'un fondamental. II.2. La réunion et l'intersection (associativité, distributivité, opération complémentaire et formules en dualité). II.3. La relation "contenu dans". II.4. La structure ε et la structure U. III.1. Couples ; produits ; produits de structures. III.2. Relations. III.3. Fonctions d'ensemble ; correspondances. V.1. Isomorphie ; transport de structure. VI.1. Relations d'équivalence ; partage en classes. VI.2. Ensemble quotient ; identification. VI.3. Nouveaux compléments à la structure U. VII.1. Produit quelconque d'ensembles. VIII.1. Résumé.
Type
The nature or genre of the resource
Texte dactylographié avec notes manuscrites
Subject
The topic of the resource
théorie mathématique
théorie des ensembles abstraits
structure ε (appartenance)
structure U (réunion)
opérations (sur les sous-ensembles)
produit (d'ensembles)
fonctions (théorie des ensembles)
relations (ensembles)
structures