Discussion Catégorie:Logique mathématique
Un article de Wikipédia, l'encyclopédie libre.
Si on constate ce qui est actuellement considéré comme faisant partie de la logique mathématique, je pense que devraient apparaître comme sous-catégories (toutes n'existent pas pour le moment) :
- théorie de la démonstration
- théorie des modèles
- calculabilité
- théorie des ensembles
- théorie des types
plus peut-être
- complexité
Je vais déjà ajouter calculabilité et théorie des ensembles. Proz 15 octobre 2006 à 23:15 (CEST)