گوڈیل کا "ادھورے پن " کا تھیورم

الف نظامی نے 'سائنس اور ٹیکنالوجی' کی ذیل میں اس موضوع کا آغاز کیا، ‏فروری 24, 2014

  1. الف نظامی

    الف نظامی لائبریرین

    مراسلے:
    13,542
    جھنڈا:
    Pakistan
    موڈ:
    Cool
    1931 میں ریاضی دان کرٹ گوڈیل Kurt Gödel نے ریاضی کی فطرت کے متعلق اپنا مشہور "ادھورے پن "کا تھیورم ثابت کیا۔ اس تھیورم کے مطابق مقولوں (axioms)کے کسی بھی باقاعدہ نظام کے اندر ایسے سوالات ہمیشہ قائم رہتے ہیں جنہیں نظام کا تعین کرنے والے مقولوں کی بنیاد پر ثابت اور نہ ہی رد کیا جاسکتا ہے۔ بہ الفاظ دیگر گوڈیل نے دکھایا کہ کچھ ایسے مسائل موجود ہیں جنہیں قوانین یا طریقہ ہائے کار کے کسی بھی سیٹ کے ذریعے حل نہیں کیا جاسکتا۔
    گوڈیل کے تھیورم نے ریاضی پر اساسی نوعیت کی حدود لاگو کیں۔ سائنسی کمیونٹی کے لیے یہ ایک بہت بڑا دھچکا تھا کیونکہ اس نے یہ مقبول عام یقین باطل کر دیا تھا کہ ریاضی واحد منطقی اساس پر مبنی ایک مربوط اور مکمل نظام تھا۔
    کائنات کی تاریخ از سٹیفن ڈبلیو ہاکنگ ؛ مترجم یاسر جواد سے اقتباس
    متعلقہ:-
    Kurt Gödel
     
    آخری تدوین: ‏دسمبر 14, 2015
    • معلوماتی معلوماتی × 4
    • پسندیدہ پسندیدہ × 1
  2. الف نظامی

    الف نظامی لائبریرین

    مراسلے:
    13,542
    جھنڈا:
    Pakistan
    موڈ:
    Cool

اس صفحے کی تشہیر