TERMIUM Plus®
The Government of Canada’s terminology and linguistic data bank.
COMPLETEDNESS [1 record]
Record 1 - internal organization data 2017-04-04
Record 1, English
Record 1, Subject field(s)
- Artificial Intelligence
- Philosophy (General)
Record 1, Main entry term, English
- completedness
1, record 1, English, completedness
correct
Record 1, Abbreviations, English
Record 1, Synonyms, English
- completeness 2, record 1, English, completeness
correct
Record 1, Textual support, English
Record number: 1, Textual support number: 1 DEF
The state of being so constituted that a contradiction arises through the addition of any formula not previously deducible from the axioms of the system. 3, record 1, English, - completedness
Record number: 1, Textual support number: 1 OBS
See Godel's work on Incompleteness and Completeness. 4, record 1, English, - completedness
Record 1, French
Record 1, Domaine(s)
- Intelligence artificielle
- Philosophie (Généralités)
Record 1, Main entry term, French
- complétude
1, record 1, French, compl%C3%A9tude
correct, feminine noun
Record 1, Abbreviations, French
Record 1, Synonyms, French
- saturation 2, record 1, French, saturation
correct, feminine noun
Record 1, Textual support, French
Record number: 1, Textual support number: 1 DEF
Caractère d'un système hypothético-déductif qui ne contient pas de propositions indécidables. 3, record 1, French, - compl%C3%A9tude
Record number: 1, Textual support number: 1 CONT
Les notions de validité, de complétude et de cohérence sont au cœur de la démarche des logiciens. 4, record 1, French, - compl%C3%A9tude
Record number: 1, Textual support number: 2 CONT
Complétude des règles d'inférence, c. d'une réfutation, expression saturée. 2, record 1, French, - compl%C3%A9tude
Record number: 1, Textual support number: 1 OBS
Dans la théorie de Kurt Godel, caractère d'un système logique qui ne contient et n'accepte pas de propositions indécidables c'est-à-dire des propositions qui n'ont pas été déduites préalablement à partir des axiomes du système considéré. 2, record 1, French, - compl%C3%A9tude
Record number: 1, Textual support number: 2 OBS
Un système logique peut être saturé au sens fort, au sens faible, ou au point de vue sémantique. 2, record 1, French, - compl%C3%A9tude
Record 1, Spanish
Record 1, Textual support, Spanish
Copyright notice for the TERMIUM Plus® data bank
© Public Services and Procurement Canada, 2024
TERMIUM Plus®, the Government of Canada's terminology and linguistic data bank
A product of the Translation Bureau
Features
Language Portal of Canada
Access a collection of Canadian resources on all aspects of English and French, including quizzes.
Writing tools
The Language Portal’s writing tools have a new look! Easy to consult, they give you access to a wealth of information that will help you write better in English and French.
Glossaries and vocabularies
Access Translation Bureau glossaries and vocabularies.
- Date Modified: