théorème de complétude

Get Babylon's Translation Software! Free Download Now!
Babylon 8 - Your all-in-one solution
Award winning translation software trusted by millions. Translate from any language to any language.
View Demo


Wikipédia FrançaisDownload this dictionary
Théorème de complétude de Gödel
Le théorème de complétude du calcul des prédicats du premier ordre a été démontré par Kurt Gödel (1929, thèse de doctorat, sur la complétude du calcul logique). Il affirme que le calcul des prédicats est complet au sens où toute proposition qui est vraie dans ce calcul peut-être démontrée.
Pour la suite, voir Wikipédia.org…

© Cet article se sert du contenu de Wikipédia® et est autorisé sous les termes de la Licence de Documentation libre GNU

Define théorème de complétude

Translate théorème de complétude





| théorème de complétude in French