1931 میں ریاضی دان کرٹ گوڈیل Kurt Gödel نے ریاضی کی فطرت کے متعلق اپنا مشہور "ادھورے پن "کا تھیورم ثابت کیا۔ اس تھیورم کے مطابق مقولوں (axioms)کے کسی بھی باقاعدہ نظام کے اندر ایسے سوالات ہمیشہ قائم رہتے ہیں جنہیں نظام کا تعین کرنے والے مقولوں کی بنیاد پر ثابت اور نہ ہی رد کیا جاسکتا ہے۔ بہ الفاظ دیگر گوڈیل نے دکھایا کہ کچھ ایسے مسائل موجود ہیں جنہیں قوانین یا طریقہ ہائے کار کے کسی بھی سیٹ کے ذریعے حل نہیں کیا جاسکتا۔
گوڈیل کے تھیورم نے ریاضی پر اساسی نوعیت کی حدود لاگو کیں۔ سائنسی کمیونٹی کے لیے یہ ایک بہت بڑا دھچکا تھا کیونکہ اس نے یہ مقبول عام یقین باطل کر دیا تھا کہ ریاضی واحد منطقی اساس پر مبنی ایک مربوط اور مکمل نظام تھا۔
کائنات کی تاریخ از سٹیفن ڈبلیو ہاکنگ ؛ مترجم یاسر جواد سے اقتباس
گوڈیل کے تھیورم نے ریاضی پر اساسی نوعیت کی حدود لاگو کیں۔ سائنسی کمیونٹی کے لیے یہ ایک بہت بڑا دھچکا تھا کیونکہ اس نے یہ مقبول عام یقین باطل کر دیا تھا کہ ریاضی واحد منطقی اساس پر مبنی ایک مربوط اور مکمل نظام تھا۔
کائنات کی تاریخ از سٹیفن ڈبلیو ہاکنگ ؛ مترجم یاسر جواد سے اقتباس
0 تبصرے:
ایک تبصرہ شائع کریں
اردو میں تبصرہ پوسٹ کرنے کے لیے ذیل کے اردو ایڈیٹر میں تبصرہ لکھ کر اسے تبصروں کے خانے میں کاپی پیسٹ کر دیں۔