« Théorème de Craig » : différence entre les versions


Aucun résumé des modifications
m (Remplacement de texte — « © Glossaire » par « Glossaire »)
Ligne 15 : Ligne 15 :
[https://en.wikipedia.org/wiki/Craig%27s_theorem  Source : Wikipedia ]  
[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:GRAND LEXIQUE FRANÇAIS]]
[[Catégorie:GRAND LEXIQUE FRANÇAIS]]

Version du 15 février 2023 à 19:54

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


Source : ISI

Source : Wikipedia

Glossaire de la statistique DataFranca

Contributeurs: Maya Pentsch, wiki