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°055. Ensembles. Contre-rédaction des chapitres I et II (état 2 bis)
<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+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>
<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>
Chapitre I. § 1. Comme la rédaction Weil à quelques détails de forme près. § 2. Les objets mathématiques et le calcul des relations. Chapitre II. Ensembles et fonctions. § 1. La relation d'égalité et les relations fonctionnelles. § 2. Type des parties et relation d'appartenance. § 3. Sous-types et types produits. § 4. Correspondances, fonctions, applications.
application/pdf
Texte dactylographié avec notes manuscrites
R055_iecnr063
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°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°132. Ensembles. Chapitre III. Projet de § préliminaire
<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=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+des+ensembles+abstraits">théorie des ensembles abstraits</a>
Objectif de ce § : permettre la publication du chapitre III avant les chapitres I et II. Voici les parties de ce paragraphe introductif : 1. Relations entre objets mathématiques. 2. Fonctions et famille d'ensembles. 3. Entiers énumérés. 4. L'ensemble vide.
application/pdf
Texte dactylographié
R132_nbr038
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°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