આ સિદ્ધાંતો શક્ય પ્રસ્થાન જ્યારે કમ્પ્યૂટર વિજ્ઞાનના વિકાસમાં આધાર વિચાર તર્ક મૂકવામાં આવશે માત્ર ભવિષ્યમાં શક્ય છે,  પ્રક્રિયા.