Concurrently, Alonzo Church also solved the decision problem, using a construct equivalent in power to Turing machines called the lambda calculus.
The combined theory is called the Church-Turing thesis.
Jazz.af is a microblogging community for tech creatives. Talk about what you're making, or just hang out. Chill, like jazz.