Indeterminacy in computation
અનિશ્ચિતતા એ ઔપચારિક પ્રણાલીઓનો એક ગુણધર્મ છે જે સમય સાથે વિકસિત થાય છે (ઘણીવાર ગણતરી તરીકે કલ્પના કરવામાં આવે છે), જેમાં અમુક સમયે પ્રણાલીની આંતરિક સ્થિતિ વિશેની સંપૂર્ણ માહિતી ભવિષ્યના બહુવિધ માર્ગને સ્વીકારે છે. સરળ શબ્દોમાં કહીએ તો, જો આવી સિસ્ટમ સમાન પ્રારંભિક સ્થિતિમાં પરત કરવામાં આવે છે-અથવા સિસ્ટમની બે સમાન નકલો એક જ સમયે શરૂ કરવામાં આવે છે-તો તે ચોક્કસપણે સમાન વર્તન ઉત્પન્ન કરશે નહીં, કારણ કે તકનું કેટલાક તત્વ તેના ઔપચારિક સ્પષ્ટીકરણની બહારથી સિસ્ટમમાં પ્રવેશ કરવામાં સક્ષમ છે. કેટલાક કિસ્સાઓમાં અનિશ્ચિતતા ભૌતિકશાસ્ત્રના નિયમોમાંથી ઉદ્ભવે છે, અન્ય કિસ્સાઓમાં તે અમૂર્ત મોડેલમાંથી લીક થાય છે, અને કેટલીકવાર મોડેલમાં અનિશ્ચિતતાના સ્પષ્ટ સ્રોતનો સમાવેશ થાય છે, જેમ કે ઇરાદાપૂર્વક રેન્ડમાઇઝ્ડ અલ્ગોરિધમ્સ સાથે, આ પ્રદાન કરે છે તે લાભો માટે. અસંદિગ્ધતા ગણતરીમાં અનિશ્ચિતતા આનો ઉલ્લેખ કરી શકે છેઃ ક્વોન્ટમ કમ્પ્યુટર્સમાં ક્વોન્ટમ અનિશ્ચિતતા બિનનિર્ધારણીય મર્યાદિત ઓટોમેટા બિનનિર્ધારણીય અલ્ગોરિધમ સમવર્તીમાંઃ સમવર્તી ગણતરીમાં અનિશ્ચિતતા અનબાઉન્ડ બિનનિર્ધારણીયતા