He created the -calculus in the 1930's which today is an invaluable tool for computer scientists.
Siya nilikha ang-calculus sa 1930's na ngayon ay isang kasangkapan na napakahalaga para sa mga computer siyentipiko.