گوڈل نامکملیت قضیہات
اصطلاح | term |
---|---|
گوڈل |
Gödel |
گوڈل نامکملیت قضیہات ریاضیاتی منطق دے دو قضیہ نيں جو (سوائے انتہائی معمولی مسلمہ نظامات دے ) تمام مسلمہ نظامات دا جبلّی محدود پن قائم کردے نيں۔ ایہ قضیہ جو کرٹ گوڈل نے 1930 وچ مثبوت کیتے، ریاضیاتی منطق تے فلسفہ ریاضیات وچ اہمیت دے حامل نيں۔ انہاں نتائج دی تفسیر ایہ کيتی جاندی اے انہاں توں پتہ چلدا اے کہ ہلبرٹ برمجہ، جس دا مقصد تمام ریاضی دے لئی مکمل تے موافق مسلمات دا طاقم لبھنا سی، ناقابل عمل اے تے اس طرح ہلبرٹ دے دوسرے مسئلہ دا جواب نفی اے۔
پہلے نامکملیت قضیہ دا بیان اے کہ مسلمات دا کوئی موافق نظام جس دے قضیہات دی لسٹ اک موثر دستور العمل (لازماً، کمپیوٹر پروگرامنگ) توں دتی جا سکے، قدرتی اعداد بارے تمام حقائق مثبوت کرنے دی اہلیت نئيں رکھدا۔ ایداں دے کسی نظام وچ ہمیشہ ایداں دے بیان ہون گے جو سچ نيں، مگر اس نظام وچ رہندے ہاں جنہاں دا ثبوت ممکن نئيں ہوئے گا۔ دوسرا نامکملیت قضیہ دسدا اے کہ جے ایسا نظام قدرتی اعداد بارے کچھ اساسی حقائق مثبوت کرنے دا اہل ہو، تاں اک خاص سچ جو ایہ نظام مثبوت نئيں کر سکے گا اوہ ايسے نظام دی موافقیت مثبوت کرنے دا اے۔