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