Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Turing 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.



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: