« 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 ] [... »)
 
m (Remplacement de texte : « Catégorie:GRAND LEXIQUE FRANÇAIS » par «  »)
 
(7 versions intermédiaires par 2 utilisateurs non affichées)
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 7 : Ligne 9 :




<small>
==Sources==
 
[https://www.isi-web.org/glossary?language=2  Source : ISI Glossaire ]
 
[https://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>
{{Modèle:Statistiques}}
<br>
[[Catégorie:Statistiques]]
[[Catégorie:Statistiques]]
[[Catégorie:ISI]]

Dernière version du 23 août 2024 à 20: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

Source : ISI Glossaire

Source : ISI

Source : Wikipedia


GLOSSAIRE DE LA STATISTIQUE

Isi-logo-stats.jpg

Contributeurs: Maya Pentsch, wiki