માત્ર આ કિસ્સામાં, સંશોધકો ગાણિતિક કમ્પ્યૂટરના બધા વિચારવાનો કાર્યવાહી ભોગવવાં કરવા માટે સક્ષમ હશે.