De Bruijn Factor
ڈی بروجن فیکٹر اس بات کی پیمائش ہے کہ غیر رسمی ثبوت کے بجائے رسمی ریاضیاتی ثبوت لکھنا کتنا مشکل ہے۔ اسے ڈچ کمپیوٹر پروف کے علمبردار نیکولاس گوورٹ ڈی بروجن نے بنایا تھا۔ ڈی بروجن نے اسے غیر رسمی ثبوت کے سائز پر رسمی ثبوت کے سائز کے طور پر شمار کیا۔ فریک ویڈیجک نے غیر رسمی ثبوت کے کمپریسڈ سائز پر رسمی ثبوت کے کمپریسڈ سائز کو استعمال کرنے کے لیے تعریف کو بہتر بنایا۔ انہوں نے اسے "اندرونی ڈی بروجین فیکٹر" قرار دیا۔ کمپریشن اس اثر کو دور کرتا ہے جو ثبوت میں شناخت کاروں کی لمبائی کا ہو سکتا ہے۔ حوالہ جات ریاضیاتی منطق