Discussion catégorie:Logique mathématique
Autres discussions [liste]
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
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)