3 ms·

I'd say that Turing's accomplishments as a whole were somewhat more notable, though of course Church is also a giant of the field.