| 1. | Requirements are prone to issues of ambiguity, incompleteness, and inconsistency.
Les exigences sont sujettes à des problèmes d'ambiguïté, d'imperfections, et d'incohérence. |
| 2. | Kurt Gödel (1906–1978) logician and mathematician, who became famous for his two incompleteness theorems.
Kurt Gödel (d. 1978), mathématicien austro-américain, célèbre pour son théorème d'incomplétude. |
| 3. | Rosser's trick begins with the assumptions of Gödel's incompleteness theorem.
Les hypothèses du théorème de Gödel-Rosser reprennent essentiellement les hypothèses du premier théorème d'incomplétude de Gödel. |
| 4. | The concept was used by Kurt Gödel for the proof of his incompleteness theorems.
Le concept a été utilisé par Kurt Gödel pour la preuve de ses théorèmes d'incomplétude. |
| 5. | Of course , we have the incompleteness of european integration to contend with in this field.
bien sûr , nous devons composer avec l'inachèvement de l'intégration européenne dans ce domaine. |
| 6. | The proof of (1) is as in Gödel's proof of the first incompleteness theorem.
La démonstration de (1) est semblable à celle de la démonstration du premier théorème d'incomplétude de Gödel. |
| 7. | If this is correct, the flow of time is an illusion, one deriving from the incompleteness of knowledge.
De plus, l'écoulement du temps serait une illusion due à une connaissance incomplète. |
| 8. | The anatomy and biology of Gargantuavis are not well known because of the incompleteness of the specimens.
L'anatomie et la biologie de Gargantuavis ne sont pas bien connues en raison de l'incomplétude des spécimens. |
| 9. | The conclusions of the amsterdam summit leave a sour taste and a feeling of incompleteness , even of a missed opportunity.
. les conclusions du sommet d'amsterdam ont un goût amer et donnent un sentiment d'inachevé , voire d'occasion manquée. |
| 10. | His argument is fundamental in the solution of the Halting problem and the proof of Gödel's first incompleteness theorem.
L'argument diagonal joue un rôle fondamental dans la solution du problème de l'arrêt, et dans la preuve du premier théorème d'incomplétude de Gödel. |
