મશીનો મદદથી મૂળભૂત ખ્યાલો અને અમૂર્ત સિદ્ધાંતો ગણતરી 1936 માં જ લન્ડન મેથેમેટિકલ સોસાયટી આધારે ડૉ ટ્યુરિંગ દ્વારા ઘડવામાં આવ્યા હતા, પરંતુ યુકેમાં આવા મશીનો પર કામ યુદ્ધ દ્વારા વિલંબ કરવામાં આવી છે.