ગણિતશાસ્ત્રી  ઍલન ટ્યુરિંગ,  જે કેમ્બ્રિજ યુનિવર્સિટી ખાતે મેક્સ ન્યુમેનના ભાષણો બાદ ગાણિતિક તર્કશાસ્ત્રમાં સમસ્યા માં રૂચિ હતી જેમણે 1936 માં એક લેખ લખ્યો હતો, તે લન્ડન મેથેમેટિકલ સોસાયટી ઓફ આવૃત્તિ પ્રકાશિત કરવામાં આવી હતી.