« Théorème de Craig » : différence entre les versions
(Page créée avec « == Définition == == Français == ''' théorème de Craig''' == Anglais == ''' Craig's theorem ''' <small> [http://isi.cbs.nl/glossary/term801.htm Source : ISI ] [... ») |
Aucun résumé des modifications |
||
Ligne 1 : | Ligne 1 : | ||
== Définition == | == Définition == | ||
En logique mathématique, le théorème de Craig affirme que tout ensemble récursivement énumérable de formules bien formées d'un langage du premier ordre est récursivement axiomatisable. Ce résultat n'est pas lié au célèbre théorème d'interpolation de Craig, bien que les deux résultats portent le nom du même logicien, William Craig. | |||
== Français == | == Français == | ||
''' théorème de Craig''' | ''' théorème de Craig''' | ||
Ligne 10 : | Ligne 12 : | ||
[http://isi.cbs.nl/glossary/term801.htm Source : ISI ] | [http://isi.cbs.nl/glossary/term801.htm Source : ISI ] | ||
[https://en.wikipedia.org/wiki/Craig%27s_theorem Source : Wikipedia ] | |||
[[:Catégorie:Statistiques | © Glossaire de la statistique DataFranca]]<br> | [[:Catégorie:Statistiques | © Glossaire de la statistique DataFranca]]<br> | ||
[[Catégorie:Statistiques]] | [[Catégorie:Statistiques]] | ||
[[Catégorie:ISI]] | [[Catégorie:ISI]] |
Version du 28 décembre 2022 à 12:39
Définition
En logique mathématique, le théorème de Craig affirme que tout ensemble récursivement énumérable de formules bien formées d'un langage du premier ordre est récursivement axiomatisable. Ce résultat n'est pas lié au célèbre théorème d'interpolation de Craig, bien que les deux résultats portent le nom du même logicien, William Craig.
Français
théorème de Craig
Anglais
Craig's theorem
Contributeurs: Maya Pentsch, wiki