Discussion catégorie:Logique mathématique

Une page de Wikipédia, l'encyclopédie libre.
Sauter à la navigation Sauter à la recherche
Autres discussions [liste]
  • Suppression
  • Neutralité
  • Droit d'auteur
  • Article de qualité
  • Bon article
  • Lumière sur
  • À faire
  • Archives

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)