| Titre : |
Sets and proofs : invited papers from Logic colloquium '97 - European meeting of the Association for symbolic logic, Leeds |
| Type de document : |
texte imprimé |
| Auteurs : |
S. Barry Cooper,, Auteur |
| Editeur : |
Cambridge : Cambridge University Press |
| Année de publication : |
1999 |
| Importance : |
436 p |
| Présentation : |
ill., |
| Format : |
15 cm x 23 cm |
| ISBN/ISSN/EAN : |
978-0-521-63549-3 |
| Langues : |
Anglais (eng) Langues originales : Anglais (eng) |
| Catégories : |
Généralité:08.Colloque et Conférence
|
| Mots-clés : |
Logique mathématique Fondements des mathématiques Théorie des ensembles (Set theory) Théorie axiomatique des ensembles (Axiomatic set theory). |
| Résumé : |
Ce livre regroupe une sélection de travaux et d'articles de recherche présentés par des experts invités lors du Logic Colloquium '97, un rassemblement international majeur de l'Association for Symbolic Logic qui s'est tenu à Leeds en juillet 1997.
l'ouvrage constitue un panorama scientifique de haut niveau sur l'état de l'art de la logique mathématique contemporaine à la fin des années 1990. Il est le premier volet d'un ensemble de deux volumes, Comme son titre l'indique, ce livre se concentre sur deux piliers fondamentaux :
-La théorie des ensembles (Sets) : Les articles abordent les développements avancés de la théorie axiomatique des ensembles, l'analyse combinatoire infinie, ainsi que les structures et l'indécidabilité qui en découlent.
-La théorie de la démonstration (Proofs) : Cette section explore les aspects formels de la preuve mathématique, la théorie de la preuve finitiste, la complexité des démonstrations et les interactions logiques fondamentales qui lient les mathématiques à l'informatique théorique.
Rédigé exclusivement par des spécialistes reconnus mondialement dans leur domaine, ce volume fournit aux chercheurs, logiciens et étudiants avancés un outil de référence unique pour comprendre les orientations modernes de la logique symbolique
|
Sets and proofs : invited papers from Logic colloquium '97 - European meeting of the Association for symbolic logic, Leeds [texte imprimé] / S. Barry Cooper,, Auteur . - Cambridge : Cambridge University Press, 1999 . - 436 p : ill., ; 15 cm x 23 cm. ISBN : 978-0-521-63549-3 Langues : Anglais ( eng) Langues originales : Anglais ( eng)
| Catégories : |
Généralité:08.Colloque et Conférence
|
| Mots-clés : |
Logique mathématique Fondements des mathématiques Théorie des ensembles (Set theory) Théorie axiomatique des ensembles (Axiomatic set theory). |
| Résumé : |
Ce livre regroupe une sélection de travaux et d'articles de recherche présentés par des experts invités lors du Logic Colloquium '97, un rassemblement international majeur de l'Association for Symbolic Logic qui s'est tenu à Leeds en juillet 1997.
l'ouvrage constitue un panorama scientifique de haut niveau sur l'état de l'art de la logique mathématique contemporaine à la fin des années 1990. Il est le premier volet d'un ensemble de deux volumes, Comme son titre l'indique, ce livre se concentre sur deux piliers fondamentaux :
-La théorie des ensembles (Sets) : Les articles abordent les développements avancés de la théorie axiomatique des ensembles, l'analyse combinatoire infinie, ainsi que les structures et l'indécidabilité qui en découlent.
-La théorie de la démonstration (Proofs) : Cette section explore les aspects formels de la preuve mathématique, la théorie de la preuve finitiste, la complexité des démonstrations et les interactions logiques fondamentales qui lient les mathématiques à l'informatique théorique.
Rédigé exclusivement par des spécialistes reconnus mondialement dans leur domaine, ce volume fournit aux chercheurs, logiciens et étudiants avancés un outil de référence unique pour comprendre les orientations modernes de la logique symbolique
|
|  |
Affiner la recherche Interroger des sources externesSets and proofs : invited papers from Logic colloquium '97 - European meeting of the Association for symbolic logic, Leeds / S. Barry Cooper,
