المحتوى

• ثابتة

  
  

  في المنطق الاستنتاجي الكلاسيكي ، النظرية المتسقة هي نظرية لا تحتوي على تناقض. يمكن تعريف عدم وجود تناقض في المصطلحات الدلالية أو النحوية. ينص التعريف الدلالي على أن النظرية متسقة إذا وفقط إذا كان لديها نموذج ، أي أن هناك تفسيرًا تحته جميع الصيغ في النظرية. هذا هو المعنى المستخدم في المنطق الأرسطي التقليدي ، على الرغم من أنه في المنطق الرياضي المعاصر يستخدم المصطلح "مرض" بدلاً من ذلك. ينص التعريف النحوي على أن النظرية T { displaystyle T} متسقة إذا وفقط في حالة عدم وجود صيغة φ { displaystyle varphi} بحيث يكون كل من φ { displaystyle varphi} ونفيها ¬ { displaystyle lnot varphi} هي عناصر المجموعة T { displaystyle T}. دع A { displaystyle A} عبارة عن مجموعة من الجمل المغلقة (بشكل غير رسمي "البديهيات") و⟩ A⟩ { displaystyle langle A rangle} مجموعة الجمل المغلقة التي يمكن إثباتها من A { displaystyle A} تحت بعض (المحدد ، ربما ضمنيًا) نظام استنتاجي رسمي. مجموعة البديهيات A { displaystyle A} تكون متسقة عندما تكون ⟨A⟩ { displaystyle langle A rangle}. في حالة وجود نظام استنتاجي تكون فيه هذه التعريفات الدلالية والنحوية معادلة لأي نظرية تم وضعها في استنتاجي معين المنطق ، والمنطق يسمى كاملة. تم إثبات اكتمال حساب التفاضل والتكامل العرفي بواسطة Paul Bernays في عام 1918 وإميل Post في عام 1921 ، بينما أثبت Kurt Gödel اكتمال حساب التفاضل والتكامل في عام 1930 ، كما أثبت إثبات الاتساق في العمليات الحسابية المقيدة فيما يتعلق بمخطط التعريفي البديهي من قِبل Ackermann (1924) ، فون نيومان (1927) وهيربراند (1931). المنطق الأقوى ، مثل منطق الترتيب الثاني ، غير كامل. دليل الاتساق هو دليل رياضي على أن نظرية معينة متسقة. كان الدافع وراء التطور المبكر لنظرية الإثبات الرياضي هو الرغبة في توفير أدلة اتساق مادية لجميع الرياضيات كجزء من برنامج Hilberts. تأثر برنامج هيلبرت بقوة بالنظريات غير المكتملة ، والتي أظهرت أن نظريات الإثبات القوية بما فيه الكفاية لا يمكنها إثبات تناسقها (شريطة أن تكون في الواقع ثابتة). على الرغم من أنه يمكن إثبات الاتساق عن طريق نظرية النموذج ، إلا أنه يتم في كثير من الأحيان بطريقة تركيبية بحتة ، دون أي حاجة للإشارة إلى بعض نماذج المنطق. الإزالة الشاملة (أو ما يعادلها تطبيع حساب التفاضل والتكامل الأساسي إذا كان هناك واحد) يعني اتساق حساب التفاضل والتكامل: بما أنه من الواضح أنه لا يوجد دليل خالي من الزيف ، فلا يوجد تناقض بشكل عام.

  
  

• مقاومة (صفة)

  خطأ إملائي ثابت

• ثابت (صفة)

  من الطبيعة التي تحدث بانتظام ، يمكن الاعتماد عليها. من أواخر 16th ج. بالمعنى القديم "يتكون من"

  "الاستخدام المتواصل لل Chinglish في الصين يمكن أن يكون مزعج للغاية ، بصرف النظر عن بعض التسلية الأولية."

  "إنه ثابت للغاية في خياراته السياسية: الاقتصاد جيد أو سيء ، إنه يصوت دائمًا لحزب العمل!"

• ثابت (صفة)

  متوافق ، الوفاق.

• ثابت (صفة)

  من مجموعة من العبارات: بحيث لا يوجد أي تناقض يتبعها منطقيا.

• ثابت (اسم)

  الأشياء أو الحقائق التي تتعايش ، أو بالاتفاق مع بعضها البعض.

• ثابت (اسم)

  نوع من التائب الذي سمح له بالمساعدة في الحصول على الأسرار المقدسة.

• ثابت (صفة)

  تمتلك الحزم أو الثبات ؛ حازم؛ الصعب؛ صلب.

• ثابت (صفة)

  وجود اتفاق مع نفسه أو مع شيء آخر ؛ وجود انسجام بين أجزائه ؛ تمتلك وحدة توافقي. متناغم؛ مطابق؛ متوافق؛ زى موحد؛ لا متناقضة.

  
  

• ثابت (صفة)

  العيش أو التصرف وفقًا لمعتقدات أو مهن.

• ثابت (صفة)

  (في بعض الأحيان يتبعها "مع") في اتفاق أو متسقة أو موثوقة ؛

  "شهادة تتفق مع الحقائق المعروفة"

  "لقد قررت أن مسار السلوك الذي أتبعه يتماشى مع إحساسي بالمسؤولية كرئيس في وقت الحرب"

• ثابت (صفة)

  تتميز بعلاقة منتظمة ومنطقية ومتسقة من الناحية الجمالية للأجزاء ؛

  "حجة منطقية"

  "العرض المنظم"

• ثابت (صفة)

  قادرة على استنساخها.

  "يمكن الحصول على نتائج مستنسخة بشكل مدهش"

• ثابت (صفة)

  نفس الشيء في الهيكل أو التكوين ؛

  "غالباً ما يتم التعامل مع الفحم الحجري كمنتج ثابت ومتجانس"