La théorie des fonctions récursives et ses applications. (Exposé d'information générale)

D. Lacombe

Displaying similar documents to “La théorie des fonctions récursives et ses applications. (Exposé d'information générale)”

Théorèmes de non-décidabilité

Daniel Lacombe (1962-1964)

Séminaire Bourbaki

Similarity:

La prédicativité

G. Kreisel (1960)

Bulletin de la Société Mathématique de France

Similarity:

Des ensembles et de leurs axiomatiques : esquisse de quelques points de vue

M. Eytan (1965)

Mathématiques et Sciences Humaines

Similarity:

Sur les ensembles définissables de nombres réels

Alfred Tarski (1931)

Fundamenta Mathematicae

Similarity:

TABLE DES MATIÈRES CHAPITRE I. ALGEBRE DES PROPOSITIONS § 1. L'équivalence des propositions................ 1 § 2. L'implication................ 3 § 3. Produit logique et somme logique................ 7 § 4. Négation................ 11 § 5. Fonctions propositionnelles................ 24 § 6. Les quantificateurs................ 30 CHAPITRE II. ENSEMBLES, ÉLEMENTS, SOUS-ENSEMBLES § 7. Ensembles et leurs éléments................ 35 § 8, Egalité et inégalité des ensembles...................

Notions élémentaires de théorie descriptive effective

Alain Louveau (1977)

Séminaire Choquet. Initiation à l'analyse

Similarity:

Le fantôme de la modalité

Hermann Weyl (1981)

Mathématiques et Sciences Humaines

Similarity:

Sur l'isomorphie algébro-logique et les ensembles relativement boreliens

Casimir Kuratowski, T. Posament (1934)

Fundamenta Mathematicae

Similarity: