1935 માં, વૈજ્ઞાનિક એલન Tyuring પ્રથમ ગાણિતિક તર્કશાસ્ત્રમાં ક્ષેત્રમાં તેમની ક્ષમતા ઉપયોગ કરે છે અને સંશોધન, જે દર્શાવે છે એક વર્ષ નોંધપાત્ર પરિણામો કરવું શરૂ કરવા માટે.