I didn't recognize the name but then I went to the paper and realized this is one of the papers that establishes a model (as in model theory) for untyped lambda calculus. I knew about the result but not the author's name (nor the name of the paper). Ok I retract some of my cynicism. Still not very overwhelmed though by the gravity of the result. I'm not one of those people that worships Church ie I'm aware of all of the stuff people manage to prove with lambda calculi but I've yet to see any practical value (so we arrive at an actually negative answer to op's question).