De Bruijn Factor
ડી બ્રુઇજન પરિબળ એ એક માપ છે કે અનૌપચારિક સાબિતીને બદલે ઔપચારિક ગાણિતિક સાબિતી લખવી કેટલી મુશ્કેલ છે. તે ડચ કમ્પ્યુટર-પ્રૂફ પાયોનિયર નિકોલાસ ગોવર્ટ ડી બ્રુઇન દ્વારા બનાવવામાં આવ્યું હતું. ડી બ્રુઇને તેની ગણતરી અનૌપચારિક સાબિતીના કદ પર ઔપચારિક સાબિતીના કદ તરીકે કરી હતી. ફ્રીક વાઈડિજેકે અનૌપચારિક સાબિતીના સંકુચિત કદ પર ઔપચારિક સાબિતીના સંકુચિત કદનો ઉપયોગ કરવા માટે વ્યાખ્યાને શુદ્ધ કરી. તેમણે આને "આંતરિક ડી બ્રુઇજિન પરિબળ" ગણાવ્યું હતું. સંકોચન એ અસરને દૂર કરે છે જે સાબિતીમાં ઓળખકર્તાઓની લંબાઈ હોઈ શકે છે. સંદર્ભો ગાણિતિક તર્ક