3 ms·
I'm skeptical that we'd feel that way if Church didn't come first. His work defined the field and shaped the way we all think about programming in profound ways
by lolinder 2y ago
I'm skeptical that we'd feel that way if Church didn't come first. His work defined the field and shaped the way we all think about programming in profound ways that make it very difficult to distinguish how natural one is over the other.
- justinpombrio 2y agoMaybe for some people. Personally I find the concatenative calculus more natural to think about/in than the lambda calculus!
- thesz 2y agoTuring published the same year as Church, couple of months later. Church's advantage was very small. Turing machine includes write over some place, thus it models a calculating man with infinite paper, infinite pencil and infinite eraser. Lambda calculus models calculating man with infinite paper and infinite pencil. Lambda calculus has very substantial advantage here.