« Théorème de Craig » : différence entre les versions
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
m (Remplacement de texte : « Catégorie:GRAND LEXIQUE FRANÇAIS » par « ») |
||
| (Une version intermédiaire par le même utilisateur non affichée) | |||
| Ligne 11 : | Ligne 11 : | ||
==Sources== | ==Sources== | ||
[ | [https://www.isi-web.org/glossary?language=2 Source : ISI Glossaire ] | ||
[https://isi.cbs.nl/glossary/term801.htm Source : ISI ] | |||
[https://en.wikipedia.org/wiki/Craig%27s_theorem Source : Wikipedia ] | [https://en.wikipedia.org/wiki/Craig%27s_theorem Source : Wikipedia ] | ||
| Ligne 18 : | Ligne 20 : | ||
<br> | <br> | ||
[[Catégorie:Statistiques]] | [[Catégorie:Statistiques]] | ||
Dernière version du 23 août 2024 à 21:17
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
Sources
Contributeurs: Maya Pentsch, wiki
