incompleteness أمثلة على

• This is what I imagine love to be... incompleteness in absence."
  هذا ما أتخيل بأن يكون الحب عليه غير مكتمل بلا فقدان
• GODEL'S INCOMPLETENESS THEOREM MEANS THAT RATIONAL THOUGHT
  نظريةُ عدم الإكتمال لِ (جودل)
• Gödel's incompleteness theorems cast unexpected light on these two related questions.
  تلقي نظريات عدم الاكتمال لغودل ضوء غير متوقع على هاتين المسألتين المتصلتين.
• See also Gödel's incompleteness theorems.
  انظر إلى مبرهنات عدم الاكتمال لغودل.
• CALLED THE INCOMPLETENESS THEOREM,
  في عام 1931 نشر مبرهنةً
• Exactly, Gödel's incompleteness theorem.
  بالضبط نظرية النقص لغوديل
• The actual notion of computation was isolated soon after, starting with Gödel's incompleteness theorem.
  بعد ذلك بفترة قصيرة تم عزل مفهوم الحساب الفعلي، ابتداء بمبرهنة عدم الاكتمال لغودل.
• In mathematics, a Gödel code was the basis for the proof of Gödel's incompleteness theorem.
  في الرياضيات، كان ترميز غودل الأساس لإثبات مبرهنات غودل في عدم الاكتمال مبرهنات عدم الاكتمال لغودل .
• Project goals will be further aided by analysis of end-user information needs and the removal of any inconsistencies and incompleteness in these requirements.
  تحليل الاحتياجات من المعلومات للمستخدم النهائي وأيضا يزيل أي تضارب وعدم اكتمال هذه المتطلبات.
• The mathematical foundations of modern computer science began to be laid by Kurt Gödel with his incompleteness theorem (1931).
  الأسس الرياضية لعلم الحاسوب الحديث بدأت في الإرساء علي يد كورت غودل من خلال مبرهنة عدم الاكتمال لغودل في عام 1931.
• Church and Turing independently demonstrated that Hilbert's Entscheidungsproblem (decision problem) was unsolvable, thus identifying the computational core of the incompleteness theorem.
  أثبت تشرتش وتورنغ بشكل مستقل أن مسألة اتخاذ القرار ل هيلبيرت غير قابلة للحل ، ومن ثم تحديد نواة الحسابية لمبرهنة عدم الاكتمال.
• This rarity may also be due to the incompleteness of the fossil record or to the bias of fossil collectors towards larger, more spectacular specimens.
  وقد يرجع سبب هذه الندرة إلى عدم اكتمال السجل الأحفوري أو بسبب انحياز جامعي المستحاثات للعينات الأكبر الأكثر إثارة.
• His book Forever Undecided popularizes Gödel's incompleteness theorems by phrasing them in terms of reasoners and their beliefs, rather than formal systems and what can be proved in them.
  كتابه " غير مقرر إلى الأبد" نشر نظريات عدم الاكتمال لغودل عن طريق صياغتها من حيث المفكرين ومعتقداتهم ، بدلاً من الأنظمة الرسمية وما يمكن إثباته فيها.
• Although they arrived at the right conclusions, some of the experimental data were incorrect such as the miscalculation of the area and pressure of the lipid mono-layer and the incompleteness of lipid extraction.
  على الرغم من أنهم وصلوا إلى الاستنتاجات الصحيحة، بعض البيانات التجريبية كانت غير صحيحة مثل سوء تقدير المساحة والضغط للدهون أحادية الطبقة وعدم اكتمال استخراج الدهون.
• Gödel's first incompleteness theorem shows that for languages sufficient for doing a certain amount of arithmetic, there can be no effective deductive system that is complete with respect to the intended interpretation of the symbolism of that language.
  مبرهنة عدم الاكتمال الأولى لغودل تبين أنه بالنسبة للغات التي تكفي لإجراء مقدار معين من العمليات الحسابية، فلن يكون هناك نظام استنباط فعال مكتمل يتعلق بالتفسير المطلوب لرمزية تلك اللغة.
• The work of both Church and Turing was heavily influenced by Kurt Gödel's earlier work on his incompleteness theorem, especially by the method of assigning numbers (a Gödel numbering) to logical formulas in order to reduce logic to arithmetic.
  وقد تأثر بشدة عمل كل من المؤلفين بالعمل السابق لكورت غودل في نظريته عدم الاكتمال وخاصة من خلال طريقة تعيين أرقام (ترقيم غودل) لصيغ منطقية من أجل تقليل المنطق للحساب.