검색어: incomplétude (프랑스어 - 영어)

incomplétude
completeness

ce est le incomplétude frustrante
just what the truth is

théorème d'incomplétude de gödel
bew

le principe du théorème d'incomplétude est simple.
in hindsight, the basic idea at the heart of the incompleteness theorem is rather simple.

en 1992, il a publié l'incomplétude de gödel théorèmes.
in 1992 he published gödel's incompleteness theorems.

l’incomplétude n’est pas le problème c’est la solution.
presentation to cerisy symposium, limitation de la rationalité et constitution du collectif, cerisy, june 5-12.

eglise étend le théorème d'incomplétude donné la preuve de gödel en 1931.
this, of course, is in contrast with the propositional calculus which has a decision procedure based on truth tables. church's theorem extends the incompleteness proof given of gödel in 1931.

du droit aux principes, il n'y a qu'un pas et une même incomplétude.
it is but a short step from law to principles, and the same sense of inadequacy can be found.

pour simplifier la synchronisation, on propose d'affecter aux données une identification d'incomplétude.
to simplify the synchronisation process, according to the invention an identification that signifies incompleteness is assigned to the data.

intervention précoce auprès de mères et de nourrissons présentant un tableau de dépression ou un sentiment d’incomplétude,
early intervention for mothers and infants presenting with symptoms of depression or feelings of non-fulfilment,

nous avons pour mission de réduire son incomplétude, tout en étant pleinement conscients qu’elle ne sera jamais parfaite.
the meaning of our work is to reduce its "unfinishedness", being fully aware that it will never be perfect.

dans une situation d'incomplétude des textes de lois, la jurisprudence devient la référence pour leur interprétation et la reconnaissance de la légalité des grèves.
94. in circumstances in which the legislation is incomplete, jurisprudence serves as the frame of reference for interpretation of the law and recognition of the lawfulness of strikes.

=== incomplétude et philosophie ===jacques bouveresse a réfléchi au théorème d'incomplétude de kurt gödel et à ses conséquences philosophiques.
===incompleteness and philosophy===apart from his work on ludwig wittgenstein, jacques bouveresse is interested in the incompleteness theorems of kurt gödel and their philosophical consequences.

l'incomplétude des contrats de concession et les problèmes d'engagement réciproque des partenaires contractuels ont donné lieu à de fréquentes renégociations de caractère politique.
the incompleteness of concession contracts and contract partners' mutual commitment problems have led to frequent renegotiations with a political character.

l'incomplétude de la codification n'empêche pas le code du travail d'être regardé comme le bréviaire des règles relatives au travail salarié.
french law does not yet recognise the legal exception of unconstitutionality.

le gdt est utilisé afin d'obtenir un critère de probabilité d'évaluation de l'incomplétude/incertitude des données et la force des règles trouvées
the gdt is used to make a probability criterion for evaluating the incompleteness/uncertainty of data and the strength of the found rules

selon le contexte juridique et le degré de confiance entre les acteurs, l’échange réalisé avec consentement mutuel devra être ou non formalisé pour réduire les risques liés à l’incomplétude du contrat.
according to the judicial context and the trust level between the agents, the exchange achieved through a mutual agreement will be formalized or not in order to reduce the risks related to the contract not being filled.

au contraire, elles sont inévitables en raison de l'incomplétude des contrats de concession et, de ce fait, elles sont susceptibles d'améliorer l'efficience.
on the contrary, the incompleteness of concession contracts makes them inevitable and implies that they may enhance efficiency.

deux des défis techniques que doit surmonter l’intégration sont : i) la distribution et la diversité des formats de l’information en matière de soins de santé (c.-à-d. l’information est entrée à partir d’un grand nombre d’endroits différents dans toutes sortes de formats) et ii) l’incomplétude des normes d’échange d’information existantes.
two of the technical challenges facing integration are: i) the distributed and divergent nature of healthcare information (i.e., it enters in from multiple points in multiple formats), and ii) the incompleteness of existing information interchange standards.