Rédaction n°147. Ensembles. Chapitre I. Description de la mathématique formelle (état 6)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=logique+math%C3%A9matique">logique mathématique</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=relations+%28logique%29">relations (logique)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+math%C3%A9matique">théorie mathématique</a>
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é.
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=39&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=Dixmier%2C+Jacques">Dixmier, Jacques</a>
application/pdf
Texte dactylographié
R147_nbr049
Rédaction n°139. Ensembles. Chapitre I (état 5)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=logique+math%C3%A9matique">logique mathématique</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=relations+%28logique%29">relations (logique)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+math%C3%A9matique">théorie mathématique</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=types+%28logique%29">types (logique)</a>
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.
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=39&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=Chevalley%2C+Claude">Chevalley, Claude</a>
application/pdf
Texte dactylographié
R139_nbr042
Rédaction n°137. Ensembles. Chapitre III. Structures (état 5)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+math%C3%A9matique">théorie mathématique</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=structures">structures</a>
§ 1. Echelles d'ensembles. § 2. Squelettes typiques. § 3. Incarnations d'un squelette typique. § 4. Théories structurales. § 5. Structures.
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=39&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=Chevalley%2C+Claude">Chevalley, Claude</a>
application/pdf
Texte dactylographié
R137_nbr040
Rédaction n°064. Ensembles. Chapitre I. Logique mathématique (état 4)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=logique+math%C3%A9matique">logique mathématique</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=relations+%28logique%29">relations (logique)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+math%C3%A9matique">théorie mathématique</a>
§ 1. La formation des relations. § 2. Les relations vraies. § 3. Démonstrations et théories.
application/pdf
Texte dactylographié
R064_iecnr073
Rédaction n°057. Ensembles. Chapitres I et II (état 3)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=logique+math%C3%A9matique">logique mathématique</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=relations+%28logique%29">relations (logique)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+math%C3%A9matique">théorie mathématique</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+des+ensembles+abstraits">théorie des ensembles abstraits</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=relations+%28ensembles%29">relations (ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=produit+%28d%27ensembles%29">produit (d'ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=op%C3%A9rations+%28sur+les+sous-ensembles%29">opérations (sur les sous-ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=fonctions+%28th%C3%A9orie+des+ensembles%29">fonctions (théorie des ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=structures">structures</a>
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.
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=39&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=Dieudonn%C3%A9%2C+Jean">Dieudonné, Jean</a>
application/pdf
Texte dactylographié
R057_iecnr066
Rédaction n°056. Ensembles. Chapitres 1 à 5, Weil (état 2)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=logique+math%C3%A9matique">logique mathématique</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+des+ensembles+abstraits">théorie des ensembles abstraits</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=op%C3%A9rations+%28sur+les+sous-ensembles%29">opérations (sur les sous-ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=fonctions+%28th%C3%A9orie+des+ensembles%29">fonctions (théorie des ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=produit+%28d%27ensembles%29">produit (d'ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=relations+%28ensembles%29">relations (ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=puissance+%28ensembles%29">puissance (ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=ensembles+finis">ensembles finis</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=ensembles+d%C3%A9nombrables">ensembles dénombrables</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=ensembles+ordonn%C3%A9s">ensembles ordonnés</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=ensembles+bien+ordonn%C3%A9s">ensembles bien ordonnés</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+math%C3%A9matique">théorie mathématique</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=structures">structures</a>
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.
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=39&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=Weil%2C+Andr%C3%A9">Weil, André</a>
awms001
application/pdf
Texte dactylographié
R056_iecnr065
Rédaction n°054. Ensembles. Règles du raisonnement (Projet Cartan)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=logique+math%C3%A9matique">logique mathématique</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+math%C3%A9matique">théorie mathématique</a>
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.
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=39&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=Cartan%2C+Henri">Cartan, Henri</a>
application/pdf
Texte dactylographié
R054_iecnr062
Rédaction n°053. Ensembles. Chapitre I, quelques éléments de syntaxe et de logique. Chapitre II, ensembles et fonctions (état 1bis)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=logique+math%C3%A9matique">logique mathématique</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=pr%C3%A9dicats">prédicats</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=relations+%28logique%29">relations (logique)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=types+%28logique%29">types (logique)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+math%C3%A9matique">théorie mathématique</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+des+ensembles+abstraits">théorie des ensembles abstraits</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=fonctions+%28th%C3%A9orie+des+ensembles%29">fonctions (théorie des ensembles)</a>
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.
application/pdf
Texte dactylographié
R053_iecnr061
Rédaction n°050. Ensembles. Eléments de la théorie des ensembles (état 1)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+math%C3%A9matique">théorie mathématique</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+des+ensembles+abstraits">théorie des ensembles abstraits</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=structure+%CE%B5+%28appartenance%29">structure ε (appartenance)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=structure+U+%28r%C3%A9union%29">structure U (réunion)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=op%C3%A9rations+%28sur+les+sous-ensembles%29">opérations (sur les sous-ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=produit+%28d%27ensembles%29">produit (d'ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=fonctions+%28th%C3%A9orie+des+ensembles%29">fonctions (théorie des ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=relations+%28ensembles%29">relations (ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=structures">structures</a>
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é.
application/pdf
Texte dactylographié avec notes manuscrites
R050_iecnr059